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

base-types-new -> base-types

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-17 11:33:51 -04:00
parent bdbb6d48e6
commit 77e4bbb5eb
9 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt
View File

@ -5,8 +5,8 @@
(rep type-rep) (rep type-rep)
(rename-in (types comparison subtype union utils convenience) (rename-in (types comparison subtype union utils convenience)
[Un t:Un] [-> t:->]) [Un t:Un] [-> t:->])
(private base-types-new base-types-extra colon) (private base-types base-types-extra colon)
(for-template (private base-types-new base-types-extra base-env colon)) (for-template (private base-types base-types-extra base-env colon))
(private parse-type) (private parse-type)
rackunit) rackunit)

2
collects/tests/typed-scheme/unit-tests/type-annotation-test.rkt
View File

@ -17,7 +17,7 @@
[ns (make-base-namespace)]) [ns (make-base-namespace)])
(parameterize ([current-namespace ns]) (parameterize ([current-namespace ns])
(namespace-require 'typed-scheme/private/prims) (namespace-require 'typed-scheme/private/prims)
(namespace-require 'typed-scheme/private/base-types-new) (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))

2
collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt
View File

@ -25,7 +25,7 @@
(env type-env) (env type-env)
(private base-env base-env-numeric (private base-env base-env-numeric
base-env-indexing)) base-env-indexing))
(for-template (private base-env base-types-new base-types-extra (for-template (private base-env base-types base-types-extra
base-env-numeric base-env-numeric
base-env-indexing)) base-env-indexing))
(for-syntax syntax/kerncase syntax/parse)) (for-syntax syntax/kerncase syntax/parse))

2
collects/typed-scheme/main.rkt
View File

@ -4,7 +4,7 @@
(providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers lambda #%app) (providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers lambda #%app)
(except "private/prims.rkt") (except "private/prims.rkt")
(except "private/base-types-new.rkt") (except "private/base-types.rkt")
(except "private/base-types-extra.rkt")) (except "private/base-types-extra.rkt"))
(basics #%module-begin (basics #%module-begin
#%top-interaction #%top-interaction

0
collects/typed-scheme/private/base-types-new.rkt → collects/typed-scheme/private/base-types.rkt
View File

2
collects/typed-scheme/private/for-clauses.rkt
View File

@ -3,7 +3,7 @@
(require syntax/parse (require syntax/parse
"annotate-classes.rkt" "annotate-classes.rkt"
(for-template racket/base (for-template racket/base
"base-types-new.rkt")) "base-types.rkt"))
(provide (all-defined-out)) (provide (all-defined-out))

2
collects/typed-scheme/private/prims.rkt
View File

@ -48,7 +48,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
(except-in mzlib/contract ->) (except-in mzlib/contract ->)
(only-in mzlib/contract [-> c->]) (only-in mzlib/contract [-> c->])
mzlib/struct mzlib/struct
"base-types-new.rkt" "base-types.rkt"
"base-types-extra.rkt") "base-types-extra.rkt")
(define-for-syntax (ignore stx) (syntax-property stx 'typechecker:ignore #t)) (define-for-syntax (ignore stx) (syntax-property stx 'typechecker:ignore #t))

2
collects/typed/racket/base.rkt
View File

@ -4,7 +4,7 @@
(providing (libs (except racket/base #%module-begin #%top-interaction with-handlers lambda #%app define-struct) (providing (libs (except racket/base #%module-begin #%top-interaction with-handlers lambda #%app define-struct)
(except typed-scheme/private/prims) (except typed-scheme/private/prims)
(except typed-scheme/private/base-types-new) (except typed-scheme/private/base-types)
(except typed-scheme/private/base-types-extra)) (except typed-scheme/private/base-types-extra))
(basics #%module-begin (basics #%module-begin
#%top-interaction #%top-interaction

2
collects/typed/scheme/base.rkt
View File

@ -4,7 +4,7 @@
(providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers lambda #%app define-struct) (providing (libs (except scheme/base #%module-begin #%top-interaction with-handlers lambda #%app define-struct)
(except typed-scheme/private/prims) (except typed-scheme/private/prims)
(except typed-scheme/private/base-types-new) (except typed-scheme/private/base-types)
(except typed-scheme/private/base-types-extra)) (except typed-scheme/private/base-types-extra))
(basics #%module-begin (basics #%module-begin
#%top-interaction #%top-interaction