Interpret when an unknown is inserted into the program by interp_exhaustive

Short version of below; ready to hook interp_exhaustive up to something to test, but haven't yet.

If an unknown value influences a pattern match within an expression, each passing pattern is found and the bodies strung together into a block with let expressions to bind the variables.
In a function call, the cases are all collected but the support is not in place at the moment to evaluate them.
If an unknown is the result of the cond expression in an if, the then and else case become a block.
Unknowns within the interpreter propagate to more Unknowns; also for some but not all library functions yet.

0 files changed, 0 insertions, 0 deletions