git.lizzy.rs Git - rust.git/history - src/comp/middle/ty.rs

]> git.lizzy.rs Git - rust.git/history - src/comp/middle/ty.rs

[rust.git] / src / comp / middle / ty.rs

2012-01-08	Marijn Haverbeke	First barely-working version of casting to iface	blob \| commitdiff \| raw
2012-01-07	Niko Matsakis	rejigger impl to have an opaque closure ptr rather...	blob \| commitdiff \| raw \| diff to current
2012-01-07	Niko Matsakis	collapse sizeof, alignof into metrics, pass along an...	blob \| commitdiff \| raw \| diff to current
2012-01-07	Niko Matsakis	make size_of and align_of take an optional value	blob \| commitdiff \| raw \| diff to current
2012-01-05	Niko Matsakis	require a non-semi expr acting as a stmt to have unit...	blob \| commitdiff \| raw \| diff to current
2012-01-05	Graydon Hoare	Merge pull request #1440 from boggle/kmath	blob \| commitdiff \| raw \| diff to current
2012-01-05	Stefan Plantikow	Merge branch 'master' into kmath	blob \| commitdiff \| raw \| diff to current
2012-01-05	Stefan Plantikow	Moved generic float::min, max to core::math and cleaned...	blob \| commitdiff \| raw \| diff to current
2012-01-05	Stefan Plantikow	Merge branch 'master' into kmath	blob \| commitdiff \| raw \| diff to current
2012-01-05	Marijn Haverbeke	Switch to new param kind bound syntax	blob \| commitdiff \| raw \| diff to current
2012-01-05	Marijn Haverbeke	Get external interfaces / impls working	blob \| commitdiff \| raw \| diff to current
2012-01-05	Marijn Haverbeke	Write the iface type of an impl in the crate data	blob \| commitdiff \| raw \| diff to current
2012-01-05	Marijn Haverbeke	Remove ty::bind_params_in_type	blob \| commitdiff \| raw \| diff to current
2012-01-05	Stefan Plantikow	Merge branch 'master' into kmath	blob \| commitdiff \| raw \| diff to current
2012-01-04	Marijn Haverbeke	Properly typecheck and compile invocations of generic...	blob \| commitdiff \| raw \| diff to current
2012-01-03	Tim Chevalier	Add missing ty_constr cases to trans::type_of_inner...	blob \| commitdiff \| raw \| diff to current
2012-01-03	Brian Anderson	Merge pull request #1392 from Lenny222/list	blob \| commitdiff \| raw \| diff to current
2012-01-03	Marijn Haverbeke	Wire in resolution of param bounds for method calls	blob \| commitdiff \| raw \| diff to current
2012-01-02	Marijn Haverbeke	Key tcx.ty_param_bounds on node_ids, not def_ids	blob \| commitdiff \| raw \| diff to current
2012-01-02	Marijn Haverbeke	Box arrays of parameter bounds	blob \| commitdiff \| raw \| diff to current
2012-01-02	Marijn Haverbeke	Pass bounds to trans::type_of_fn	blob \| commitdiff \| raw \| diff to current
2012-01-02	Marijn Haverbeke	More resolving and typechecking of bounded type parameters.	blob \| commitdiff \| raw \| diff to current
2012-01-02	Marijn Haverbeke	Check that type parameter bounds are interface types	blob \| commitdiff \| raw \| diff to current
2011-12-29	Marijn Haverbeke	Box ty_param_bounds_and_ty	blob \| commitdiff \| raw \| diff to current
2011-12-28	Graydon Hoare	Merge pull request #1385 from Lenny222/quotes	blob \| commitdiff \| raw \| diff to current
2011-12-28	Graydon Hoare	Merge pull request #1389 from erickt/master	blob \| commitdiff \| raw \| diff to current
2011-12-28	Marijn Haverbeke	Move the kind datatype to middle::ty	blob \| commitdiff \| raw \| diff to current
2011-12-28	Marijn Haverbeke	Change representation of type params to handle interfac...	blob \| commitdiff \| raw \| diff to current
2011-12-28	Stefan Plantikow	Made matching machine types equal to float, int, uint...	blob \| commitdiff \| raw \| diff to current
2011-12-24	Graydon Hoare	Merge pull request #1377 from Lenny222/icu	blob \| commitdiff \| raw \| diff to current
2011-12-23	Marijn Haverbeke	Check impls methods against the type of their iface.	blob \| commitdiff \| raw \| diff to current
2011-12-23	Marijn Haverbeke	Parse `iface` items and interface references in `impl...	blob \| commitdiff \| raw \| diff to current
2011-12-23	Marijn Haverbeke	Use the same type of record in ty::ty_fn and ty::method	blob \| commitdiff \| raw \| diff to current
2011-12-22	Graydon Hoare	Merge branch 'master' of github.com:graydon/rust	blob \| commitdiff \| raw \| diff to current
2011-12-22	Graydon Hoare	Register snapshots and switch logging over to use of...	blob \| commitdiff \| raw \| diff to current
2011-12-22	Graydon Hoare	Merge branch 'master' of github.com:graydon/rust	blob \| commitdiff \| raw \| diff to current
2011-12-22	Marijn Haverbeke	Fix tag_var_cache to cache crate-external tags	blob \| commitdiff \| raw \| diff to current
2011-12-22	Marijn Haverbeke	Do not use == and != to compare ty::t values	blob \| commitdiff \| raw \| diff to current
2011-12-22	Marijn Haverbeke	Add ty::new_ty_hash, clean up comparing of ty::t's	blob \| commitdiff \| raw \| diff to current
2011-12-22	Marijn Haverbeke	Remove trivial cast checker	blob \| commitdiff \| raw \| diff to current
2011-12-20	Graydon Hoare	Merge pull request #1349 from lht/driver	blob \| commitdiff \| raw \| diff to current
2011-12-20	Graydon Hoare	Merge pull request #1350 from boggle/kmath	blob \| commitdiff \| raw \| diff to current
2011-12-20	Marijn Haverbeke	Fix misleading comment about type_is_pod	blob \| commitdiff \| raw \| diff to current
2011-12-20	Stefan Plantikow	removed math leftovers from std	blob \| commitdiff \| raw \| diff to current
2011-12-20	Haitao Li	rustc: Cleanup unused ext_map	blob \| commitdiff \| raw \| diff to current
2011-12-19	Niko Matsakis	impl the proper partial order between fn types	blob \| commitdiff \| raw \| diff to current
2011-12-19	Graydon Hoare	Merge pull request #1334 from boggle/kmath	blob \| commitdiff \| raw \| diff to current
2011-12-19	Marijn Haverbeke	Associate names with types introduced by items	blob \| commitdiff \| raw \| diff to current
2011-12-19	Marijn Haverbeke	Add type argument field to expr_path	blob \| commitdiff \| raw \| diff to current
2011-12-18	Marijn Haverbeke	Only look for a matching method when normal field acces...	blob \| commitdiff \| raw \| diff to current
2011-12-16	Graydon Hoare	Merge pull request #1317 from boggle/fix1315	blob \| commitdiff \| raw \| diff to current
2011-12-16	Niko Matsakis	reorder args to the various vec, option fns so blk...	blob \| commitdiff \| raw \| diff to current
2011-12-16	Marijn Haverbeke	Make uses of self in impls compile	blob \| commitdiff \| raw \| diff to current
2011-12-16	Marijn Haverbeke	Get very simple impl method calls to compile	blob \| commitdiff \| raw \| diff to current
2011-12-16	Marijn Haverbeke	Parse and resolve implementations.	blob \| commitdiff \| raw \| diff to current
2011-12-16	Brian Anderson	Merge pull request #1314 from elly/cargo	blob \| commitdiff \| raw \| diff to current
2011-12-16	Brian Anderson	rustc: Box tag variants to avoid copies	blob \| commitdiff \| raw \| diff to current
2011-12-16	Brian Anderson	rustc: Box the vectors returned from ty::tag_variants	blob \| commitdiff \| raw \| diff to current
2011-12-16	Brian Anderson	rustc: Cache results of ty::tag_variants	blob \| commitdiff \| raw \| diff to current
2011-12-15	Brian Anderson	Merge pull request #1307 from elly/cargo	blob \| commitdiff \| raw \| diff to current
2011-12-15	Niko Matsakis	massive refactor of how closures work	blob \| commitdiff \| raw \| diff to current
2011-12-14	Niko Matsakis	push changes through to get things compiling, if not...	blob \| commitdiff \| raw \| diff to current
2011-12-14	Niko Matsakis	define ty and update parser for sendable lambdas	blob \| commitdiff \| raw \| diff to current
2011-12-14	Graydon Hoare	Merge pull request #1292 from boggle/fix1291	blob \| commitdiff \| raw \| diff to current
2011-12-14	Graydon Hoare	Copy first batch of material from libstd to libcore.	blob \| commitdiff \| raw \| diff to current
2011-12-07	Graydon Hoare	Remove stmt_crate_directive, it's vestigial and confusing.	blob \| commitdiff \| raw \| diff to current
2011-12-07	Marijn Haverbeke	Change literal representation to not truncate	blob \| commitdiff \| raw \| diff to current
2011-12-07	Graydon Hoare	Merge branch 'master' of github.com:graydon/rust	blob \| commitdiff \| raw \| diff to current
2011-12-07	Niko Matsakis	repair more hash functions	blob \| commitdiff \| raw \| diff to current
2011-12-02	Stefan Plantikow	parse: typeck: enabling trivial casts of tail-call...	blob \| commitdiff \| raw \| diff to current
2011-12-02	Stefan Plantikow	ty: trans: added support for dropping trivial casts	blob \| commitdiff \| raw \| diff to current
2011-12-02	Stefan Plantikow	ty: added type comparison that subs prim types with...	blob \| commitdiff \| raw \| diff to current
2011-12-02	Marijn Haverbeke	Allow literal patterns to contain arbitrary literal...	blob \| commitdiff \| raw \| diff to current
2011-11-30	Marijn Haverbeke	Box ast::path values	blob \| commitdiff \| raw \| diff to current
2011-11-23	Marijn Haverbeke	Make type_kind properly recognize ty_ptr as sendable	blob \| commitdiff \| raw \| diff to current
2011-11-23	Marijn Haverbeke	Rollback return-by-reference	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marijn Haverbeke	Make type_needs_drop accurate, get rid of type_has_pointers	blob \| commitdiff \| raw \| diff to current
2011-11-22	Marijn Haverbeke	Only warn about unreachable range patterns when appropriate	blob \| commitdiff \| raw \| diff to current
2011-11-21	Haitao Li	rustc: Remove abi from ast::native_mod	blob \| commitdiff \| raw \| diff to current
2011-11-18	Marijn Haverbeke	Properly check kinds in instantiation of generics	blob \| commitdiff \| raw \| diff to current
2011-11-18	Marijn Haverbeke	Prevent alias pass from inserting implicit copies for...	blob \| commitdiff \| raw \| diff to current
2011-11-18	Marijn Haverbeke	Overhaul the kind-checking pass	blob \| commitdiff \| raw \| diff to current
2011-11-18	Marijn Haverbeke	Make tag, resource and object constructors take their...	blob \| commitdiff \| raw \| diff to current
2011-11-18	Marijn Haverbeke	Preparation for kind system overhaul	blob \| commitdiff \| raw \| diff to current
2011-11-17	Niko Matsakis	Merge branch 'master' of github.com:graydon/rust	blob \| commitdiff \| raw \| diff to current
2011-11-17	Niko Matsakis	remove compile-command from local variable blocks	blob \| commitdiff \| raw \| diff to current
2011-11-13	Brian Anderson	Make various binops not typecheck for unsafe pointers...	blob \| commitdiff \| raw \| diff to current
2011-11-11	Haitao Li	Cleanup unused imports	blob \| commitdiff \| raw \| diff to current
2011-11-02	Marijn Haverbeke	Make it possible to cast unsafe pointers with the ...	blob \| commitdiff \| raw \| diff to current
2011-10-28	Marijn Haverbeke	Make shared kind the default only for generic functions	blob \| commitdiff \| raw \| diff to current
2011-10-27	Matt Brubeck	Remove uint::max/min in favor if math::max/min	blob \| commitdiff \| raw \| diff to current
2011-10-21	Marijn Haverbeke	Drop support for iter, put, and for-each	blob \| commitdiff \| raw \| diff to current
2011-10-21	Brian Anderson	Merge ast::proto_shared and ast::proto_closure	blob \| commitdiff \| raw \| diff to current
2011-10-21	Brian Anderson	Rename ast::proto_fn to ast::proto_shared	blob \| commitdiff \| raw \| diff to current
2011-10-21	Brian Anderson	Make fn denote a bare function. Convert fn to fn@ as...	blob \| commitdiff \| raw \| diff to current
2011-10-21	Brian Anderson	Tweak typecheck to enforce covariance on higher-order...	blob \| commitdiff \| raw \| diff to current
2011-10-21	Brian Anderson	Give subtype relationships to function types	blob \| commitdiff \| raw \| diff to current
2011-10-18	Brian Anderson	Immutable and mutable? are covariant on their inner...	blob \| commitdiff \| raw \| diff to current
2011-10-18	Brian Anderson	Enforce variance rules for mutable types	blob \| commitdiff \| raw \| diff to current
2011-10-18	Brian Anderson	Add a variance transform for calculation of recursive...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom