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

base-types-new -> base-types

Browse Source 
original commit: 77e4bbb5eb5e568db8478d0e102b1a0f6ece50f9
This commit is contained in:
Sam Tobin-Hochstadt 2010-06-17 11:33:51 -04:00
parent 90039fecdc
commit 6b89ef5f82
8 changed files with 8 additions and 8 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)
(rename-in (types comparison subtype union utils convenience)
[Un t:Un] [-> t:->])
(private base-types-new base-types-extra colon)
(for-template (private base-types-new base-types-extra base-env colon))
(private base-types base-types-extra colon)
(for-template (private base-types base-types-extra base-env colon))
(private parse-type)
rackunit)

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

@ -25,7 +25,7 @@
(env type-env)
(private base-env base-env-numeric
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-indexing))
(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)
(except "private/prims.rkt")
(except "private/base-types-new.rkt")
(except "private/base-types.rkt")
(except "private/base-types-extra.rkt"))
(basics #%module-begin
#%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
"annotate-classes.rkt"
(for-template racket/base
"base-types-new.rkt"))
"base-types.rkt"))
(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 ->)
(only-in mzlib/contract [-> c->])
mzlib/struct
"base-types-new.rkt"
"base-types.rkt"
"base-types-extra.rkt")
(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)
(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))
(basics #%module-begin
#%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)
(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))
(basics #%module-begin
#%top-interaction