Jonathan Lindegaard Starup

feat: track future slack effect variables

4

track `isSlack` similarly to `isRegion`. Currently `isSlack` is always `false`

Shorthand `do` syntax

1

If im annoyed writing `do operation(...)` I want to implement a shortand ``` eff Eff { pub def op(): Void } mod Eff { pub def op(): t \ Eff...

### Benchmark ``` def loop(f: Unit -> a \ ef, n: Int32): Unit \ ef = if (n == 0) () else { discard f(); loop(f, n - 1) }...

Suspicious `let _` code

1

Here is a bunch of places that use `let _ = ...` in suspicious/wrong way. Maybe this is motivation to analyse and add safety checks? ### DelayMap ``` def parallelForce(m:...

feat: remove underlying collection effect form imediate iterator effect

3

Fixes #7849 #### Pro: (smaller) Effect reflects behaviour This simplifies the effect footprint of creating an iterator (it can be thought of as returning a function that is pure, from...

fast set unification experimentation

1

- rename ops to set language - make solver symmetrical - add set elem - flip lattice #7542 has been merged into this - real change is just `FastSetUnification` (and...

Checking of user-defined-operations

8

The parser expects user defined operations to be binary but this is not enforced ``` def

Parser: suboptimal parser error

4

I'm not sure if this is too minor in the current stage of development, but I would hope this error to be prettier at some point ``` enum E {...