Move typed-scheme to typed-racket collection.
Compatibilty typed-scheme collection left.
This commit is contained in:
Sam Tobin-Hochstadt
parent
55e5ecfc74
commit
d2e1cc02dc
|
|
@ -42,7 +42,7 @@ including the following:
|
||||||
|
|
||||||
@item{@racketmodname[typed/racket] --- like
|
@item{@racketmodname[typed/racket] --- like
|
||||||
@racketmodname[racket], but statically typed; see
|
@racketmodname[racket], but statically typed; see
|
||||||
@other-manual['(lib "typed-scheme/scribblings/ts-guide.scrbl")]}
|
@other-manual['(lib "typed-racket/scribblings/ts-guide.scrbl")]}
|
||||||
|
|
||||||
@item{@racketmodname[lazy] --- like @racketmodname[racket/base], but
|
@item{@racketmodname[lazy] --- like @racketmodname[racket/base], but
|
||||||
avoids evaluating an expression until its value is needed; see
|
avoids evaluating an expression until its value is needed; see
|
||||||
|
|
|
||||||
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(provide (rename-out (module-begin #%module-begin)))
|
(provide (rename-out (module-begin #%module-begin)))
|
||||||
(require (prefix-in ts: typed/racket/base)
|
(require (prefix-in ts: typed/racket/base)
|
||||||
(for-syntax racket/base (prefix-in r: typed-scheme/typed-reader))
|
(for-syntax racket/base (prefix-in r: typed-racket/typed-reader))
|
||||||
racket/include typed/racket/base racket/file)
|
racket/include typed/racket/base racket/file)
|
||||||
|
|
||||||
(define-syntax (module-begin stx)
|
(define-syntax (module-begin stx)
|
||||||
|
|
|
||||||
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket/base
|
#lang racket/base
|
||||||
(provide (rename-out (module-begin #%module-begin)))
|
(provide (rename-out (module-begin #%module-begin)))
|
||||||
(require (prefix-in ts: typed/scheme/base)
|
(require (prefix-in ts: typed/scheme/base)
|
||||||
(for-syntax racket/base (prefix-in r: typed-scheme/typed-reader))
|
(for-syntax racket/base (prefix-in r: typed-racket/typed-reader))
|
||||||
racket/include typed/scheme/base)
|
racket/include typed/scheme/base)
|
||||||
|
|
||||||
(define-syntax (module-begin stx)
|
(define-syntax (module-begin stx)
|
||||||
|
|
|
||||||
|
|
@ -33,7 +33,7 @@
|
||||||
;; that expect to get (lib "racket/init") as a result.
|
;; that expect to get (lib "racket/init") as a result.
|
||||||
#:additional-modules '((lib "racket/init")))
|
#:additional-modules '((lib "racket/init")))
|
||||||
;; (test "planet/lang.rkt")
|
;; (test "planet/lang.rkt")
|
||||||
(test "typed-scheme/nightly-run.rkt" #:timeout 25)
|
(test "typed-racket/nightly-run.rkt" #:timeout 25)
|
||||||
(test "match/plt-match-tests.rkt")
|
(test "match/plt-match-tests.rkt")
|
||||||
;; (test "stepper/automatic-tests.rkt" #:additional-modules (scheme/base))
|
;; (test "stepper/automatic-tests.rkt" #:additional-modules (scheme/base))
|
||||||
(test "lazy/main.rkt")
|
(test "lazy/main.rkt")
|
||||||
|
|
|
||||||
|
|
@ -1,6 +1,6 @@
|
||||||
#lang typed-scheme
|
#lang typed-scheme
|
||||||
|
|
||||||
(require typed-scheme/base-env/extra-procs)
|
(require typed-racket/base-env/extra-procs)
|
||||||
|
|
||||||
(map + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
|
(map + (list 1 2 3) (list 10 20 30) (list 'a 'b 'c))
|
||||||
|
|
||||||
|
|
@ -2,7 +2,7 @@
|
||||||
(exn-pred 10)
|
(exn-pred 10)
|
||||||
#lang typed-scheme
|
#lang typed-scheme
|
||||||
|
|
||||||
(require typed-scheme/base-env/extra-procs)
|
(require typed-racket/base-env/extra-procs)
|
||||||
|
|
||||||
(: map-with-funcs (All (b ...) ((b ... b -> b) ... b -> (b ... b -> (values b ... b)))))
|
(: map-with-funcs (All (b ...) ((b ... b -> b) ... b -> (b ... b -> (values b ... b)))))
|
||||||
(define (map-with-funcs . fs)
|
(define (map-with-funcs . fs)
|
||||||
|
|
@ -1,7 +1,7 @@
|
||||||
#lang racket
|
#lang racket
|
||||||
(require racket/runtime-path
|
(require racket/runtime-path
|
||||||
rackunit rackunit/text-ui
|
rackunit rackunit/text-ui
|
||||||
typed-scheme/optimizer/logging)
|
typed-racket/optimizer/logging)
|
||||||
|
|
||||||
(provide optimization-tests missed-optimization-tests
|
(provide optimization-tests missed-optimization-tests
|
||||||
test-opt test-missed-optimization test-file?
|
test-opt test-missed-optimization test-file?
|
||||||
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue
Block a user