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

Remove useless requires.

Browse Source 
(cherry picked from commit 51083dbce6)
This commit is contained in:
Sam Tobin-Hochstadt 2011-04-18 20:53:51 -04:00 committed by Eli Barzilay
parent 0a8ad31a47
commit 2da100ba8f
20 changed files with 24 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
collects/typed-scheme/infer/constraints.rkt
View File

@ -6,7 +6,6 @@
(utils tc-utils)
unstable/sequence unstable/hash
"signatures.rkt" "constraint-structs.rkt"
unstable/debug
racket/match
racket/list)

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

@ -14,7 +14,7 @@
racket/match
mzlib/etc
racket/trace racket/contract
unstable/sequence unstable/list unstable/debug unstable/hash
unstable/sequence unstable/list unstable/hash
racket/list)
(import dmap^ constraints^ promote-demote^)

2
collects/typed-scheme/private/parse-type.rkt
View File

@ -7,7 +7,7 @@
syntax/stx (prefix-in c: scheme/contract)
syntax/parse
(env type-env-structs tvar-env type-name-env type-alias-env lexical-env index-env)
racket/match unstable/debug
racket/match
(for-template scheme/base "colon.ss")
;; needed at this phase for tests
(combine-in (prefix-in t: "base-types-extra.ss") "colon.ss")

2
collects/typed-scheme/private/with-types.rkt
View File

@ -7,7 +7,7 @@
(prefix-in c: (combine-in racket/contract/regions racket/contract/base)))
"extra-procs.rkt" "prims.rkt"
syntax/parse racket/block racket/match
unstable/sequence unstable/debug "base-types-extra.rkt"
unstable/sequence "base-types-extra.rkt"
(except-in (path-up "env/type-name-env.rkt"
"env/type-alias-env.rkt"
"infer/infer-dummy.rkt"

2
collects/typed-scheme/rep/type-rep.rkt
View File

@ -4,7 +4,7 @@
(require (utils tc-utils)
"rep-utils.rkt" "object-rep.rkt" "filter-rep.rkt" "free-variance.rkt"
mzlib/trace racket/match mzlib/etc
scheme/contract unstable/debug
scheme/contract
(for-syntax scheme/base syntax/parse))
(define name-table (make-weak-hasheq))

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

@ -3,7 +3,7 @@
(require "../utils/utils.rkt"
syntax/kerncase
syntax/parse
racket/match unstable/debug
racket/match
"signatures.rkt" "tc-metafunctions.rkt"
(types utils convenience union subtype)
(utils tc-utils)

2
collects/typed-scheme/typecheck/provide-handling.rkt
View File

@ -11,7 +11,7 @@
(utils tc-utils)
(for-syntax syntax/parse racket/base)
racket/contract/private/provide unstable/list
unstable/debug syntax/id-table racket/dict
syntax/id-table racket/dict
racket/syntax scheme/struct-info racket/match
"def-binding.rkt" syntax/parse
(for-template scheme/base "def-export.rkt" scheme/contract))

2
collects/typed-scheme/typecheck/tc-app.rkt
View File

@ -5,7 +5,7 @@
"tc-app-helper.rkt" "find-annotation.rkt" "tc-funapp.rkt"
"tc-subst.rkt" (prefix-in c: racket/contract)
syntax/parse racket/match racket/trace scheme/list
unstable/sequence unstable/debug unstable/list
unstable/sequence unstable/list
;; fixme - don't need to be bound in this phase - only to make tests work
scheme/bool
racket/unsafe/ops

2
collects/typed-scheme/typecheck/tc-envops.rkt
View File

@ -12,7 +12,7 @@
(only-in (env type-env-structs lexical-env)
env? update-type/lexical env-map env-props replace-props)
scheme/contract racket/match
mzlib/trace unstable/debug unstable/struct
mzlib/trace unstable/struct
(typecheck tc-metafunctions)
(for-syntax scheme/base))

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

@ -11,7 +11,7 @@
(only-in (infer infer) restrict)
(except-in (utils tc-utils stxclass-util))
(env lexical-env type-env-structs tvar-env index-env)
racket/private/class-internal unstable/debug
racket/private/class-internal
(except-in syntax/parse id)
unstable/function
(only-in srfi/1 split-at))

