From dddd5e23cd81e83c36bed5b7b2135cea5d74ad37 Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Mon, 13 Aug 2012 20:13:31 -0700 Subject: [PATCH] Remove unneeded requires original commit: d8c9a581f2a25c68c8ae85a216fcf676dd8661ae --- collects/typed-racket/infer/infer-unit.rkt | 2 +- collects/typed-racket/typecheck/check-below.rkt | 2 +- collects/typed-racket/typecheck/tc-expr-unit.rkt | 2 +- collects/typed-racket/typecheck/tc-metafunctions.rkt | 2 +- collects/typed-racket/typecheck/tc-subst.rkt | 2 +- 5 files changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/typed-racket/infer/infer-unit.rkt b/collects/typed-racket/infer/infer-unit.rkt index 7187626f..55d8632d 100644 --- a/collects/typed-racket/infer/infer-unit.rkt +++ b/collects/typed-racket/infer/infer-unit.rkt @@ -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) diff --git a/collects/typed-racket/typecheck/check-below.rkt b/collects/typed-racket/typecheck/check-below.rkt index 473d0733..3b153941 100644 --- a/collects/typed-racket/typecheck/check-below.rkt +++ b/collects/typed-racket/typecheck/check-below.rkt @@ -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) diff --git a/collects/typed-racket/typecheck/tc-expr-unit.rkt b/collects/typed-racket/typecheck/tc-expr-unit.rkt index 2a7bcead..a494eeb8 100644 --- a/collects/typed-racket/typecheck/tc-expr-unit.rkt +++ b/collects/typed-racket/typecheck/tc-expr-unit.rkt @@ -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) diff --git a/collects/typed-racket/typecheck/tc-metafunctions.rkt b/collects/typed-racket/typecheck/tc-metafunctions.rkt index 6b8f869b..a43aa272 100644 --- a/collects/typed-racket/typecheck/tc-metafunctions.rkt +++ b/collects/typed-racket/typecheck/tc-metafunctions.rkt @@ -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]) diff --git a/collects/typed-racket/typecheck/tc-subst.rkt b/collects/typed-racket/typecheck/tc-subst.rkt index d5aa368b..294749a3 100644 --- a/collects/typed-racket/typecheck/tc-subst.rkt +++ b/collects/typed-racket/typecheck/tc-subst.rkt @@ -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])