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

2011-06-10	Patrick Walton	Merge pull request #447 from paulstansifer/quick_error_...	blob \| commitdiff \| raw
2011-06-10	Patrick Walton	rustc: Remove the bitwise not operator	blob \| commitdiff \| raw \| diff to current
2011-06-10	Marijn Haverbeke	Implement mutable/immutable alias distinction.	blob \| commitdiff \| raw \| diff to current
2011-06-10	Patrick Walton	rustc: Report type errors in terms of the actual types...	blob \| commitdiff \| raw \| diff to current
2011-06-10	Patrick Walton	rustc: Annotate vector and string literals in the AST...	blob \| commitdiff \| raw \| diff to current
2011-06-09	Patrick Walton	rustc: Add ty_istr and ty_ivec types	blob \| commitdiff \| raw \| diff to current
2011-06-09	Tim Chevalier	Improve error message for wrong number of type arguments	blob \| commitdiff \| raw \| diff to current
2011-06-09	Patrick Walton	rustc: Remove comment dating back to the rustboot days...	blob \| commitdiff \| raw \| diff to current
2011-06-09	Patrick Walton	rustc: Remove all calls to resolve_all_vars and the...	blob \| commitdiff \| raw \| diff to current
2011-06-09	Patrick Walton	rustc: Remove the call to resolve_all_vars when typeche...	blob \| commitdiff \| raw \| diff to current
2011-06-09	Marijn Haverbeke	Fix double import that now somehow gets caught by resolve	blob \| commitdiff \| raw \| diff to current
2011-06-09	Tim Chevalier	Further support for predicate constraints	blob \| commitdiff \| raw \| diff to current
2011-06-09	Patrick Walton	rustc: Don't resolve all type variables eagerly for...	blob \| commitdiff \| raw \| diff to current
2011-06-09	Patrick Walton	rustc: Don't eagerly resolve type variables after unifi...	blob \| commitdiff \| raw \| diff to current
2011-06-09	Patrick Walton	rustc: Don't generate so many variables when typechecki...	blob \| commitdiff \| raw \| diff to current
2011-06-08	Patrick Walton	rustc: Add some miscellaneous demands that pushdown...	blob \| commitdiff \| raw \| diff to current
2011-06-08	Patrick Walton	rustc: Remove pushdown. 15 second improvement.	blob \| commitdiff \| raw \| diff to current
2011-06-08	Graydon Hoare	Merge pull request #403 from espindola/newllvm	blob \| commitdiff \| raw \| diff to current
2011-06-08	Patrick Walton	rustc: Remove all traces of the unification cache	blob \| commitdiff \| raw \| diff to current
2011-06-08	Patrick Walton	Merge pull request #455 from jdm/fail_str	blob \| commitdiff \| raw \| diff to current
2011-06-08	Josh Matthews	Add optional message to fail.	blob \| commitdiff \| raw \| diff to current
2011-06-08	Josh Matthews	Merge remote branch 'graydon/master'	blob \| commitdiff \| raw \| diff to current
2011-06-08	Patrick Walton	rustc: Print out a real error message on unresolved...	blob \| commitdiff \| raw \| diff to current
2011-06-08	Patrick Walton	rustc: Use a set-based approach to unification; remove...	blob \| commitdiff \| raw \| diff to current
2011-06-07	Lindsey Kuper	Removing dead code and redundant fails; changing fails...	blob \| commitdiff \| raw \| diff to current
2011-06-06	Marijn Haverbeke	Change unsafe aliases	blob \| commitdiff \| raw \| diff to current
2011-06-05	Lindsey Kuper	Remove redundant 'fail' exprs and dead code; use sess...	blob \| commitdiff \| raw \| diff to current
2011-06-03	Graydon Hoare	Add spans to fields, args, methods. Improve pp of same.	blob \| commitdiff \| raw \| diff to current
2011-06-03	Rafael Ávila de...	Boilerplate for pointers. Sorry for missing this on...	blob \| commitdiff \| raw \| diff to current
2011-06-03	Lindsey Kuper	Removing redundant "fail"s.	blob \| commitdiff \| raw \| diff to current
2011-06-03	Patrick Walton	rustc: Typecheck patterns from the top down; remove...	blob \| commitdiff \| raw \| diff to current
2011-06-02	Paul Stansifer	Implement pcwalton's code review suggestions.	blob \| commitdiff \| raw \| diff to current
2011-06-02	Paul Stansifer	Error message, instead of segfault, when recursive...	blob \| commitdiff \| raw \| diff to current
2011-06-02	Tim Chevalier	Improve type error message for non-constructor in pattern	blob \| commitdiff \| raw \| diff to current
2011-06-02	Lindsey Kuper	Use span_err instead of err. Fixes issue #444.	blob \| commitdiff \| raw \| diff to current
2011-06-01	Paul Stansifer	Now imports are not re-exported unless 'export' is...	blob \| commitdiff \| raw \| diff to current
2011-06-01	Michael Sullivan	Support move as an initializer.	blob \| commitdiff \| raw \| diff to current
2011-06-01	Michael Sullivan	Insert plumbing for move that behaves just like assign.	blob \| commitdiff \| raw \| diff to current
2011-05-31	Eric Holk	Teach the compiler to understand yield and join, as...	blob \| commitdiff \| raw \| diff to current
2011-05-31	Graydon Hoare	Consolidate formatting functions a bit more.	blob \| commitdiff \| raw \| diff to current
2011-05-31	Graydon Hoare	Add span to field to catch per-field comments in rec...	blob \| commitdiff \| raw \| diff to current
2011-05-31	Brian Anderson	rustc: Remove unneeded type params from alt patterns	blob \| commitdiff \| raw \| diff to current
2011-05-31	Brian Anderson	rustc: Pushdown type params for tag patterns. Closes...	blob \| commitdiff \| raw \| diff to current
2011-05-28	Tim Chevalier	change comment	blob \| commitdiff \| raw \| diff to current
2011-05-28	Tim Chevalier	Check the declaration type in a for loop against the...	blob \| commitdiff \| raw \| diff to current
2011-05-27	Tim Chevalier	Use annotations on blocks	blob \| commitdiff \| raw \| diff to current
2011-05-27	Tim Chevalier	Make _\|_ unify with anything	blob \| commitdiff \| raw \| diff to current
2011-05-27	Graydon Hoare	Remove redisue of unused fields from 'ann'.	blob \| commitdiff \| raw \| diff to current
2011-05-27	Graydon Hoare	Remove residual uses of fold, and fold itself.	blob \| commitdiff \| raw \| diff to current
2011-05-25	Eric Holk	Fixing typechecking for spawn.	blob \| commitdiff \| raw \| diff to current
2011-05-25	Brian Anderson	rustc: Downcase typeck::demand and typeck::pushdown	blob \| commitdiff \| raw \| diff to current
2011-05-25	Brian Anderson	rustc: Use demand functions instead of open-coded typec...	blob \| commitdiff \| raw \| diff to current
2011-05-24	Tim Chevalier	Improve error message for ambiguous polymorphic types	blob \| commitdiff \| raw \| diff to current
2011-05-24	Tim Chevalier	Typecheck @[] correctly	blob \| commitdiff \| raw \| diff to current
2011-05-21	Brian Anderson	rustc: Add a FIXME to expr_alt type checking	blob \| commitdiff \| raw \| diff to current
2011-05-21	Brian Anderson	rustc: Remove unnecessary pushdown from check_expr...	blob \| commitdiff \| raw \| diff to current
2011-05-21	Brian Anderson	rustc: If all if branches are _\|_, then the entire...	blob \| commitdiff \| raw \| diff to current
2011-05-21	Brian Anderson	rustc: Allow if expressions to fail	blob \| commitdiff \| raw \| diff to current
2011-05-21	Brian Anderson	rustc: Allow alt expressions to fail	blob \| commitdiff \| raw \| diff to current
2011-05-21	Brian Anderson	rustc: Assign ty_bot to nodes in write::bot_ty. Remove...	blob \| commitdiff \| raw \| diff to current
2011-05-21	Tim Chevalier	Merge remote-tracking branch 'graydon/master' into...	blob \| commitdiff \| raw \| diff to current
2011-05-21	Lindsey Kuper	More work on anonymous objects.	blob \| commitdiff \| raw \| diff to current
2011-05-20	Tim Chevalier	Make controlflow part of a function type	blob \| commitdiff \| raw \| diff to current
2011-05-20	Graydon Hoare	Move the ty_item_table into ty::ctxt.items, move varian...	blob \| commitdiff \| raw \| diff to current
2011-05-19	Patrick Walton	rustc: Unify variables using a single type instead...	blob \| commitdiff \| raw \| diff to current
2011-05-19	Graydon Hoare	Move type cache and node type table into type context.	blob \| commitdiff \| raw \| diff to current
2011-05-19	Tim Chevalier	Fix an error message that reversed the expected and...	blob \| commitdiff \| raw \| diff to current
2011-05-19	Patrick Walton	rustc: Generalize variable bindings so that we can...	blob \| commitdiff \| raw \| diff to current
2011-05-19	Patrick Walton	rustc: Split write_* in typeck into versions that will...	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Thread statement contexts through unification	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Split out type variable fixups from unification	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Thread a statement context through the typecheck...	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Don't rebuild the AST when typechecking statements	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Have typechecking no longer rebuild the AST	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Remove typeck::check_item_fn(); it's entirely...	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Make check_const() not rebuild the AST (although...	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Make check_block not rebuild the AST	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Don't rebuild the AST when writing back locals	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Pull the type out of the correct expression...	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Fix return value of expr_spawn case in pushdown_...	blob \| commitdiff \| raw \| diff to current
2011-05-18	Patrick Walton	rustc: Don't rebuild the AST when typechecking expressions	blob \| commitdiff \| raw \| diff to current
2011-05-17	Eric Holk	Fixing compile problems from recent changes.	blob \| commitdiff \| raw \| diff to current
2011-05-17	Eric Holk	Removing the TODO comment.	blob \| commitdiff \| raw \| diff to current
2011-05-17	Eric Holk	Added a few more expr_spawn cases so the spawn.rs test...	blob \| commitdiff \| raw \| diff to current
2011-05-17	Patrick Walton	rustc: Don't rebuild call or bind expressions during...	blob \| commitdiff \| raw \| diff to current
2011-05-17	Patrick Walton	rustc: Flatten annotations	blob \| commitdiff \| raw \| diff to current
2011-05-17	Marijn Haverbeke	Finally rename std::_xxx to std::xxx	blob \| commitdiff \| raw \| diff to current
2011-05-17	Graydon Hoare	Merge remote branch 'origin/master' into HEAD	blob \| commitdiff \| raw \| diff to current
2011-05-17	Graydon Hoare	Rewrite everything to use [] instead of vec() in value...	blob \| commitdiff \| raw \| diff to current
2011-05-16	Tim Chevalier	Started adding support for return checking and non...	blob \| commitdiff \| raw \| diff to current
2011-05-16	Patrick Walton	rustc: Fix indentation in typeck::check_lit()	blob \| commitdiff \| raw \| diff to current
2011-05-16	Patrick Walton	rustc: Don't rebuild the call expression in typeck...	blob \| commitdiff \| raw \| diff to current
2011-05-16	Patrick Walton	rustc: Don't rebuild AST patterns during typechecking	blob \| commitdiff \| raw \| diff to current
2011-05-16	Patrick Walton	rustc: Make the type collection pass no longer rebuild...	blob \| commitdiff \| raw \| diff to current
2011-05-16	Patrick Walton	rustc: Fix indentation in ty_param_count_and_ty_for_def()	blob \| commitdiff \| raw \| diff to current
2011-05-15	Brian Anderson	rustc: Rename 'Unify' modules to 'unify'	blob \| commitdiff \| raw \| diff to current
2011-05-14	Patrick Walton	rustc: Use walk instead of fold for the first item...	blob \| commitdiff \| raw \| diff to current
2011-05-14	Patrick Walton	rustc: Change "Collect" to "collect"	blob \| commitdiff \| raw \| diff to current
2011-05-14	Patrick Walton	rustc: Look types up in the side table	blob \| commitdiff \| raw \| diff to current
2011-05-14	Patrick Walton	rustc: Write nil types into the node type table whereve...	blob \| commitdiff \| raw \| diff to current
next

Empowering everyone to build reliable and efficient software.

RSS Atom