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

Require binding of add-mod.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2012-07-13 14:58:54 -04:00
parent 683f8e4e4b
commit e6697fe43f
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
collects/typed-racket/typecheck/tc-toplevel.rkt
View File

@ -25,7 +25,8 @@
"internal-forms.rkt" "internal-forms.rkt"
syntax/location syntax/location
mzlib/contract mzlib/contract
racket/base)) racket/base
"../env/env-req.rkt"))
(c:provide/contract (c:provide/contract
[type-check (syntax? . c:-> . (values syntax? syntax?))] [type-check (syntax? . c:-> . (values syntax? syntax?))]