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

Fix error case for merge-tc-results

Browse Source
This commit is contained in:
Asumu Takikawa 2014-06-10 11:31:02 -04:00
parent a8d799325f
commit ded8858f55
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/typecheck/tc-metafunctions.rkt
View File

@ -284,7 +284,7 @@
;; otherwise, error ;; otherwise, error
[else [else
(tc-error/expr "Expected the same number of values, but got ~a and ~a" (tc-error/expr "Expected the same number of values, but got ~a and ~a"
(length res1) (length res2))])]) (length results1) (length results2))])])
(for/fold ([res (ret -Bottom)]) ([res2 (in-list results)]) (for/fold ([res (ret -Bottom)]) ([res2 (in-list results)])
(merge-two-results res res2))) (merge-two-results res res2)))