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

Remove useless requires.

Browse Source
This commit is contained in:
Vincent St-Amour 2011-08-31 12:30:36 -04:00
parent 166efdd2ec
commit 0449c3b397
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/typed-scheme/core.rkt
View File

@ -1,19 +1,16 @@
#lang racket/base
(require (rename-in "utils/utils.rkt" [infer r:infer])
(require (rename-in "utils/utils.rkt")
(for-syntax racket/base)
(for-template racket/base)
(private with-types type-contract parse-type)
(except-in syntax/parse id)
racket/match racket/syntax unstable/match racket/list
(types utils convenience)
(typecheck typechecker provide-handling tc-toplevel tc-app-helper)
(env type-name-env type-alias-env)
(r:infer infer)
(typecheck provide-handling tc-toplevel tc-app-helper)
(rep type-rep)
(for-template (only-in (base-env prims) :type :print-type :query-result-type))
(except-in (utils utils tc-utils arm) infer)
(only-in (r:infer infer-dummy) infer-param)
(utils utils tc-utils arm)
"tc-setup.rkt")
(provide mb-core ti-core wt-core)