phischu
phischu
Consider the following program: ``` def main() = { var i = 0; i = i + 1; () } ``` It gets transformed to the following Core: ``` def...
In folder `./libraries` we have multiple standard libraries. One for each backend. These overlap partially. The goal is to share code between them. We identify 5 _categories_ of definitions: 1....
I would like to see the following syntactic changes. They have to be discussed and rejected or approved. - rename type `Boolean` to `Bit` - rename keyword `type` to `datatype`...
Currently the following is accepted: ``` def create(): Fresh at {} = new Fresh { def fresh() = "" } ``` However, the following is not and I think it...
It would be great if we could abstract over capture sets on the type level: ``` type Coroutine[C, A] { Done() More(value: A, next: () => Coroutine[C, A] at C)...
It would be great if we could return multiple values from a function directly ``` def swap(x: Int, y: Int): (Int, Int) = (y, x) ``` This should not be...
I use `wx-0.92.1.0` and `wxcore-0.92.1.0`. Compilation works perfectly fine (thanks for your hard work), but loading my executable with `cabal repl` fails with the following error message: ``` GHCi, version...
While we do have literal syntax for the unit value `()`, we should not treat it as a literal in later stages of the compiler. Pattern matching should not generate...
The following program fails to parse with `Unexpected end of input`. On a previous version it was accepted. ``` def benchmark { f: Int => Int } = f(1) def...