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

fix contract bug

Browse Source
This commit is contained in:
Andrew Kent 2016-11-22 11:05:43 -05:00
parent f9385af461
commit 7b6013272b
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
typed-racket-lib/typed-racket/typecheck/tc-let-unit.rkt
View File

@ -60,10 +60,10 @@
(for/and ([ns (in-list nss)]
[ts (in-list tss)])
(= (length ns) (length ts))))
[result (values (listof identifier?)
(listof Type?)
(listof OptObject?)
(listof Prop?))])
(values [names (listof identifier?)]
[types (listof Type?)]
[aliased-objs (listof OptObject?)]
[props (listof Prop?)]))
(for*/lists (idents types aliased-objects propositions)
([(names results) (in-parallel (in-list namess) (in-list rhs-typess))]
[(name result) (in-parallel (in-list names) (in-list results))])