Jakob Schneider

Ok I think there might be some issues with security levels and the recommended approach to split handler libraries from core logic libraries. The issue is that if a library...

> What happens with: > > libA: > > ``` > eff E > ``` > > libA-handlers (depends on libA): > > ``` > mod E { > @DefaultHandler...

> This PR actually already reduces the methods in the Loader result only to contain tests and main Is this completed then?

This is related to regions so this may improve drastically when the boolean formulas for the effects are minimized. Anyway here goes. **Program** ```flix @ParallelWhenPure pub def map(f: v1 ->...

**Program** ```flix @test def testArrayLoad79(): () = region r { // the return type should be `Unit` and not `()` let x = [[1 :: Nil] @ r, [3 ::...

**Program** ```flix @test def foldRightLazy01(): Bool = region r { MutList.foldRightLazy((x, acc) -> force acc + x, 0, MutList.range(r, 1, 5)) == 10 } ``` **Error** ``` -- Type Error...

**Program** ```flix pub def explode(m: Map[k, t[v]]): Set[(k, v)] with Foldable[t], Order[v] = foldLeftWithKey((k, t) -> Foldable.toSet(t) |> Set.map(e -> (k, e)) |> Set.union, Set.empty(), m) ``` **Error** ``` >>...

**Program** ```scala /// /// Build a node applicatively. /// /// This is a helper function for `mapAWithKey`. /// def nodeA(color: Color, left: m[RedBlackTree[k, v]], k: k, value: m[v], right: m[RedBlackTree[k,...

Here is `List.flix`: | Function | Can be rewritten | Unchecked cast | | -------- | ---------------- | -------------- | | List.findRight | Yes | No | | List.scanLeft |...

| Function | Can Be Rewritten | Unchecked Cast | | --------- | ----------------- | ----------------- | | Chain.viewLeft | Yes | No | | Chain.viewRight | Yes | No...