rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2011-08-25	Change "pred" to "pure fn" in all libraries and test cases	Tim Chevalier	-1/+1

2011-08-20	Reformat	Brian 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-27	Fix damage done by the pretty-printer	Marijn Haverbeke	-1/+2

2011-07-27	Reformat for new syntax	Marijn Haverbeke	-4/+4

2011-07-13	Prohibit trailing whitespace under 'tidy' script. Clean up all caught cases.	Graydon Hoare	-1/+1

2011-06-21	Serialize constraints in types (literal arguments still not supported)	Tim Chevalier	-1/+1
	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.
2011-05-20	Un-XFAIL some tests that now pass.	Tim Chevalier	-1/+0

2011-05-14	Remove xfail-boot lines from tests	Brian Anderson	-1/+0

2011-05-05	Test cases for pred / check stuff	Tim Chevalier	-0/+1

2011-05-05	Check well-formedness of constraints	Tim Chevalier	-0/+11
	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.