Jonathan Lindegaard Starup

feat: `FastSetUnification`

14

Including fuzzer

feat: clarify `Adaptor.toOptional`

10

Not fixing the bug, just making the bump softer to hit your head on. Related to #7876

IteratorBuilder

1

```scala // trait Iterable[t] { // def iterator(rc: Region[r], t: t): Iterator[Iterable.Elm[t], r + aef, r] \ (r + aef) where Iterable.Aef[t] ~ aef // } // what we ideally...

# Workshop Topics # Conceptual Topics 1. What is a region? what is an Effect? 1. What is a warning? what is an error? (especially with resilient compilation) 1. Infix...

Combination of #7847 #7837 and #7846 Then added effect var tracking and cast counting

wip: type normalization

1

Exploratory PR to improve type normalization in monodefs - Add `TypeConstructor.EffectSet(set: SortedSet[Symbol.EffectSym])` - Use `TypeNormalization` in `Monomorpher` - Remove formula normalization, alias resolving, and universe from `Simplifier`

`Adaptor.flix` bug - unsafe use of `unchecked_cast`

3

## Bug Example ``` def main(): Unit \ IO = { import java.lang.Object.toString(): String \ IO; let opt = Some(42i64); let javaOpt = Adaptor.toOptional(opt); println(toString(checked_cast(javaOpt))) } ``` Error ``` #...

TODO - Check `discard` and `let _ = ...` (see `MutSet.iterator`) - Check other casts

Absolute qualified names

3

If i write this ``` def myFunction(): Random = ... ``` What `Random` am I speaking about, specifically? It can be `Random` or `Current.Namespace.Random`. This is annoying if, e.g., I...