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

Age	Commit message (Collapse)	Author	Lines
2011-06-09	rustc: Write interior vecs and strings into the metadata and add logic for ↵	Patrick Walton	-0/+2
	them in ty_to_str
2011-06-09	Encode meta tags in the crate and start sketching enhanced logic for ↵	Graydon Hoare	-0/+36
	resolving crate "use" directives.
2011-06-09	rustc: Report type errors in terms of the actual types involved, not type ↵	Patrick Walton	-2/+13
	variables
2011-06-09	rustc: Annotate vector and string literals in the AST with their uniqueness ↵	Patrick Walton	-13/+51
	or lack thereof
2011-06-09	rustc: Add ty_istr and ty_ivec types	Patrick Walton	-22/+39

2011-06-09	Improve error message for wrong number of type arguments	Tim Chevalier	-4/+12
	Improve error message in the case where a use of a polymorphic tag has insufficient type arguments given. Before, the typechecker was just crashing with a bounds check error.
2011-06-09	rustc: Remove comment dating back to the rustboot days from typeck	Patrick Walton	-1/+1

2011-06-09	rustc: Remove all calls to resolve_all_vars and the function itself	Patrick Walton	-27/+1

2011-06-09	rustc: Remove the call to resolve_all_vars when typechecking field exprs	Patrick Walton	-2/+0

2011-06-09	rustc: Unify with the root types	Patrick Walton	-2/+3

2011-06-09	Fix double import that now somehow gets caught by resolve	Marijn Haverbeke	-2/+0

2011-06-09	Switch resolve pass to use visit.rs rather than walk.rs	Marijn Haverbeke	-145/+94

2011-06-09	Pass ty params to visit::visit_fn	Marijn Haverbeke	-19/+50

2011-06-09	Improve an error message in resolve	Tim Chevalier	-3/+10

2011-06-09	Start to check expr_check and expr_call constraints in typestate	Tim Chevalier	-3/+61
	Start writing the cases for expr_check and expr_call to take predicates into account, but this isn't working yet.
2011-06-09	Further support for predicate constraints	Tim Chevalier	-351/+384
	Changed function types to include a list of constraints. Added code for parsing and pretty-printing constraints. This necessitated splitting pprust into two files (pprust and ppaux) to break a circulate dependency, as ty_to_str now needs to print out constraints, which may include literals, but pprust depended on ty.
2011-06-09	rustc: Add fast paths for vars and param folds. 3x typechecking speedup.	Patrick Walton	-61/+70

2011-06-09	rustc: Don't resolve all type variables eagerly for paths	Patrick Walton	-18/+25

2011-06-09	Properly handle lifetime of aliases in nested blocks	Marijn Haverbeke	-18/+41
	There was a bug that would cause the alias analyser to allow you to invalidate an alias that was no longer directly referred to, even if another alias was rooted in it. It now properly tracks dependencies between live aliases. Required another case of copying values in map.rs.
2011-06-09	A revised, improved alias-checker	Marijn Haverbeke	-150/+395
	The old system tried to ensure that the location an alias pointed at would retain its type. That turned out to not be strong enough in the face of aliases to the inside of tags. The new system instead proves that values pointed to by aliases are not replaced (or invalidated in some other way) at all. It knows of two sufficient conditions for this, and tries to prove at least of them: A) The alias is 'immutably rooted' in a local, and this local is not reassigned for the lifetime of the alias. Immutably rooted means the alias refers to the local itself, or to something reachable from the local through immutable dereferencing. B) No value whose type might include the type of the 'inner mutable element' of the thing the alias refers to (for example, the box in rec(mutable x = @mutable int)) is from the outer scope is accessed for the lifetime of the alias. This means for functions, no other argument types may include the alias's inner mutable type. For alt, for each, and for, it means the body does not refer to any locals originating from outside their scope that include this type. The lifetime of an alias in an alt, for each, or for body is defined as the range from its definition to its last use, not to the point where it goes out of scope. This makes working around these restrictions somewhat less annoying. For example, you can assign to your alt-ed value you don't refer to any bindings afterwards.
2011-06-09	Add new visitor framework	Marijn Haverbeke	-0/+381

