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

Age	Commit message (Collapse)	Author	Lines
2011-08-16	Port the tests to the typaram foo<T> syntax.	Erick Tryzelaar	-1/+1

2011-08-12	Convert most working tests to ivecs	Brian Anderson	-3/+3
	I tried to pay attention to what was actually being tested so, e.g. when I test was just using a vec as a boxed thing, I converted to boxed ints, etc. Haven't converted the macro tests yet. Not sure what to do there.
2011-08-12	Remove std::vec	Brian Anderson	-2/+0

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

2011-06-15	Reformat source tree (minus a couple tests that are still grumpy).	Graydon Hoare	-14/+7

2011-05-20	Un-XFAIL some tests that now pass.	Tim Chevalier	-1/+0

2011-05-17	Finally rename std::_xxx to std::xxx	Marijn Haverbeke	-1/+1
	Except for _task, which is still a keyword.
2011-05-16	Update a couple tests that slipped through.	Graydon Hoare	-1/+1

2011-05-16	Started adding support for return checking and non-returning function ↵	Tim Chevalier	-0/+25
	annotations * Reorganized typestate into several modules. * Made typestate check that any function with a non-nil return type returns a value. For now, the check is a warning and not an error (see next item). * Added a "bot" type (prettyprinted as _\|_), for constructs like be, ret, break, cont, and fail that don't locally return a value that can be inspected. "bot" is distinct from "nil". There is no concrete syntax for _\|_, while the concrete syntax for the nil type is (). * Added support to the parser for a ! annotation on functions whose result type is _\|_. Such a function is required to have either a fail or a call to another ! function that is reached in all control flow paths. The point of this annotation is to mark functions like unimpl() and span_err(), so that an alt with a call to err() in one case isn't a false positive for the return-value checker. I haven't actually annotated anything with it yet. * Random bugfixes: * * Fixed bug in trans::trans_binary that was throwing away the cleanups for nested subexpressions of an and or or (tests: box-inside-if and box-inside-if2). ** In typeck, unify the expected type arguments of a tag with the actual specified arguments.