phischu

Not enough unification of capture set between handler body and implementation

1

Consider the following program: ``` effect something(): Unit def main(): Unit = { val thunk = try { do something() box { return () } } with something { box...

Unbox requires a boxed type, but got B.

2

The following program: ``` type Status[B] { Done(value: Int) More(state: B) } def main(): Unit = { Done(123) match { case Done(value) => value case More(task) => task() } ()...

Region of local mutable variables disagrees with llvm backend semantics

1

Consider the following program: ``` def test3(): Int = { val f = { var l = 1; box { l } } f() } def main() = println(test3()) ```...

Currently the following program is accepted: ``` type Dynamic { Wrap[A](x: A) } def f(d: Dynamic) = d match { case Wrap(y) => () } ``` We want it to...

Currently the following program is accepted: ``` interface Choose { def choose[A](x: A, y: A): A } def c = new Choose { def choose(x, y) = x } ```...