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

Age	Commit message (Collapse)	Author	Lines
2012-01-06	Add some basic comments to trans_imp.rs	Marijn Haverbeke	-0/+30

2012-01-06	Make binding of fns with bounded type parameters work	Marijn Haverbeke	-5/+15
	Interns non-static dicts to heap-allocated equivalents so that they no longer have stack scope. Closes #1436
2012-01-06	Support interface casting in the typechecker	Marijn Haverbeke	-6/+34
	Issue #1437
2012-01-06	Statically allocate static dicts	Marijn Haverbeke	-24/+109
	Issue #1436
2012-01-06	Fix bug in method type parameter passing	Marijn Haverbeke	-5/+5
	It would occasionally pass the wrong type parameter, when calling a generic method from a generic impl on a bounded param type.
2012-01-05	rustc: Allow the test runner to run unexported tests	Brian Anderson	-7/+29

2012-01-05	Use precise return type to allocate retslot in trans_args	Marijn Haverbeke	-4/+11
	Using type_of_or_i8 did, predictably, allocate an i8 for a type parameter, which leads to memory corruption and general confusion. Closes #1443
2012-01-05	require a non-semi expr acting as a stmt to have unit return type	Niko Matsakis	-17/+23

2012-01-05	Merge branch 'master' into kmath	Stefan Plantikow	-12/+8
	Conflicts: src/libcore/float.rs
2012-01-05	Moved generic float::min, max to core::math and cleaned up some imports	Stefan Plantikow	-1/+1

2012-01-05	Switch to new param kind bound syntax	Marijn Haverbeke	-6/+6
	And remove support for the old syntax
2012-01-05	Clean up some FIXMEs related to impls	Marijn Haverbeke	-6/+2

2012-01-05	Get external interfaces / impls working	Marijn Haverbeke	-8/+13
	Issue #1227
2012-01-05	Write the iface type of an impl in the crate data	Marijn Haverbeke	-101/+84
	Also, move checking of ifaces into the collect phase of typeck to give further passes some guarantees. Issue #1227
2012-01-05	Remove ty::bind_params_in_type	Marijn Haverbeke	-56/+20
	It does nothing that substitute_type_params can't do better.
2012-01-05	Add more item types to the ast_map so the test suite can build with debug info.	Josh Matthews	-1/+9

2012-01-04	Use the right types for methods in trans_impl	Marijn Haverbeke	-12/+5
	This prevents misalignment between function and argument types in corner cases.
2012-01-04	Reformat typestate error messages so as not to confuse emacs compilation mode	Tim Chevalier	-3/+5

2012-01-04	Prevent typenames in param bounds from resolving to their own param	Marijn Haverbeke	-19/+38
	I.e. fn foo<T: seq<T>>(...). This leads to weird circularities that seem to never make any sense, so it seems prudent to forbid it. Issue #1227
2012-01-04	Add visit_ty_params to visit.rs	Marijn Haverbeke	-21/+6
	And use it to make typechecking of bounds less error-prone.
2012-01-04	Properly typecheck and compile invocations of generic methods.	Marijn Haverbeke	-163/+225
	Aligning the type parameters of the ifaces, impls, and methods correctly in typeck is almost brain surgery. Seems to work now for everything I threw at it, but might still break in other corner cases. Issue #1227
2012-01-03	Add missing ty_constr cases to trans::type_of_inner and ty::fold_ty.	Tim Chevalier	-0/+11
	Closes #970
2012-01-03	Allow tail expressions even in no_value blocks. Type checker	Niko Matsakis	-13/+28
	will guarantee they have unit type.
2012-01-03	Merge pull request #1392 from Lenny222/list	Brian Anderson	-2/+6
	list: add "is_not_empty" requirement to "head" and "tail" (analogous to "vec")
2012-01-03	Make resolution of dictionaries on bounded params work	Marijn Haverbeke	-6/+11
	Issue #1227
2012-01-03	Wire in resolution of param bounds for method calls	Marijn Haverbeke	-15/+39
	Issue #1227
2012-01-03	More work on translating dictionary-passing	Marijn Haverbeke	-158/+381
	Reached a point where simple uses of interfaces without bounds work. Issue #1227
2012-01-02	Properly handle expression blocks in kind.rs	Marijn Haverbeke	-3/+10
	It was only noticing them in expr_block form, not as function bodies. Closes #1390
2012-01-02	Write out vtables for interface implementations	Marijn Haverbeke	-13/+78
	Issue #1227
2012-01-02	Drop two useless sub-passes from trans	Marijn Haverbeke	-98/+59
	Neither collect_tag_ctors nor the second pass in collect_items needed to be separate passes. Also remove obsolete obj_methods table kludge.
2012-01-02	Create a trans_impl module	Marijn Haverbeke	-16/+19

2012-01-02	Key tcx.ty_param_bounds on node_ids, not def_ids	Marijn Haverbeke	-8/+10
	This makes it clearer that it's only valid for local nodes.
2012-01-02	Box arrays of parameter bounds	Marijn Haverbeke	-37/+36

2012-01-02	Pass bounds to trans::type_of_fn	Marijn Haverbeke	-50/+65

2012-01-02	More resolving and typechecking of bounded type parameters.	Marijn Haverbeke	-55/+210
	Extern interfaces still don't get recognized. Issue #1227
2012-01-02	Check that type parameter bounds are interface types	Marijn Haverbeke	-33/+73
	Issue #1227
2012-01-02	Make last-use pass properly handle closed-over variables	Marijn Haverbeke	-3/+18
	Closes #1399
2012-01-01	freebsd support	User Jyyou	-0/+2

2011-12-29	split proto from fn_decl, as not all fn_decls know the proto.	Niko Matsakis	-105/+114
	this will address the (crashing) new test added.
2011-12-29	list: use predicate to enforce non-empty requirement	Lenny222	-2/+6

2011-12-29	Box ty_param_bounds_and_ty	Marijn Haverbeke	-21/+21
	It contains a vector, which shouldn't be copied all the time.
2011-12-28	On second thought, re-land pull request #1385 with backquotes; easier to ↵	Graydon Hoare	-27/+27
	grep, can change in the future.
2011-12-28	Merge pull request #1385 from Lenny222/quotes	Graydon Hoare	-29/+32
	Use singlequotes in the typechecker error messages too, to distinguish code and English
2011-12-28	Move the kind datatype to middle::ty	Marijn Haverbeke	-22/+53
	The AST no longer references it.
2011-12-28	Change representation of type params to handle interface bounds	Marijn Haverbeke	-96/+151
	Issue #1227
2011-12-28	Made matching machine types equal to float, int, uint (fixes #1376)	Stefan Plantikow	-1/+22

2011-12-25	Use singlequotes in the typechecker too, to distinguish code and English	Lenny222	-29/+32

2011-12-23	Go back to a single visit_fn function in visit.rs	Marijn Haverbeke	-52/+54

2011-12-23	Get rid of visit_fn_block in visit.rs	Marijn Haverbeke	-12/+1
	It seems redundant and error-prone.
2011-12-23	Check impls methods against the type of their iface.	Marijn Haverbeke	-34/+77