about summary refs log tree commit diff
path: root/src/test/compile-fail/not-a-pred-3.rs
AgeCommit message (Collapse)AuthorLines
2012-01-13Remove tests for objs, adjust tests that use objsMarijn Haverbeke-13/+0
2011-08-20ReformatBrian Anderson-1/+1
This changes the indexing syntax from .() to [], the vector syntax from ~[] to [] and the extension syntax from #fmt() to #fmt[]
2011-07-27Fix damage done by the pretty-printerMarijn Haverbeke-1/+2
2011-07-27Reformat for new syntaxMarijn Haverbeke-7/+5
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/+1
2011-05-05Check well-formedness of constraintsTim Chevalier-0/+15
Check that the operand in a constraint is an explicit name, and that the operands are all local variables or literals. Still need to check that the name refers to a pure function.