summaryrefslogtreecommitdiff
path: root/test/files/presentation/callcc-interpreter
Commit message (Collapse)AuthorAgeFilesLines
* updated tests now matches aren't translated if forInteractiveAdriaan Moors2012-04-251-3/+1
|
* virtpatmat on by default; chicken out: -XoldpatmatAdriaan Moors2012-04-141-1/+3
| | | | | | | some tests (unreachability, exhaustivity, @switch annotation checking) are still run under -Xoldpatmat, but that will change before we go into RC mode (then the test/ partest of this commit will be reverted) removed irrelevant dependency on patmat
* Begone t1737...Hubert Plociniczak2011-11-021-2/+2
|
* Major rewrite of the testing infrastructure for...Micro Dotta2011-08-172-0/+89
Major rewrite of the testing infrastructure for the presentation compiler. Added several new tests that will be part of the nightly build. Once the move to SBT is completed I will look into how to extract the test infrastructure (as it should really not be living in the compiler codebase). Review by dragos