Jonathan Lindegaard Starup

- Matt - no inference info from inside the region to the outside of the region (checked via levels or region scope lists) - constraints and variables need to know...

Principled `Map#{...}`/`Set#{...}`/`[...]`

5

Related to #4760 I was thinking about `Map#{...}`, `Set#{...}`, `[...]` and how to make it more principled. My motivation came from the desire to have `List#{...}`. My idea is to...

fix: effect parsing

1

Fixes #8800

Code here https://github.com/flix/flix/blob/7b590a8a2c6bff1c172fdfd8619444401f9cfa9e/main/src/ca/uwaterloo/flix/language/phase/EntryPoint.scala#L219 ```scala private def isBadEntryPointEffect(declaredEff: Type) = { declaredEff.effects.exists(sym => !Symbol.isBaseEff(sym)) } ``` This code allows `not Crash` which would allow control effects in the entrypoint (it also...

Continuing from #8919

feat: EffUnification3

31

@mlutze I've replaced calls to `EffUnification.solve` with my `EffUnification3.solve`, is that sufficient to be "fully online"

`Position`, `Range`, `SourceLocation`, and `SourcePosition`

6

```scala case class Position(line: Int, character: Int) case class Range(start: Position, end: Position) case class SourceLocation(isReal: Boolean, sp1: SourcePosition, sp2: SourcePosition) { assert(sp1.source eq sp2.source) .. } case class SourcePosition(source:...

Precedence error with effect notation

1

`ef - IO + Crash` is parsed as `ef - (IO + Crash)`

- [major] Explore where and when to use propagation - fx in SetSubstitution when inserting formulas into the mapping. - [major?] precompute some of variables, unknowns, and isGround - if...

Run and fix `TestAssocTypeUnification`

1

It isn't included in any test and fails when you run it