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

move new-if to if.

Browse Source 
svn: r14942
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-22 22:06:48 +00:00
parent 2a55bec335
commit 844cbc6782
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 provide-signature-elements
define-values/invoke-unit/infer link) define-values/invoke-unit/infer link)
"signatures.ss" "tc-toplevel.ss" "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-let-unit.ss" "tc-dots-unit.ss"
"tc-expr-unit.ss" "check-subforms-unit.ss") "tc-expr-unit.ss" "check-subforms-unit.ss")
(provide-signature-elements typechecker^ tc-expr^) (provide-signature-elements typechecker^ tc-expr^)
(define-values/invoke-unit/infer (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@))