rust - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Un-revert "Use different syntax for checks that matter to typestate", fixing ↵	Patrick Walton	2011-05-02	1	-1/+1
\| \| \| \| \| \|	the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
*	Revert "Use different syntax for checks that matter to typestate"	Graydon Hoare	2011-05-02	1	-1/+1
\| \| \| \|	This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
*	Use different syntax for checks that matter to typestate	Tim Chevalier	2011-05-02	1	-1/+1
\| \| \| \| \| \| \| \| \| \|	This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc.
*	Make block results work for generic types	Brian Anderson	2011-04-07	1	-0/+23
	I think just about every type can be used as a block result now. There's quite a proliferation of tests here, but they all test slightly different things and some are split out to remain XFAILed. The tests of generic vectors are still XFAILed because generic aliased boxes still don't work in general.