aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
* Convert obj item type to ctor type rather than obj type.Graydon Hoare2010-12-151-8/+29
* rustc: Move next_var_id back to the crate context in typechecking; we'll need...Patrick Walton2010-12-151-22/+39
* rustc: Resolve type paramsPatrick Walton2010-12-151-1/+6
* Teach typeck to stringify obj types.Graydon Hoare2010-12-151-6/+33
* rustc: Fix bug involving extracting any variant element beyond the first. Un-...Patrick Walton2010-12-151-0/+1
* rustc: Resolve tag names in the typecheckerPatrick Walton2010-12-151-1/+6
* rustc: Translate pattern matchingPatrick Walton2010-12-151-1/+155
* Teach typeck.ty, typeck.collect_item_types and typeck.check_expr about obj it...Graydon Hoare2010-12-141-1/+31
* Teach resolve about obj items.Graydon Hoare2010-12-141-0/+3
* Teach fold about objs.Graydon Hoare2010-12-141-0/+57
* Fix a couple bugs in iter_sequence, un-XFAIL vec-drop.rs.Graydon Hoare2010-12-131-3/+17
* rustc: Typecheck pattern bindingsPatrick Walton2010-12-131-0/+1
* rustc: Check patterns before arm blocks in alt expressions; this will be need...Patrick Walton2010-12-131-9/+31
* rustc: Hack to get rid of passing i1 types for unit around in most cases, sug...Patrick Walton2010-12-131-6/+27
* Set the new vec fill-size on the compiler side, as in rustboot. Un-XFAIL firs...Graydon Hoare2010-12-131-0/+5
* rustc: Typecheck "alt" expressions and patternsPatrick Walton2010-12-121-0/+175
* rustc: Propagate types for vector, tuple, record, assignment, and if expressi...Patrick Walton2010-12-121-12/+71
* Revert "rustc: Propagate types for vector, tuple, record, assignment, and if ...Patrick Walton2010-12-121-71/+12
* rustc: Fix nonexhaustive match failure on unresolved identifiersPatrick Walton2010-12-121-0/+1
* rustc: Resolve variant names in patternsPatrick Walton2010-12-121-1/+26
* rustc: "resoling" -> "resolving" typoPatrick Walton2010-12-121-3/+3
* rustc: Add a definition ID to tag patternsPatrick Walton2010-12-121-5/+6
* rustc: Propagate types for vector, tuple, record, assignment, and if expressi...Patrick Walton2010-12-111-12/+71
* rustc: Make return value inference use next_ty_var, now that we have itPatrick Walton2010-12-111-1/+1
* rustc: Move next_var_id from typeck.crate_ctxt to typeck.fn_ctxtPatrick Walton2010-12-111-6/+7
* rustc: Remove "update_env_for_arm" debugging messagePatrick Walton2010-12-111-1/+0
* rustc: Resolve pattern bindingsPatrick Walton2010-12-102-2/+18
* rustc: Add update_env_for_arm to fold; we'll need it to resolve pattern bindingsPatrick Walton2010-12-101-4/+15
* Fix bad GEP and missing branch in iter_sequence; vec.rs compiles now.Graydon Hoare2010-12-101-1/+3
* Implement expr_vec.Graydon Hoare2010-12-101-1/+42
* Fix trans_index implementation.Graydon Hoare2010-12-101-4/+4
* rustc: Add def ids to pattern bindingsPatrick Walton2010-12-101-6/+7
* rustc: Add tag support to ty_of_item in typeckPatrick Walton2010-12-101-0/+4
* rustc: Add LLVM typedefs for rust_crate and rust_task for good measurePatrick Walton2010-12-101-0/+7
* rustc: Declare LLVM typedefs appropriatelyPatrick Walton2010-12-101-0/+1
* rustc: Move refcount incrementing out of line tooPatrick Walton2010-12-101-38/+48
* Preliminary translation of expr_index.Graydon Hoare2010-12-101-0/+37
* rustc: Move refcount decrement-and-free (drop) logic out-of-linePatrick Walton2010-12-101-55/+124
* rustc: Change lazy "and" and "or" to use scope contexts rather than sub-block...Patrick Walton2010-12-101-4/+4
* Typecheck vec and index exprs.Graydon Hoare2010-12-101-0/+94
* rustc: Decouple new_fn_ctxt() from AST function arguments, so that it can be ...Patrick Walton2010-12-091-11/+17
* Rewrite second pass of collect_item_types to use fold, therefore process all ...Graydon Hoare2010-12-091-34/+67
* rustc: Decouple new_fn_ctxt from AST items so that we can use it to generate ...Patrick Walton2010-12-091-10/+12
* Simplify second pass of collect_item_types so I can understand it better.Graydon Hoare2010-12-091-34/+29
* Add a type abbreviation and redo first pass of collect_item_types to collect ...Graydon Hoare2010-12-091-7/+18
* First sketch of support for const items, not including most of trans.Graydon Hoare2010-12-094-3/+65
* rustc: Add gross eq_ty() and hash_ty() functionsPatrick Walton2010-12-091-0/+11
* rustc: Mark constant strings as constantsPatrick Walton2010-12-091-0/+1
* rustc: Fix indirection problem with tag constructorsPatrick Walton2010-12-091-5/+1
* Remove redundant trans_drop_str, fix buggy branch in trans_if. Un-XFAIL drop-...Graydon Hoare2010-12-091-13/+7