Fix error case for merge-tc-results
original commit: ded8858f55d19cd0bb8f3d937839c9fca9dff063
This commit is contained in:
parent
222133ac5d
commit
15bc190252
|
@ -284,7 +284,7 @@
|
|||
;; otherwise, error
|
||||
[else
|
||||
(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)])
|
||||
(merge-two-results res res2)))
|
||||
|
|
Loading…
Reference in New Issue
Block a user