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

move new-if to if.

Browse Source 
svn: r14942

original commit: 844cbc678210650cf8c0f7982f1cc4179b46d20b
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-22 22:06:48 +00:00
parent aecfeceb3b
commit ec01788aeb
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
collects/typed-scheme/typecheck/tc-new-if.ss → collects/typed-scheme/typecheck/tc-if.ss
View File

4
collects/typed-scheme/typecheck/typechecker.ss
View File

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