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

fix contract error

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-04-26 12:19:11 -04:00
parent 10c23b0002
commit 884375ce96
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/typecheck/tc-let-unit.ss
View File

@ -109,7 +109,7 @@
[else
;(for-each (lambda (vs) (for-each (lambda (v) (printf/log "Letrec Var: ~a~n" (syntax-e v))) vs)) names)
(do-check (lambda (stx e t) (tc-expr/check e t))
names (map (lambda (l) (map (compose ret get-type) l)) names) form exprs body clauses expected)]))))
names (map (λ (l) (ret (map get-type l))) names) form exprs body clauses expected)]))))
;; this is so match can provide us with a syntax property to
;; say that this binding is only called in tail position