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

Age	Commit message (Collapse)	Author	Lines
2011-05-26	Remove residual uses of fold, and fold itself.	Graydon Hoare	-1/+0

2011-05-20	rustc: Move the interner to a new module intended to be used for general ↵	Patrick Walton	-1/+1
	data structures
2011-05-19	Remove type_glue.rs, don't think it's going to work.	Graydon Hoare	-1/+0

2011-05-16	Rename aux.rs to auxiliary.rs since win32 doesn't like files named "aux". ↵	Graydon Hoare	-3/+2
	Really.
2011-05-16	Started adding support for return checking and non-returning function ↵	Tim Chevalier	-2/+13
	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.
2011-05-16	rustc: Factor out the code that interns types into an "interner" data structure	Patrick Walton	-0/+1

2011-05-13	rustc: lowercase the link and link::write modules	Brian Anderson	-1/+1

2011-05-13	Slight adjustments to shape, rename to type_glue.rs.	Graydon Hoare	-1/+1

2011-05-13	Make the parser more careful about keywords	Marijn Haverbeke	-1/+1
	Keywords are now only recognized in contexts where they are valid. The lexer no longer recognizes them, all words are lexed as IDENT tokens, that get interpreted by the parser.
2011-05-13	Move capture checking into resolve.rs	Marijn Haverbeke	-1/+0
	Drops capture.rs. The new algorithm also checks for captures function arguments and obj fields.
2011-05-12	rustc: Beginnings of a "shape" module to convert types to shapes	Patrick Walton	-0/+1

2011-05-12	Downcase std modules again, move to :: for module dereferencing	Marijn Haverbeke	-5/+5
	This should be a snapshot transition.
2011-05-10	Add meta info to rustc.rc	Brian Anderson	-0/+6

2011-05-09	rustc: Declare upcalls with real signatures; preparation for killing ↵	Patrick Walton	-0/+1
	rust_native_rust_* stubs
2011-05-05	rustc: Add a Link module; move crate writing to it to slim down trans slightly	Patrick Walton	-0/+1

2011-05-04	Add #env syntax extension for plucking strings out of the compilation ↵	Graydon Hoare	-0/+1
	environment.
2011-04-20	Change collect_upvars from using fold to using walk	Marijn Haverbeke	-0/+1

2011-04-19	rustc: Cache the results of type_of()	Patrick Walton	-16/+16

2011-04-19	Remove effect system from src.	Graydon Hoare	-26/+0

2011-04-11	Implement the "attempted dynamic environment-capture" error in rustc.	Rafael Ávila de Espíndola	-0/+1

2011-04-09	Move to single-uint file-position representation.	Marijn Haverbeke	-0/+1
	This makes passing them around cheaper. There is now a table (see front/codemap.rs) that is needed to transform such an uint into an actual filename/line/col location. Also cleans up the span building in the parser a bit.
2011-04-08	Implemented computing prestates and poststates for a few expression forms.	Tim Chevalier	-0/+4
	The typestate checker (if it's uncommented) now correctly rejects a trivial example program that has an uninitialized variable.
2011-04-07	Revise EBML reader API	Marijn Haverbeke	-0/+2
	New one is less stateful, easier to work with.
2011-04-06	Continued sketching out code for checking states against preconditions.	Tim Chevalier	-1/+5
	It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway.
2011-04-06	More work on typestate. Sketched out code for computing and checking ↵	Tim Chevalier	-0/+2
	prestates and poststates. Still a long ways away.
2011-04-01	Re-enable typestate_check in build, was lost during merge. Sorry.	Graydon Hoare	-0/+1

2011-04-01	rustc: Get tag variants from the crate metadata	Patrick Walton	-0/+1

2011-04-01	Started adding support for typestate checking.	Tim Chevalier	-0/+3
	I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet.
2011-03-31	rustc: Write out an index of definition info in crate metadata	Patrick Walton	-0/+2

2011-03-31	Tweak build command on rustc.	Graydon Hoare	-1/+1

2011-03-29	Teach trans to emit undefined references to 'use'd symbols. Can compile and ↵	Graydon Hoare	-0/+1
	run a simple 'use std;' example now.
2011-03-28	Move all allocas to dedicated basic block at top of function, to keep frames ↵	Graydon Hoare	-0/+2
	finite. Un-comment next size in nbody.rs.
2011-03-28	rustc: Parse types in external metadata	Patrick Walton	-0/+2

2011-03-25	rustc: Look up names in "use"d crates	Patrick Walton	-0/+1

2011-03-24	rustc: Open "use"d crates; add a _vec.vec_from_buf() method along the way; ↵	Patrick Walton	-0/+1
	XFAIL use-import-export.rs in rustc
2011-03-23	rustc: Switch over to using rustllvm.dll exclusively, ending the ↵	Patrick Walton	-12/+6
	"Franken-LLVM" problem
2011-03-16	Revert 6fdb81fa17b3c7147a69edc5217c9f93ff485410, it is causing failures in	Rafael Ávila de Espíndola	-1/+0
	the bots.
2011-03-15	rustc: Open "use"d crates with the LLVM object file reader	Patrick Walton	-0/+1

2011-03-15	rustc: Add a stub crate reader module for "use" directives	Patrick Walton	-0/+1

2011-03-15	Append 'svn' to version in dll name, hopefully to bring win32 up again.	Graydon Hoare	-1/+1

2011-03-15	rustc: Add Rust bindings to the LLVM object file library	Patrick Walton	-3/+9

2011-03-14	Bump LLVM version strings to 3.0svn, we're effectively tied to it now anyways.	Graydon Hoare	-3/+3

2011-03-11	rustc: Add some stub metadata to each crate	Patrick Walton	-0/+2

2011-03-09	Have the pretty-printer take a writer stream as argument	Marijn Haverbeke	-0/+1
	It now uses a string writer to also fill in for middle.ty.ast_ty_to_str
2011-03-07	Remove old pretty-printer from rustc	Brian Anderson	-1/+0

2011-03-07	Add a pretty-printer	Marijn Haverbeke	-0/+5
	Adds a -pp option to the compiler which will cause it to simply pretty-print the given file.
2011-03-02	Begin an AST pretty-printer	Brian Anderson	-0/+1

2011-03-02	Begin implementing #fmt in rustc	Brian Anderson	-0/+1

2011-02-24	Factor crate expr evaluator out of parser, expand to simple scalars and ops, ↵	Graydon Hoare	-1/+1
	if, alt.
2011-01-21	Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ↵	Graydon Hoare	-0/+2
	in trans.rs