about summary refs log tree commit diff
path: root/src/test/run-fail
AgeCommit message (Expand)AuthorLines
2011-08-02 In trans, don't assume both sides of a binop have the same typeTim Chevalier-0/+6
2011-08-02Pretty-print test the rfail tests. Issue #789Brian Anderson-0/+2
2011-07-27Fix damage done by the pretty-printerMarijn Haverbeke-8/+40
2011-07-27Reformat for new syntaxMarijn Haverbeke-145/+57
2011-07-22Add xfail-stage3 directives to testsBrian Anderson-0/+2
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-6/+6
2011-07-11Visit the type argument in a port expressionTim Chevalier-0/+16
2011-07-05Handle fail inside a for-each loop properlyTim Chevalier-0/+16
2011-07-03Un-XFAIL fail-argTim Chevalier-4/+2
2011-07-03Handle fail as an argument; parse fail expressions unambiguouslyTim Chevalier-0/+9
2011-07-03Manipulate contexts correctly in trans_fail_exprTim Chevalier-0/+9
2011-07-03XFAILing the new test case...Tim Chevalier-0/+2
2011-07-02Generate code properly for calls with _|_ - typed argumentsTim Chevalier-0/+9
2011-07-02Allow any string expression to be used with fail.Josh Matthews-3/+8
2011-06-29Add a runtime flag to enable/disable claims en masseTim Chevalier-0/+1
2011-06-28Implement "claim"Tim Chevalier-0/+16
2011-06-25Remove variable name 'res' from test suiteMarijn Haverbeke-1/+1
2011-06-22test: Enable more testsBrian Anderson-3/+0
2011-06-21Serialize constraints in types (literal arguments still not supported)Tim Chevalier-0/+11
2011-06-17test: Fix mismatched types in prep for typechecker fixesBrian Anderson-3/+3
2011-06-16Bring back if-checkTim Chevalier-0/+26
2011-06-15Reformat source tree (minus a couple tests that are still grumpy).Graydon Hoare-133/+99
2011-06-14Un-xfail test/run-fail/pred.rsTim Chevalier-6/+3
2011-06-14Un-xfail working test casesTim Chevalier-6/+2
2011-06-14Add xfail-stage0 to some tests (not sure if it matters...)Tim Chevalier-0/+1
2011-06-11test: Add tests for issue #452Brian Anderson-0/+35
2011-06-10Use RHS type when translating assignmentsTim Chevalier-0/+9
2011-06-08Add optional message to fail.Josh Matthews-0/+5
2011-05-31rustc: Teach rustc to use block results as fn return values. Closes #372Brian Anderson-0/+8
2011-05-27Change the syntax for RECV from "var <- port" to "port |> var".Michael Sullivan-4/+4
2011-05-27Remove parser support for recv as an initializer in preparation for changing ...Michael Sullivan-1/+1
2011-05-26Make _|_ unify with anythingTim Chevalier-0/+21
2011-05-24test: Fix run-fail testing and bring tests up to dateBrian Anderson-20/+2
2011-05-21rustc: Allow if expressions to failBrian Anderson-0/+12
2011-05-21rustc: Allow alt expressions to failBrian Anderson-0/+13
2011-05-20XFAIL two tests for stage0Tim Chevalier-0/+1
2011-05-20Added a couple of test cases for sending messages. One works as expected, the...Eric Holk-0/+14
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 22:42:27 +0000