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

Cleanup requires in tc-apply.

Browse Source
This commit is contained in:
Eric Dobson 2013-02-05 21:12:32 -08:00
parent b9c4582746
commit 11bd5314e2
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 #lang racket/unit
(require (rename-in "../utils/utils.rkt" [infer r:infer]) (require (rename-in "../utils/utils.rkt" [infer r:infer])
"signatures.rkt" "tc-app-helper.rkt"
racket/match racket/list racket/match racket/list
(for-syntax (utils tc-utils)) (typecheck signatures tc-app-helper)
(private type-annotation) (types utils union subtype abbrev substitute)
(types utils union subtype resolve abbrev type-table substitute)
(utils tc-utils) (utils tc-utils)
(only-in srfi/1 alist-delete) (env tvar-env index-env)
(except-in (env type-env-structs tvar-env index-env) extend) (rep type-rep filter-rep object-rep)
(rep type-rep filter-rep object-rep rep-utils)
(r:infer infer) (r:infer infer)
'#%paramz
(for-template (for-template
racket/unsafe/ops
(only-in '#%kernel [apply k:apply]) (only-in '#%kernel [apply k:apply])
"internal-forms.rkt" racket/base racket/bool '#%paramz racket/base))
(only-in racket/private/class-internal make-object do-make-object)))
(import tc-expr^ tc-lambda^ tc-let^ tc-app^) (import tc-expr^ tc-lambda^ tc-let^ tc-app^)
(export tc-apply^) (export tc-apply^)