Jonathan Lindegaard Starup

refactor: principled Monomorpher

6

blocked by #8728

In the typer we allow `Int -> Int ~ java.util.function.IntUnaryOperator` fx. This is only sound from left to right, and will cause runtime crashes from right to left. This is...

We evaluate formulas via the smart constructors, but we don't normalize `IO + Crash` or `Crash + IO`. Leading to duplicate monomorphizations

Add Bool logic to Monomorpher

2

Right now we erase free bool type variables to `AnyType` and do not require ground formulas. is this a problem @mlutze? shouldn't we just handle them to avoid a pothole...

Local Def Lifting Strategy

1

```scala // Surface let c = 42; def f(x, y) = f(x, y + c); f(2) ``` ```scala // Resolver let c = 42; def f(x, y) = f(x, y...

# To Do - Practical - [x] Add compiler flag to enable Verifier #7419 - [x] Run verify by default #7437 - [x] Crash instead of print #7439 - [...

Performance implications of default monomorphization of free effect variables

7

In monomorpher, if we find an unconstrained effect variable `x`, we replace it with `Pure`. This is sound and fine. The potential issue is that if the overall type is...

Remove `Enum.tpe` from `KindedAst`

6

Follow up from #8719 Enums hold `sym`, `tparams`, and a `tpe` (and other things not relevant here). Some examples: - `enum Option[t] { .. }`, `sym = Option`, `tparams =...