glossopoeia/boba

`test` should handle comparisons of multiple outputs

Closed this issue · 0 comments

So something like:

test multiple-out? = 1 2 is 3 2 should type check, but partially fail at runtime with 1 != 3.

This should be straightforward to implement with the gather method as a simple pre-type-checking code transformation in the test code generator.