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

Cleanup requires in tc-apply.

Browse Source 
original commit: 11bd5314e278e15b44ecc2b224954c5104ff3bec
This commit is contained in:
Eric Dobson 2013-02-05 21:12:32 -08:00
parent deb336738c
commit d66ef4fb11
1 changed files with 5 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
collects/typed-racket/typecheck/tc-apply.rkt
View File

@ -1,22 +1,16 @@
#lang racket/unit
(require (rename-in "../utils/utils.rkt" [infer r:infer])
"signatures.rkt" "tc-app-helper.rkt"
racket/match racket/list
(for-syntax (utils tc-utils))
(private type-annotation)
(types utils union subtype resolve abbrev type-table substitute)
(typecheck signatures tc-app-helper)
(types utils union subtype abbrev substitute)
(utils tc-utils)
(only-in srfi/1 alist-delete)
(except-in (env type-env-structs tvar-env index-env) extend)
(rep type-rep filter-rep object-rep rep-utils)
(env tvar-env index-env)
(rep type-rep filter-rep object-rep)
(r:infer infer)
'#%paramz
(for-template
racket/unsafe/ops
(only-in '#%kernel [apply k:apply])
"internal-forms.rkt" racket/base racket/bool '#%paramz
(only-in racket/private/class-internal make-object do-make-object)))
racket/base))
(import tc-expr^ tc-lambda^ tc-let^ tc-app^)
(export tc-apply^)