Open julianhyde opened 3 hours ago
Improve deduction of ranges. Instead of
from z in [1, 2, 3, 4, 5, 6, 7, 8], x in [1, 2, 3, 4, 5, 6, 7, 8], y in [1, 2, 3, 4, 5, 6, 7, 8] where x + y = z
we should be able to write
from z in [1, 2, 3, 4, 5, 6, 7, 8], x, y where x + y = z andalso x > 0 andalso y > 0
Dev branch: https://github.com/julianhyde/morel/tree/229-range
Improve deduction of ranges. Instead of
we should be able to write