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

Remove unneeded requires

Browse Source 
original commit: d8c9a581f2a25c68c8ae85a216fcf676dd8661ae
This commit is contained in:
Eric Dobson 2012-08-13 20:13:31 -07:00 committed by Sam Tobin-Hochstadt
parent 09e0c07537
commit dddd5e23cd
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
(utils tc-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)
(env type-name-env index-env tvar-env))
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])
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)
(rep type-rep object-rep filter-rep)
(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)
"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"
(types utils abbrev numeric-tower union subtype remove-intersect
(types utils abbrev numeric-tower union subtype
type-table filter-ops generalize)
(private-in parse-type type-annotation)
(rep type-rep filter-rep object-rep)

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

@ -1,7 +1,7 @@
#lang racket/base
(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])

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

@ -1,7 +1,7 @@
#lang racket/base
(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])