about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
2010-12-15rustc: Translate pattern matchingPatrick Walton-1/+155
2010-12-14Teach typeck.ty, typeck.collect_item_types and typeck.check_expr about obj ↵Graydon Hoare-1/+31
items.
2010-12-14Teach resolve about obj items.Graydon Hoare-0/+3
2010-12-14Teach fold about objs.Graydon Hoare-0/+57
2010-12-13Fix a couple bugs in iter_sequence, un-XFAIL vec-drop.rs.Graydon Hoare-3/+17
2010-12-13rustc: Typecheck pattern bindingsPatrick Walton-0/+1
2010-12-13rustc: Check patterns before arm blocks in alt expressions; this will be ↵Patrick Walton-9/+31
needed for binding type resolution
2010-12-13rustc: Hack to get rid of passing i1 types for unit around in most cases, ↵Patrick Walton-6/+27
suggested by Rafael
2010-12-13Set the new vec fill-size on the compiler side, as in rustboot. Un-XFAIL ↵Graydon Hoare-0/+5
first 3 vec tests.
2010-12-12rustc: Typecheck "alt" expressions and patternsPatrick Walton-0/+175
2010-12-12rustc: Propagate types for vector, tuple, record, assignment, and if ↵Patrick Walton-12/+71
expressions downward again
2010-12-12Revert "rustc: Propagate types for vector, tuple, record, assignment, and if ↵Patrick Walton-71/+12
expressions downward" due to test bustage This reverts commit 1cdf42dd63a5ba790d91edabf131ca9347aa52ee.
2010-12-12rustc: Fix nonexhaustive match failure on unresolved identifiersPatrick Walton-0/+1
2010-12-12rustc: Resolve variant names in patternsPatrick Walton-1/+26
2010-12-12rustc: "resoling" -> "resolving" typoPatrick Walton-3/+3
2010-12-12rustc: Add a definition ID to tag patternsPatrick Walton-5/+6
2010-12-11rustc: Propagate types for vector, tuple, record, assignment, and if ↵Patrick Walton-12/+71
expressions downward
2010-12-11rustc: Make return value inference use next_ty_var, now that we have itPatrick Walton-1/+1
2010-12-11rustc: Move next_var_id from typeck.crate_ctxt to typeck.fn_ctxtPatrick Walton-6/+7
2010-12-11rustc: Remove "update_env_for_arm" debugging messagePatrick Walton-1/+0
2010-12-10rustc: Resolve pattern bindingsPatrick Walton-2/+18
2010-12-10rustc: Add update_env_for_arm to fold; we'll need it to resolve pattern bindingsPatrick Walton-4/+15
2010-12-10Fix bad GEP and missing branch in iter_sequence; vec.rs compiles now.Graydon Hoare-1/+3
2010-12-10Implement expr_vec.Graydon Hoare-1/+42
2010-12-10Fix trans_index implementation.Graydon Hoare-4/+4
2010-12-10rustc: Add def ids to pattern bindingsPatrick Walton-6/+7
2010-12-10rustc: Add tag support to ty_of_item in typeckPatrick Walton-0/+4
2010-12-10rustc: Add LLVM typedefs for rust_crate and rust_task for good measurePatrick Walton-0/+7
2010-12-10rustc: Declare LLVM typedefs appropriatelyPatrick Walton-0/+1
2010-12-10rustc: Move refcount incrementing out of line tooPatrick Walton-38/+48
2010-12-10Preliminary translation of expr_index.Graydon Hoare-0/+37
2010-12-10rustc: Move refcount decrement-and-free (drop) logic out-of-linePatrick Walton-55/+124
2010-12-10rustc: Change lazy "and" and "or" to use scope contexts rather than ↵Patrick Walton-4/+4
sub-block contexts, to run cleanups properly
2010-12-10Typecheck vec and index exprs.Graydon Hoare-0/+94
2010-12-09rustc: Decouple new_fn_ctxt() from AST function arguments, so that it can be ↵Patrick Walton-11/+17
used to generate glue
2010-12-09Rewrite second pass of collect_item_types to use fold, therefore process all ↵Graydon Hoare-34/+67
items in crate. Add testcase to check.
2010-12-09rustc: Decouple new_fn_ctxt from AST items so that we can use it to generate ↵Patrick Walton-10/+12
glue too
2010-12-09Simplify second pass of collect_item_types so I can understand it better.Graydon Hoare-34/+29
2010-12-09Add a type abbreviation and redo first pass of collect_item_types to collect ↵Graydon Hoare-7/+18
across the whole crate, not just top level.
2010-12-09First sketch of support for const items, not including most of trans.Graydon Hoare-3/+65
2010-12-09rustc: Add gross eq_ty() and hash_ty() functionsPatrick Walton-0/+11
2010-12-09rustc: Mark constant strings as constantsPatrick Walton-0/+1
2010-12-09rustc: Fix indirection problem with tag constructorsPatrick Walton-5/+1
2010-12-09Remove redundant trans_drop_str, fix buggy branch in trans_if. Un-XFAIL ↵Graydon Hoare-13/+7
drop-on-ret.rs.
2010-12-08Fix boxed returns harder. Un-XFAIL output-slot-variants.rs.Graydon Hoare-6/+5
2010-12-08Fix structure returns harder.Graydon Hoare-0/+9
2010-12-08Fix boxed returns.Graydon Hoare-13/+27
2010-12-08Fix structure-returns.Graydon Hoare-1/+8
2010-12-08Fix log upcall translation bug. Un-XFAIL rec-auto.rs.Graydon Hoare-20/+12
2010-12-08Implement binop= forms. Un-XFAIL bitwise.rs.Graydon Hoare-102/+93