phischu
phischu
I just want to say that apparently the original issue has been fixed. The following program: (Map Nil f) = Nil (Map (Cons x xs) f) = (Cons (f x)...
Consider ``` interface Num { type R def add(x: R, y: R): R } ``` What is the actual difference to ``` interface Num[R] { def add(x: R, y: R):...
I can confirm this in `v0.7.0` and came here to report it.
The problem is that the following invariant is broken by this program: every variable has a single type. Specifically, the variable `x_6217` is bound at type `Nothing`, but used at...
The following program typechecks: ``` def main() = { var x = box { () => 3 }; x = box { () => x() }; x() } ``` The...
Apart from the keyword and the way these operations are invoked there is another difference between the current implementation and what I am proposing. Currently we have the following: ```...
Merge it and revise it later.
@mattisboeckle it would be great if you could figure out why `iterate_increment` and `factorial_accumulator` are constant-folded (in the llvm backend), and how we can cheaply prevent this (perhaps by using...
I'll bump this and add the following example: ``` effect emit[A](value: A): Unit effect fork(): Bool effect fail(): Nothing def select[A] { stream: () => Unit / emit[A] }: A...