Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Moved previously failing tests to pos | Martin Odersky | 2015-01-18 | 1 | -0/+7 |
GADTs now work again (they stopped workign when we went to the inductive satisfiability checks). The deep for expression also works, even with some more levels added. |