suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Revert "Abolish "typed-scheme"."

Browse Source 
This reverts commit 49a89da81860e09955f1678bab6106ce8eae8376.

(Will be redone later today.)

original commit: 6ebf3ab32d666e9d1e56cd546fea29d18c42dfff
This commit is contained in:
Eli Barzilay 2011-09-04 10:27:58 -04:00
parent 911fc81ec6
commit c5432390c5
35 changed files with 43 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-racket/fail/all-bad-syntax.rkt
View File

@ -1,6 +1,6 @@
#;
(exn-pred 2)
#lang typed-racket
#lang typed-scheme
(require scheme/list)

2
collects/tests/typed-racket/fail/ann-map-funcs.rkt
View File

@ -1,6 +1,6 @@
#;
(exn-pred 3)
#lang typed-racket
#lang typed-scheme
(: map-with-funcs (All (b a ...) ((a ... a -> b) * -> (a ... a -> (Listof b)))))

2
collects/tests/typed-racket/fail/apply-dots.rkt
View File

@ -1,6 +1,6 @@
#;
(exn-pred 2)
#lang typed-racket
#lang typed-scheme
(plambda: (a ...) ([z : String] . [w : Number *])
(apply (case-lambda: (([x : Number] . [y : Number ... a]) x))

2
collects/tests/typed-racket/fail/bad-any.rkt
View File

@ -2,7 +2,7 @@
(exn-pred exn:fail:contract?)
#lang scheme/load
(module m typed-racket
(module m typed-scheme
(: f Any)
(define f (lambda: ([x : Number]) (add1 x)))
(provide f))

2
collects/tests/typed-racket/fail/bad-first.rkt
View File

@ -1,3 +1,3 @@
#lang typed-racket
#lang typed-scheme
(require scheme/list)
(first (cons 1 2))

3
collects/tests/typed-racket/fail/set-tests.rkt
View File

@ -1,7 +1,8 @@
;; should FAIL!
#lang typed-racket
#lang typed-scheme
(let*: ((x : Any 1)
(f : (-> Void) (lambda () (set! x (quote foo)))))
(if (number? x) (begin (f) (add1 x)) 12))

5
collects/tests/typed-racket/succeed/dotted-identity2.rkt
View File

@ -1,7 +1,6 @@
#lang typed-racket
#lang typed-scheme
;; I don't believe the below should work, but it points out where that
;; internal error is coming from.
;; I don't believe the below should work, but it points out where that internal error is coming from.
(: f (All (a ...) ((a ... a -> Integer) -> (a ... a -> Integer))))
(define (f x) x)

6
collects/tests/typed-racket/succeed/let-values-tests.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(define-type-alias number Number)
(define-type-alias boolean Boolean)
(define-type-alias symbol Symbol)
@ -7,8 +7,8 @@
(let-values ([(#{x : number} #{y : number}) (values 3 4)]
[(#{z : number}) (values 3)]
#;[(#{fact : (number -> number)})
(lambda: ([x : number])
(if (zero? x) 1 (* x (fact (- x 1)))))]
(lambda: ([x : number])
(if (zero? x) 1 (* x (fact (- x 1)))))]
#;[(#{z : number}) (- x y)])
(+ x y))

2
collects/typed-racket/scribblings/utils.rkt
View File

@ -4,7 +4,7 @@
(provide (all-defined-out))
(define (item* header . args) (apply item @bold[header]{: } args))
(define-syntax-rule (tmod forms ...) (racketmod typed-racket forms ...))
(define-syntax-rule (tmod forms ...) (racketmod typed-scheme forms ...))
(define (gtech . x)
(apply tech x #:doc '(lib "scribblings/guide/guide.scrbl")))
(define (rtech . x)

2
collects/typed/file/gif.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/file/md5.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require/typed file/md5
[md5 ((U Bytes Input-Port) -> Bytes)])
(provide md5)

4
collects/typed/file/tar.rkt
View File

@ -1,5 +1,5 @@
#lang typed-racket
;; typed-racket wrapper on file/tar
#lang typed-scheme
;; typed-scheme wrapper on file/tar
;; yc 2009/2/25
;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;

2
collects/typed/framework/framework.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils typed/mred/mred)

2
collects/typed/net/base64.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/cgi.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/cookie.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

3
collects/typed/net/dns.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)
@ -7,3 +7,4 @@
[dns-get-name (String String -> String)]
[dns-get-mail-exchanger (String String -> String )]
[dns-find-nameserver (-> (Option String))])

2
collects/typed/net/ftp.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/gifwrite.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/file/gif)
(provide (all-from-out typed/file/gif))

2
collects/typed/net/head.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/imap.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/mime.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)
;; -- basic mime structures --

2
collects/typed/net/nntp.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/pop3.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/qp.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/sendmail.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/sendurl.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require/typed net/sendurl
[send-url (String -> Void)]
[unix-browser-list (Listof Symbol)]

2
collects/typed/net/smtp.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/uri-codec.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/net/url.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require typed/private/utils)

2
collects/typed/private/utils.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(define-syntax-rule (dt nm t)
(begin (define-type-alias nm t) (provide nm)))

5
collects/typed/racket/base/no-check.rkt
View File

@ -1,5 +1,4 @@
#lang racket/base
(require racket/require typed-racket/no-check
(subtract-in typed/racket/base typed-racket/no-check))
(provide (all-from-out typed/racket/base typed-racket/no-check))
(require racket/require typed-scheme/no-check (subtract-in typed/racket/base typed-scheme/no-check))
(provide (all-from-out typed/racket/base typed-scheme/no-check))

5
collects/typed/racket/no-check.rkt
View File

@ -1,5 +1,4 @@
#lang racket/base
(require racket/require typed-racket/no-check
(subtract-in typed/racket typed-racket/no-check))
(provide (all-from-out typed/racket typed-racket/no-check))
(require racket/require typed-scheme/no-check (subtract-in typed/racket typed-scheme/no-check))
(provide (all-from-out typed/racket typed-scheme/no-check))

2
collects/typed/srfi/14.rkt
View File

@ -1,4 +1,4 @@
#lang typed-racket
#lang typed-scheme
(require/opaque-type Char-Set char-set? srfi/14)
(define-type-alias Cursor (Pair 0 (Listof (Pair Integer Integer))))

2
collects/typed/tests/test-docs-complete.rkt
View File

@ -7,7 +7,7 @@
place-sleep
procedure-closure-contents-eq?
processor-count))
(check-docs (quote typed-racket) #:skip exclude)
(check-docs (quote typed-scheme) #:skip exclude)
(check-docs (quote typed/scheme) #:skip exclude)
(check-docs (quote typed/scheme/base) #:skip exclude)
(check-docs (quote typed/racket) #:skip exclude)