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

everything except lambda, app units work

Browse Source 
svn: r14008

original commit: 8b7497cccfa8dcc264bf16f90641f2f3f99084b2
This commit is contained in:
Sam Tobin-Hochstadt 2009-03-07 23:19:41 +00:00
parent fc229e12cb
commit 2afd5ece54
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/typed-scheme/typecheck/check-subforms-unit.ss
View File

@ -4,7 +4,7 @@
(require syntax/kerncase
scheme/match
"signatures.ss"
(private type-utils type-effect-convenience union subtype)
(types utils convenience union subtype)
(utils tc-utils)
(rep type-rep))
@ -18,7 +18,7 @@
(define body-ty #f)
(define (get-result-ty t)
(match t
[(Function: (list (arr: _ rngs #f _ '() _ _) ...)) (apply Un rngs)]
[(Function: (list (arr: _ (Values: (list (Result: rngs _ _))) #f _ '()) ...)) (apply Un rngs)]
[_ (tc-error "Internal error in get-result-ty: not a function type: ~n~a" t)]))
(let loop ([form form])
(parameterize ([current-orig-stx form])

3
collects/typed-scheme/typecheck/tc-let-unit.ss
View File

@ -2,7 +2,8 @@
(require (rename-in "../utils/utils.ss" [infer r:infer]))
(require "signatures.ss"
(private type-effect-convenience type-annotation parse-type type-utils)
(types utils convenience)
(private type-annotation parse-type)
(env lexical-env type-alias-env type-env)
syntax/free-vars
mzlib/trace