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

Age	Commit message (Collapse)	Author	Lines
2011-06-10	rustc: Add missing cases for istr and ivec to equal_type_structures()	Patrick Walton	-0/+12

2011-06-10	Fix a non-exhaustive match failure.	Lindsey Kuper	-0/+1

2011-06-10	Merge pull request #447 from paulstansifer/quick_error_message_fix	Patrick Walton	-2/+25
	Error message, instead of segfault, when recursive types are used.
2011-06-10	rustc: Remove the bitwise not operator	Patrick Walton	-14/+10

2011-06-10	Dead code elimination.	Lindsey Kuper	-27/+0

2011-06-10	Minimal comment for visit.rs	Marijn Haverbeke	-1/+7

2011-06-10	Move some uses of walk to visit in trans.rs	Marijn Haverbeke	-75/+46

2011-06-10	Handle mutable references in alias analysis	Marijn Haverbeke	-32/+78

2011-06-10	Fix unsafe uses of mutable references	Marijn Haverbeke	-23/+25

2011-06-10	Implement mutable/immutable alias distinction.	Marijn Haverbeke	-64/+98
	Before, all aliases were implicitly mutable, and writing &mutable was the same as writing &. Now, the two are distinguished, and assignments to regular aliases are no longer allowed.
2011-06-10	Fix all occurrences of writing to immutable aliases	Marijn Haverbeke	-16/+17
	You'd be surprised.
2011-06-09	Sketching trans_anon_obj.	Lindsey Kuper	-7/+219

2011-06-09	Revert "Encode meta tags in the crate and start sketching enhanced logic for ↵	Patrick Walton	-147/+36
	resolving crate "use" directives." due to tree bustage This reverts commit ab3635eebef2b8cf0e19cdbc5b4e8dd7a49a4658.
2011-06-09	rustc: Write interior vecs and strings into the metadata and add logic for ↵	Patrick Walton	-15/+21
	them in ty_to_str
2011-06-09	Encode meta tags in the crate and start sketching enhanced logic for ↵	Graydon Hoare	-36/+147
	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	-45/+111
	or lack thereof
2011-06-09	rustc: Add ty_istr and ty_ivec types	Patrick Walton	-25/+42

2011-06-09	rustc: Parse istr and ivec	Patrick Walton	-0/+8

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	-609/+969
	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/+399
	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	Some more workarounds to please the alias checker	Marijn Haverbeke	-1/+2
	Some of the vec utilities now only work on immutable vecs, since they would have to be rewritten to do a lot more copying to be alias-safe. Some forced copying was added to map.rs, showing a weakness in the alias checker (or maybe the alias system): when fn args are passed into a function, calling them must assume all aliases that are not immutably rooted (directly connected to a local or temporary without any mutable edges) become invalid. This will be a drag on functional programming in Rust. Work around alias issues in the stdlib
2011-06-09	Add new visitor framework	Marijn Haverbeke	-0/+382

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	Tidy up 'export meta' situation now that snapshot understands it.	Graydon Hoare	-5/+8

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	-2/+7
	Update rust to build with newer llvm versions.
2011-06-08	Update rust to build with newer llvm versions.	Rafael Ávila de Espíndola	-2/+7

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	-13/+36

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	-1179/+1075
	ty_local. Sorry, big perf regression; will fix soon.