aboutsummaryrefslogtreecommitdiff
path: root/src/test/run-fail
Commit message (Expand)AuthorAgeFilesLines
* Fix mistaken replacements in error-pattern comments in testsMarijn Haverbeke2011-05-128-8/+8
* Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke2011-05-128-8/+8
* Assume xfail-stage0 implies stage1 and stage2 in tests, for now.Graydon Hoare2011-05-039-0/+18
* Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton2011-05-025-8/+8
* Revert "Use different syntax for checks that matter to typestate"Graydon Hoare2011-05-025-8/+8
* Use different syntax for checks that matter to typestateTim Chevalier2011-05-025-8/+8
* 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