about summary refs log tree commit diff
path: root/src/test/compile-fail/impure-pred.rs
AgeCommit message (Expand)AuthorLines
2012-07-14remove typestate from code, tests, and docsNiko Matsakis-14/+0
2012-06-30change the test suite `//! kind` syntax to `//~ kind` in order to avoid aGareth Daniel Smith-1/+1
2012-05-30integrate purity into typeNiko Matsakis-1/+1
2012-05-23shuffle error messages in borrowck, and prevent it from spewing too manyNiko Matsakis-1/+1
2012-05-23modify borrowck to allow arbitrary borrows in pure scopesNiko Matsakis-2/+4
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