From 6b89ef5f82d0efb695dfe2904efb6638e280f337 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Thu, 17 Jun 2010 11:33:51 -0400 Subject: [PATCH] base-types-new -> base-types original commit: 77e4bbb5eb5e568db8478d0e102b1a0f6ece50f9 --- collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt | 4 ++-- collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt | 2 +- collects/typed-scheme/main.rkt | 2 +- .../private/{base-types-new.rkt => base-types.rkt} | 0 collects/typed-scheme/private/for-clauses.rkt | 2 +- collects/typed-scheme/private/prims.rkt | 2 +- collects/typed/racket/base.rkt | 2 +- collects/typed/scheme/base.rkt | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) rename collects/typed-scheme/private/{base-types-new.rkt => base-types.rkt} (100%) diff --git a/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt b/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt index 155a8026..81390435 100644 --- a/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/parse-type-tests.rkt @@ -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) diff --git a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt index 82a987df..d522b497 100644 --- a/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt +++ b/collects/tests/typed-scheme/unit-tests/typecheck-tests.rkt @@ -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)) diff --git a/collects/typed-scheme/main.rkt b/collects/typed-scheme/main.rkt index 0e907ace..c135bc51 100644 --- a/collects/typed-scheme/main.rkt +++ b/collects/typed-scheme/main.rkt @@ -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 diff --git a/collects/typed-scheme/private/base-types-new.rkt b/collects/typed-scheme/private/base-types.rkt similarity index 100% rename from collects/typed-scheme/private/base-types-new.rkt rename to collects/typed-scheme/private/base-types.rkt diff --git a/collects/typed-scheme/private/for-clauses.rkt b/collects/typed-scheme/private/for-clauses.rkt index 54013522..305bb2f4 100644 --- a/collects/typed-scheme/private/for-clauses.rkt +++ b/collects/typed-scheme/private/for-clauses.rkt @@ -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)) diff --git a/collects/typed-scheme/private/prims.rkt b/collects/typed-scheme/private/prims.rkt index d2263605..4905f204 100644 --- a/collects/typed-scheme/private/prims.rkt +++ b/collects/typed-scheme/private/prims.rkt @@ -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)) diff --git a/collects/typed/racket/base.rkt b/collects/typed/racket/base.rkt index 6f7c5c75..b728ae5f 100644 --- a/collects/typed/racket/base.rkt +++ b/collects/typed/racket/base.rkt @@ -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 diff --git a/collects/typed/scheme/base.rkt b/collects/typed/scheme/base.rkt index fa662f89..2a751ed8 100644 --- a/collects/typed/scheme/base.rkt +++ b/collects/typed/scheme/base.rkt @@ -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