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

Provide more stuff for testing.

Browse Source 
svn: r9409
This commit is contained in:
Sam Tobin-Hochstadt 2008-04-22 22:05:34 +00:00
parent 61f2319442
commit f9a0378510
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-scheme/private/typechecker.ss
View File

@ -8,7 +8,7 @@
"tc-let-unit.ss" "tc-let-unit.ss"
"tc-expr-unit.ss" "check-subforms-unit.ss") "tc-expr-unit.ss" "check-subforms-unit.ss")
(provide-signature-elements typechecker^) (provide-signature-elements typechecker^ tc-expr^)
(define-values/link-units/infer (define-values/link-units/infer
tc-toplevel@ tc-if@ tc-lambda@ tc-app@ tc-let@ tc-expr@ check-subforms@) tc-toplevel@ tc-if@ tc-lambda@ tc-app@ tc-let@ tc-expr@ check-subforms@)