about summary refs log tree commit diff
path: root/src/test/run-fail
AgeCommit message (Expand)AuthorLines
2011-05-16Rewrite everything to use [] instead of vec() in value position.Graydon Hoare-2/+2
2011-05-14Remove xfail-boot lines from testsBrian Anderson-1/+0
2011-05-12Fix mistaken replacements in error-pattern comments in testsMarijn Haverbeke-8/+8
2011-05-12Downcase std modules again, move to :: for module dereferencingMarijn Haverbeke-8/+8
2011-05-03Assume xfail-stage0 implies stage1 and stage2 in tests, for now.Graydon Hoare-0/+18
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ...Patrick Walton-8/+8
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-8/+8
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-8/+8
2011-04-19Remove effect system from src.Graydon Hoare-1/+1
2011-03-25Switch xfail system to use comments embedded in source files.Graydon Hoare-0/+10
2010-12-02Add test for non-exhaustive match failure.Graydon Hoare-0/+15
2010-11-02First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare-1/+1
2010-09-07Small updates to test cases.Michael Bebenita-0/+3
2010-08-24Implemented an lock free queue based on this paper http://www.cs.rochester.ed...Michael Bebenita-0/+26
2010-07-26Move the test suite to the "as" form for casts. XFAIL a few tests for LLVM.Patrick Walton-2/+2
2010-06-23Populate tree.Graydon Hoare-0/+79