about summary refs log tree commit diff
path: root/src/test/compile-fail/fn-constraint.rs
AgeCommit message (Collapse)AuthorLines
2012-07-14remove typestate from code, tests, and docsNiko Matsakis-10/+0
2012-02-23Finish cleanup of core::strMarijn Haverbeke-1/+2
Closes #1849
2012-02-01Rename (again) str::unsafe::slice -> str::unsafe::slice_bytes andKevin Cantu-1/+1
str::unsafe::safe_slice -> str::unsafe::slice_bytes_safe_range
2012-02-01Propagating unsafe::slice 4Kevin Cantu-2/+2
2011-12-22Register new snapshots, purge log_err and log_full in favour of log(...).Graydon Hoare-1/+1
2011-12-22Register snapshots and switch logging over to use of log_full or #error / ↵Graydon Hoare-1/+1
#debug.
2011-12-13Copy first batch of material from libstd to libcore.Graydon Hoare-1/+1
2011-09-02Reformat. Issue #855Brian Anderson-1/+1
2011-09-01Rename std::istr to std::str. Issue #855Brian Anderson-1/+1
2011-08-31Start paring down std::str. Issue #855Brian Anderson-3/+3
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-27Reformat for new syntaxMarijn Haverbeke-3/+3
2011-06-21Serialize constraints in types (literal arguments still not supported)Tim Chevalier-0/+9
This involved, in part, changing the ast::def type so that a def_fn has a "purity" field. This lets the typechecker determine whether functions defined in other crates are pure. It also required updating some error messages in tests. As a test for cross-crate constrained functions, I added a safe_slice function to std::str (slice(), with one of the asserts replaced with a function precondition) and some test cases (various versions of fn-constraint.rs) that call it. Also, I changed "fn" to "pred" for some of the boolean functions in std::uint.