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

Remove unneeded requires

Browse Source
This commit is contained in:
Eric Dobson 2012-08-13 20:13:31 -07:00 committed by Sam Tobin-Hochstadt
parent 7005f12f0d
commit d8c9a581f2
5 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/infer/infer-unit.rkt
View File

@ -5,7 +5,7 @@
(combine-in (combine-in
(utils tc-utils) (utils tc-utils)
(rep free-variance type-rep filter-rep object-rep rep-utils) (rep free-variance type-rep filter-rep object-rep rep-utils)
(types utils abbrev numeric-tower union subtype remove-intersect resolve (types utils abbrev numeric-tower union subtype resolve
substitute generalize) substitute generalize)
(env type-name-env index-env tvar-env)) (env type-name-env index-env tvar-env))
make-env -> ->* one-of/c) make-env -> ->* one-of/c)

2
collects/typed-racket/typecheck/check-below.rkt
View File

@ -2,7 +2,7 @@
(require (rename-in "../utils/utils.rkt" [private private-in]) (require (rename-in "../utils/utils.rkt" [private private-in])
racket/match (prefix-in - racket/contract) racket/match (prefix-in - racket/contract)
(types utils union subtype remove-intersect type-table filter-ops) (types utils union subtype type-table filter-ops)
(private-in parse-type type-annotation) (private-in parse-type type-annotation)
(rep type-rep object-rep filter-rep) (rep type-rep object-rep filter-rep)
(only-in (infer infer) restrict) (only-in (infer infer) restrict)

2
collects/typed-racket/typecheck/tc-expr-unit.rkt
View File

@ -5,7 +5,7 @@
racket/match (prefix-in - racket/contract) racket/match (prefix-in - racket/contract)
"signatures.rkt" "tc-envops.rkt" "tc-metafunctions.rkt" "tc-subst.rkt" "signatures.rkt" "tc-envops.rkt" "tc-metafunctions.rkt" "tc-subst.rkt"
"check-below.rkt" "tc-funapp.rkt" "tc-app-helper.rkt" "../types/kw-types.rkt" "check-below.rkt" "tc-funapp.rkt" "tc-app-helper.rkt" "../types/kw-types.rkt"
(types utils abbrev numeric-tower union subtype remove-intersect (types utils abbrev numeric-tower union subtype
type-table filter-ops generalize) type-table filter-ops generalize)
(private-in parse-type type-annotation) (private-in parse-type type-annotation)
(rep type-rep filter-rep object-rep) (rep type-rep filter-rep object-rep)

2
collects/typed-racket/typecheck/tc-metafunctions.rkt
View File

@ -1,7 +1,7 @@
#lang racket/base #lang racket/base
(require "../utils/utils.rkt" (require "../utils/utils.rkt"
(rename-in (types subtype abbrev remove-intersect union utils filter-ops) (rename-in (types subtype abbrev union utils filter-ops)
[-> -->] [-> -->]
[->* -->*] [->* -->*]
[one-of/c -one-of/c]) [one-of/c -one-of/c])

2
collects/typed-racket/typecheck/tc-subst.rkt
View File

@ -1,7 +1,7 @@
#lang racket/base #lang racket/base
(require "../utils/utils.rkt") (require "../utils/utils.rkt")
(require (rename-in (types subtype abbrev remove-intersect union utils filter-ops) (require (rename-in (types subtype abbrev union utils filter-ops)
[-> -->] [-> -->]
[->* -->*] [->* -->*]
[one-of/c -one-of/c]) [one-of/c -one-of/c])