aboutsummaryrefslogtreecommitdiff
path: root/src/test/run-fail
Commit message (Expand)AuthorAgeFilesLines
* Remove effect system from src.Graydon Hoare2011-04-191-1/+1
* Switch xfail system to use comments embedded in source files.Graydon Hoare2011-03-259-0/+10
* Add test for non-exhaustive match failure.Graydon Hoare2010-12-021-0/+15
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-021-1/+1
* Small updates to test cases.Michael Bebenita2010-09-071-0/+3
* Implemented an lock free queue based on this paper http://www.cs.rochester.ed...Michael Bebenita2010-08-241-0/+26
* Move the test suite to the "as" form for casts. XFAIL a few tests for LLVM.Patrick Walton2010-07-261-2/+2
* Populate tree.Graydon Hoare2010-06-237-0/+79