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

`require' changes

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-09-09 14:06:43 -04:00
parent 71ae5f0a6e
commit 7a1b29c8f2
3 changed files with 12 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/typed-scheme/typecheck/tc-funapp.rkt
View File

@ -5,11 +5,9 @@
"tc-app-helper.rkt" "find-annotation.rkt" "tc-app-helper.rkt" "find-annotation.rkt"
"tc-subst.rkt" "check-below.rkt" "tc-subst.rkt" "check-below.rkt"
(prefix-in c: racket/contract) (prefix-in c: racket/contract)
syntax/parse racket/match racket/list syntax/parse racket/match racket/list unstable/sequence
unstable/sequence unstable/debug
;; fixme - don't need to be bound in this phase - only to make syntax/parse happy ;; fixme - don't need to be bound in this phase - only to make syntax/parse happy
racket/bool racket/bool racket/unsafe/ops
racket/unsafe/ops
(only-in racket/private/class-internal make-object do-make-object) (only-in racket/private/class-internal make-object do-make-object)
(only-in '#%kernel [apply k:apply]) (only-in '#%kernel [apply k:apply])
;; end fixme ;; end fixme
@ -17,7 +15,6 @@
(private type-annotation) (private type-annotation)
(types utils abbrev union subtype resolve convenience type-table substitute) (types utils abbrev union subtype resolve convenience type-table substitute)
(utils tc-utils) (utils tc-utils)
(only-in srfi/1 alist-delete)
(except-in (env type-env-structs tvar-env index-env) extend) (except-in (env type-env-structs tvar-env index-env) extend)
(rep type-rep filter-rep object-rep rep-utils) (rep type-rep filter-rep object-rep rep-utils)
(r:infer infer) (r:infer infer)

8
collects/typed-scheme/typecheck/tc-let-unit.rkt
View File

@ -1,24 +1,24 @@
#lang racket/unit #lang racket/unit
(require (rename-in "../utils/utils.rkt" [infer r:infer])) (require (rename-in "../utils/utils.rkt" [infer r:infer])
(require "signatures.rkt" "tc-metafunctions.rkt" "tc-subst.rkt" "signatures.rkt" "tc-metafunctions.rkt" "tc-subst.rkt"
"check-below.rkt" "check-below.rkt"
(types utils convenience) (types utils convenience)
(private type-annotation parse-type) (private type-annotation parse-type)
(env lexical-env type-alias-env global-env type-env-structs) (env lexical-env type-alias-env global-env type-env-structs)
(rep type-rep) (rep type-rep)
syntax/free-vars syntax/free-vars
racket/trace unstable/debug ;racket/trace unstable/debug
racket/match (prefix-in c: racket/contract) racket/match (prefix-in c: racket/contract)
(except-in racket/contract -> ->* one-of/c) (except-in racket/contract -> ->* one-of/c)
syntax/kerncase syntax/parse syntax/kerncase syntax/parse
unstable/debug
(for-template (for-template
racket/base racket/base
"internal-forms.rkt")) "internal-forms.rkt"))
(require (only-in srfi/1/list s:member)) (require (only-in srfi/1/list s:member))
(import tc-expr^) (import tc-expr^)
(export tc-let^) (export tc-let^)

13
collects/typed-scheme/typecheck/tc-metafunctions.rkt
View File

@ -1,14 +1,13 @@
#lang scheme/base #lang racket/base
(require "../utils/utils.rkt") (require "../utils/utils.rkt"
(require (rename-in (types subtype convenience remove-intersect union utils filter-ops) (rename-in (types subtype convenience remove-intersect union utils filter-ops)
[-> -->] [-> -->]
[->* -->*] [->* -->*]
[one-of/c -one-of/c]) [one-of/c -one-of/c])
(rep type-rep filter-rep rep-utils) scheme/list (rep type-rep filter-rep rep-utils) racket/list
scheme/contract racket/match unstable/match racket/trace racket/contract racket/match unstable/match
unstable/debug (for-syntax racket/base))
(for-syntax scheme/base))
;; this implements the sequence invariant described on the first page relating to Bot ;; this implements the sequence invariant described on the first page relating to Bot