Marcial Gaißert

Note: Included in #442, should be auto-closed once #442 is merged.

Apparently auto-close did not work here 🤔 Resolved by #442.

@marzipankaiser Make `install` work without jit (warning or similar)

`Unit` is harder than I thought, since State (`Ref`) depends on it as the return type of `put`. The symbols regarding State are used extensively in multiple backends, so this...

For `Ref` (and also maybe for the other changes here, but to a lesser degree), an interesting question comes up: We can 1. Add the relevant Ids to the source...

> > On the plus side, this also allows individual backends to decide that, e.g., Boolean is a data type (not builtin) > > But wouldn't this also require overloading...

> > For `Ref` [...] > > TBH I don't understand the discussion. Are you talking about "how can we figure out the correct symbols for state in Typer"? Yes,...

For `Ref` (mutable state) the possible strange behaviour without a #30 occurs. Some tests (at least `examples/pos/probabilistic.effekt`) define `Ref` themselves.

While I still would support the direction this tries to move in, and this did create some insights, I don't think that it's worthwhile to update this to the current...

#323: https://github.com/effekt-lang/effekt/actions/runs/7046569951/job/19178631771#step:9:116 , https://github.com/effekt-lang/effekt/actions/runs/7046919304/job/19179674641#step:9:212