Jonathan Lindegaard Starup

> But if you add say isValidIndex or whatever that would seem to require two lookups You can add a getter that returns option maybe? hmm. I guess its a...

I had this suggestion at least a year ago! 😄 (maybe I only ran it by matt) - `__something` is very annoying for parsing etc since its what we used...

paren parsing is a bit messy so i don't think it's cleanly supportable, but conceptually its just checking for the parens and using the peekBinary function. i think its harder...

Can we conclude #10871 first? is restructures the relevant code and collects the loading into one place

This PR actually already reduces the methods in the Loader result only to contain tests and main

@CasperDN you think this could work? the three steps could either be separate def passes or done in a combined pass. I think its pretty close to what you've been...

From #4887. ## Program This error occurs when you for-yield on a type with different element types (here `Result[Int32, _]` and `Result[String, _]`) ```scala def example(): Result[String, String] = {...

**Program** ``` def example(): Unit \ IO = println ``` **Error** ``` -- Type Error -------------------------------------------------- >> The inferred effect: 'Pure' cannot be generalized to 'Impure'. 1 | def example():...

**Program:** ``` def example(): {asd=Int32, bsd=Int32, csd=Int32} = { asb = 2, bsd = 2, csd = 2 } ``` **Error:** ``` >> The type scheme: 'Unit -> { asb...

**Program** ```scala use Functor.map pub def main(): Unit \ IO = region r { g(r, f); ??? } type alias T[r: Region] = Int32 def f(i: Int32, t: T[r]): Unit...