2011-06-08	rustc: Don't eagerly resolve type variables after unification	Patrick Walton	-40/+59

2011-06-08	rustc: Make resolve_all_vars() check to see whether the type actually has ↵	Patrick Walton	-14/+7
	vars before folding over it; also remove some debug code. 2x typechecking speedup.
2011-06-08	rustc: Don't generate so many variables when typechecking functions; remove ↵	Patrick Walton	-50/+51
	mo_either
2011-06-08	rustc: Use cnames in ty_to_str again; debugging code crept in	Patrick Walton	-6/+4

2011-06-08	rustc: Add some miscellaneous demands that pushdown had previously caught; ↵	Patrick Walton	-1/+13
	put out burning tinderbox
2011-06-08	rustc: Remove pushdown. 15 second improvement.	Patrick Walton	-443/+30

2011-06-08	Merge pull request #403 from espindola/newllvm	Graydon Hoare	-0/+6
	Update rust to build with newer llvm versions.
2011-06-08	Update rust to build with newer llvm versions.	Rafael Ávila de Espíndola	-0/+6

2011-06-08	rustc: Remove all traces of the unification cache	Patrick Walton	-60/+0

2011-06-08	Don't force the fetch of main.o from main.a, we are not using main.a anymore.	Rafael Ávila de Espíndola	-11/+0

2011-06-08	Add optional message to fail.	Josh Matthews	-8/+17

2011-06-07	rustc: Print out a real error message on unresolved types. Puts out burning ↵	Patrick Walton	-26/+36
	tinderbox.
2011-06-07	rustc: Use a set-based approach to unification; remove ty_bound_param and ↵	Patrick Walton	-1178/+1074
	ty_local. Sorry, big perf regression; will fix soon.
2011-06-07	More work on proper linkage name-mangling. Almost right, aside from version ↵	Graydon Hoare	-119/+72
	numbers.
2011-06-07	For consistency, use ctxt instead of ty_ctxt outside of unify.	Lindsey Kuper	-17/+17

2011-06-07	Removing dead code and redundant fails; changing fails to sess.bug	Lindsey Kuper	-157/+92
	calls (issue #444).
2011-06-07	Don't put a copy of main (the C one) in each binary we produce. This is a step	Rafael Ávila de Espíndola	-56/+29
	in getting a driver that works on all linux systems. Sorry for the linker hacks, I will remove them after snapshotting a new compiler.
2011-06-06	Begin tidying up name-mangling rules.	Graydon Hoare	-58/+66

2011-06-06	Implement enough support for pointer to get an identity function working.	Rafael Ávila de Espíndola	-0/+6

2011-06-06	First take on an alias-safety checker	Marijn Haverbeke	-0/+255
	The alias checker works by ensuring that any value to which an alias is created is rooted in some way that ensures it outlives the alias. It is now disallowed to create an alias to the content of a mutable box, or to a box hanging off a mutable field. There is also machinery in place to prevent assignment to local variables whenever they are the root of a live alias.
2011-06-06	Change unsafe aliases	Marijn Haverbeke	-48/+53
	This litters aberrations like 'alt({foo.bar}) { ... }' and f({*baz}) though the code (mostly in trans.rs). These are a way to explicitly copy the given value so that it can be safely aliased. At some point we'll probably want a more explicit copy operator.
2011-06-05	rustc: Make resolve::unresolved return !. Remove redundant fails	Brian Anderson	-8/+1

2011-06-04	Adding comments; removing dead code.	Lindsey Kuper	-12/+18

2011-06-04	Remove redundant 'fail' exprs and dead code; use sess.bug or	Lindsey Kuper	-67/+27
	sess.span_err instead of 'fail'. (issue #444)
2011-06-03	More comments.	Lindsey Kuper	-0/+17

2011-06-03	Comments and cleanup.	Lindsey Kuper	-31/+64

2011-06-03	Add spans to fields, args, methods. Improve pp of same.	Graydon Hoare	-15/+15

2011-06-03	Boilerplate for pointers. Sorry for missing this on the first patch.	Rafael Ávila de Espíndola	-0/+20

2011-06-02	Removing redundant "fail"s.	Lindsey Kuper	-19/+8