about summary refs log tree commit diff
path: root/src/test/compile-fail/impure-pred.rs
AgeCommit message (Expand)AuthorLines
2011-09-12Pretty-print for new arg-mode syntaxMarijn Haverbeke-1/+1
2011-08-25Change "pred" to "pure fn" in all libraries and test casesTim Chevalier-1/+1
2011-08-20ReformatBrian Anderson-1/+1
2011-07-27Reformat for new syntaxMarijn Haverbeke-8/+5
2011-07-13Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.Graydon Hoare-2/+2
2011-06-21Serialize constraints in types (literal arguments still not supported)Tim Chevalier-1/+1
2011-05-20Un-XFAIL some tests that now pass.Tim Chevalier-1/+0
2011-05-14Remove xfail-boot lines from testsBrian Anderson-1/+0
2011-05-05Test cases for pred / check stuffTim Chevalier-0/+17
2011-04-19Remove effect system from src.Graydon Hoare-21/+0
2011-03-25Switch xfail system to use comments embedded in source files.Graydon Hoare-0/+1
2010-11-02First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare-1/+1
2010-07-16Ensure that functions that should return a value do; issue 41Patrick Walton-0/+1
2010-06-23Populate tree.Graydon Hoare-0/+19