Jonathan Lindegaard Starup
Jonathan Lindegaard Starup
* Test cases do not seem to contain elements. * The fuzzed tests do. Do you want me to extract examples for std lib? * I am not sure I...
@magnus-madsen ive given it all a read-through and rewrite but it probably requires multiple, being so long.
> Do we assume the domains are disjoint? That was already assumed, noted in `FastBoolUnification` > Yes, definitely. This would be very useful. It is less cool since we don't...
Compact concrete sets: 1. We could change the element part of an intersection to represent a union a. This means that the most compact element rep is an intersection and...
both? doesnt that just give inconsistent representation?
Efficient really is the enemy of elegant
!!!jar
@magnus-madsen the formulas of the two are very similar in size The have slightly different behaviour for associated effects on free variables - the old solver might say that `x1...
That's correct, but its equivalent to pure ``` eff Throw { pub def throwIt(): Void } def handler(f: Unit -> Unit \ ef): Unit -> Unit \ ef - Throw...
@magnus-madsen I've now tested - and the old and new substitutions are indeed equivalent (double sided check with new solver) Their sizes are very comparable ``` subst sizes: old =...