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

racket/base instead of scheme/base, see PR 10870

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-25 18:41:53 -04:00
parent 2a5b43a321
commit a46461d4f7
1 changed files with 2 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
collects/tests/typed-scheme/unit-tests/type-annotation-test.ss
View File

@ -15,15 +15,14 @@
(type-ascription (let ([ons (current-namespace)] (type-ascription (let ([ons (current-namespace)]
[ns (make-empty-namespace)]) [ns (make-empty-namespace)])
(parameterize ([current-namespace ns]) (parameterize ([current-namespace ns])
(namespace-attach-module ons 'scheme/base ns) (namespace-attach-module ons 'racket/base ns)
(namespace-require 'scheme/base) (namespace-require 'racket/base)
(namespace-require 'typed-scheme/private/prims) (namespace-require 'typed-scheme/private/prims)
(namespace-require 'typed-scheme/private/base-types) (namespace-require 'typed-scheme/private/base-types)
(namespace-require 'typed-scheme/private/base-types-extra) (namespace-require 'typed-scheme/private/base-types-extra)
(expand 'ann-stx)))) (expand 'ann-stx))))
ty)) ty))
#reader typed-scheme/typed-reader
(define (type-annotation-tests) (define (type-annotation-tests)
(test-suite (test-suite
"Type Annotation tests" "Type Annotation tests"