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

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

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

2012-01-10	Graydon Hoare	Remove proto_sugar and 'lambda' as keyword, commit...	blob \| commitdiff \| raw
2012-01-09	Brian Anderson	Merge pull request #1470 from grahame/grahame	blob \| commitdiff \| raw \| diff to current
2012-01-09	Marijn Haverbeke	Work around recursive type check for iface types	blob \| commitdiff \| raw \| diff to current
2012-01-08	Marijn Haverbeke	First barely-working version of casting to iface	blob \| commitdiff \| raw \| diff to current
2012-01-08	Marijn Haverbeke	Add fall-through case for non-iface bounds typeck:...	blob \| commitdiff \| raw \| diff to current
2012-01-06	Graydon Hoare	Merge pull request #1450 from erickt/master	blob \| commitdiff \| raw \| diff to current
2012-01-06	Marijn Haverbeke	Support interface casting in the typechecker	blob \| commitdiff \| raw \| diff to current
2012-01-06	Marijn Haverbeke	Fix bug in method type parameter passing	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	Stefan Plantikow	Merge branch 'master' into 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	Marijn Haverbeke	Clean up some FIXMEs related to impls	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	Prevent typenames in param bounds from resolving to...	blob \| commitdiff \| raw \| diff to current
2012-01-04	Marijn Haverbeke	Add visit_ty_params to visit.rs	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	Niko Matsakis	Allow tail expressions even in no_value blocks. Type...	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	Make resolution of dictionaries on bounded params work	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-03	Marijn Haverbeke	More work on translating dictionary-passing	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-30	Niko Matsakis	split proto from fn_decl, as not all fn_decls know...	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	On second thought, re-land pull request #1385 with...	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	Change representation of type params to handle interfac...	blob \| commitdiff \| raw \| diff to current
2011-12-25	Lenny222	Use singlequotes in the typechecker too, to distinguish...	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	Go back to a single visit_fn function in visit.rs	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-23	Marijn Haverbeke	Make ast::ty_method hold a fn_decl, rather than duplica...	blob \| commitdiff \| raw \| diff to current
2011-12-23	Graydon Hoare	Merge all 3 log syntaxes, tidy up residual misuses.	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	Marijn Haverbeke	Unify some data structures in syntax::ast that were...	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	Do not use == and != to compare ty::t values	blob \| commitdiff \| raw \| diff to current
2011-12-22	Marijn Haverbeke	Remove trivial cast checker	blob \| commitdiff \| raw \| diff to current
2011-12-21	Graydon Hoare	Switch log_expr to carrying a full expr:u32 for level...	blob \| commitdiff \| raw \| diff to current
2011-12-21	Niko Matsakis	update pprinter to understand ret type of block, add...	blob \| commitdiff \| raw \| diff to current
2011-12-21	Niko Matsakis	Make { \|\| ... } sugar for any type of closure, inferred	blob \| commitdiff \| raw \| diff to current
2011-12-19	Niko Matsakis	implement capture clauses (move, in particular) and...	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	Fix bug in type parameter handling for impl methods	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-19	Marijn Haverbeke	Complain when multiple methods in the same scope match...	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	Marijn Haverbeke	Finish resolving and calling of crate-external impls	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 polymorphic impl methods work	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	Get a very primitive form of typechecking/resolving...	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 the vectors returned from ty::tag_variants	blob \| commitdiff \| raw \| diff to current
2011-12-14	Niko Matsakis	first attempt, not happy with it	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-13	Graydon Hoare	Merge branch 'master' of github.com:graydon/rust	blob \| commitdiff \| raw \| diff to current
2011-12-13	Marijn Haverbeke	Reorganize some code in typeck	blob \| commitdiff \| raw \| diff to current
2011-12-09	Brian Anderson	rustc: Determine the crate type (lib/bin) in the sessio...	blob \| commitdiff \| raw \| diff to current
2011-12-08	Marijn Haverbeke	Allow binding of nested patterns	blob \| commitdiff \| raw \| diff to current
2011-12-08	Marijn Haverbeke	Stop passing around some unused information in typeck	blob \| commitdiff \| raw \| diff to current
2011-12-08	Marijn Haverbeke	Consider variant constructors pure functions for the...	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-05	Stefan Plantikow	typeck: Fix for #932	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	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-22	Stefan Plantikow	comp: allowed the declaration of pure fn's in native...	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	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-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-16	Haitao Li	rustc: Use link_name attribute for native function	blob \| commitdiff \| raw \| diff to current
2011-11-11	Haitao Li	Cleanup unused imports	blob \| commitdiff \| raw \| diff to current
2011-11-10	Brian Anderson	rustc: Rename native_abi_c_stack_cdecl to native_abi_cdecl	blob \| commitdiff \| raw \| diff to current
2011-11-09	Brian Anderson	Remove native "cdecl" ABI	blob \| commitdiff \| raw \| diff to current
2011-11-03	Marijn Haverbeke	Disallow writing to function arguments again	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-21	Marijn Haverbeke	Change the way block calls are parsed, mark them as...	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	Give native functions proto_bare	blob \| commitdiff \| raw \| diff to current
2011-10-21	Brian Anderson	Remove typeck::proto_to_ty_proto	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom