| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Instead of generating an assignment to a Unit-typed variable, just add
the Unit value after the if-else expression:
[async] scala.async.Async.async[Unit]({
val f: scala.concurrent.Future[Int] = AnfTestClass.this.base(y);
if (y.>(0))
State.result_=(scala.async.Async.await[Int](f).+(2))
else
State.result_=(scala.async.Async.await[Int](f).-(2))
})
[async] ANF transform expands to:
{
val f: scala.concurrent.Future[Int] = AnfTestClass.this.base(y);
if (y.>(0))
{
val await$8: Int = scala.async.Async.await[Int](f);
State.result_=(await$8.+(2))
}
else
{
val await$9: Int = scala.async.Async.await[Int](f);
State.result_=(await$9.-(2))
};
()
}
|
|
|
|
|
| |
- Does not descend into class and module defs
- Adds several tests, including tests for if-else
|
|\ |
|
| |
| |
| |
| |
| |
| |
| | |
- checks that only one function is synthesized
- checks the set of vars created (TODO minimize these)
- use x$1 rather than x1 for the freshened names for lifted vars.
- make execContext a val, not a var.
|
| | |
|
| | |
|
| |
| |
| |
| | |
Works like it says on the box.
|
| |
| |
| |
| | |
Perhaps we should freshen them, but that will be a little awkward in our reify block.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
|/ |
|
|\
| |
| | |
Support await inside match expressions
|
| | |
|
|/
|
|
| |
This helps detect naked awaits.
|
| |
|
| |
|
|
|
|
|
|
|
| |
- Enable continuations plugin
- Fill in project metadata
- Enable stricter compiler options
- satisfy -Xlint with some empty parens.
|
|
- Convert tests to use JUnit
- For the 'run' tests, just use plain-old-test-cases
- Add a sample 'neg' test to use ToolBoxes to compile code snippets on the fly.
|