phischu

References escape their region when using `var`

1

Consider the following program where we allocate a mutable variable `x` in a region `r1`, and return a closure that contains it. ``` interface Ref[T] { def get(): T }...

The following program returns an integer through a region: ``` def main() = { val x = region r { 42 }; println(x) } ``` It would be great if...

Right now, we are using `extern include` in the standard library for IO functionality. We would like to inline the files `libraries/llvm/io.ll` and also `libraries/js/io.js` into the position where they...

- [ ] Fix warnings - [ ] Equivalent JS implementation - [ ] Fix bug with `server_client` and more than 2 clients - [ ] Do todos

Consider the following program: ``` interface Stream[A] { def head(): A def tail(): Stream[A] at {} } def main() = { def ones = new Stream[Int] { def head() =...

The following program: ``` effect fail(): Nothing def f(): Char / fail = do fail() def main(): Unit = try { println(show(f())) } with fail { () } ``` crashes...