2
collects/typed-scheme/typecheck/tc-if.rkt
View File

@ -10,7 +10,7 @@
(typecheck tc-envops tc-metafunctions)
(types type-table)
syntax/kerncase
racket/trace unstable/debug
racket/trace
racket/match)
;; if typechecking

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

@ -15,7 +15,7 @@
(types abbrev utils)
(env type-env-structs lexical-env tvar-env index-env)
(utils tc-utils)
unstable/debug
racket/match)
(require (for-template scheme/base "internal-forms.rkt"))

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

@ -8,11 +8,11 @@
(env lexical-env type-alias-env global-env type-env-structs)
(rep type-rep)
syntax/free-vars
;racket/trace unstable/debug
;racket/trace
racket/match (prefix-in c: racket/contract)
(except-in racket/contract -> ->* one-of/c)
syntax/kerncase syntax/parse unstable/syntax
unstable/debug
(for-template
racket/base
"internal-forms.rkt"))

2
collects/typed-scheme/typecheck/tc-structs.rkt
View File

@ -10,7 +10,7 @@
syntax/kerncase
syntax/struct
mzlib/trace
unstable/debug
racket/function
racket/match
(only-in racket/contract

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

@ -6,7 +6,7 @@
[->* -->*]
[one-of/c -one-of/c])
(rep type-rep filter-rep rep-utils) scheme/list
scheme/contract racket/match unstable/match unstable/debug
scheme/contract racket/match unstable/match
(for-syntax scheme/base)
"tc-metafunctions.rkt")

2
collects/typed-scheme/typecheck/tc-toplevel.rkt
View File

@ -2,7 +2,7 @@
(require (rename-in "../utils/utils.rkt" [infer r:infer])
syntax/kerncase
unstable/list racket/syntax syntax/parse unstable/debug
unstable/list racket/syntax syntax/parse
mzlib/etc
racket/match
"signatures.rkt"

6
collects/typed-scheme/types/abbrev.rkt
View File

@ -8,10 +8,10 @@
racket/list
racket/match
unstable/function
(except-in racket/contract ->* ->)
(prefix-in c: racket/contract)
(except-in racket/contract/base ->* ->)
(prefix-in c: racket/contract/base)
(for-syntax racket/base syntax/parse)
(for-template racket/base racket/contract racket/promise racket/tcp racket/flonum)
(for-template racket/base racket/contract/base racket/promise racket/tcp racket/flonum)
;; for base type predicates
racket/promise racket/tcp racket/flonum)

4
collects/typed-scheme/types/convenience.rkt
View File

@ -4,9 +4,9 @@
(utils tc-utils)
"abbrev.rkt" "numeric-tower.rkt" (only-in scheme/contract current-blame-format)
(types comparison printer union subtype utils substitute)
scheme/list racket/match scheme/promise
scheme/list racket/match
(for-syntax syntax/parse scheme/base)
unstable/debug syntax/id-table scheme/dict
syntax/id-table scheme/dict
racket/trace
(for-template scheme/base))

4
collects/typed-scheme/types/filter-ops.rkt
View File

@ -5,9 +5,9 @@
(utils tc-utils) (only-in (infer infer) restrict)
"abbrev.rkt" (only-in scheme/contract current-blame-format [-> -->] listof)
(types comparison printer union subtype utils remove-intersect)
scheme/list racket/match scheme/promise
scheme/list racket/match
(for-syntax syntax/parse scheme/base)
unstable/debug syntax/id-table scheme/dict
syntax/id-table scheme/dict
racket/trace
(for-template scheme/base))

2
collects/typed-scheme/types/remove-intersect.rkt
View File

@ -3,7 +3,7 @@
(require "../utils/utils.rkt"
(rep type-rep rep-utils)
(types union subtype resolve convenience utils)
racket/match mzlib/trace unstable/debug)
racket/match mzlib/trace)
(provide (rename-out [*remove remove]) overlap)