Jonathan Lindegaard Starup

Low level optimizations for function calls

5

# How it is At a low level, our functions work approximately like this: ``` def add(x: Int32, y: Int32): Int32 = x + y def inc(x: Int32): Int32 =...

test: `TestVerifiers`

6

Just making sure all verifiers are all run at least once.

feat: Verify Lexer

11

I was curious about if the lexer was correct, given @stormckey's PR on location checking - everything checks out.

solution: change the flix code to just check the erased type, and then delegate to a fancy backend method that actually deeply stringifies the type

I range function that also takes a step size

Weeding of unary plus

8

```flix def main(): String = +("hello") ``` prints `Hello` https://github.com/flix/flix/blob/284b8dfd3b2ef2f50daa04211d3baa4bd9e08ad8/main/src/ca/uwaterloo/flix/language/phase/Weeder2.scala#L1225-L1232

Typematch is somewhat simple of a feature but its implementation is both complex and incorrect (see #7195). The goal of this project is to cover its use cases with simpler...

Monomorphization and Lowering idea

3

Input program: ```flix def main(): Int32 = { let p: #{A(Int32)} = #{A(42).}; let f: #{A(Int32)} -> Int32 with Order[Int32] = g; f(p) } def g(p: #{A(t)}): Int32 with Order[t]...