aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle
Commit message (Expand)AuthorAgeFilesLines
* rustc: Reference count the function context in typechecking so that passing i...Patrick Walton2010-12-211-22/+21
* Sort methods in object types.Graydon Hoare2010-12-211-0/+7
* rustc: Move type logic out of typeck so trans doesn't look like it's calling ...Patrick Walton2010-12-213-909/+933
* rustc: Sanitize names better. Puts out burning tinderbox on OS X.Patrick Walton2010-12-201-2/+14
* rustc: Add bind expressions to the ASTPatrick Walton2010-12-201-0/+25
* Null-check on obj box ptr, init to null. Un-XFAIL simple-obj.rs.Graydon Hoare2010-12-201-8/+26
* Support ty_obj in trans_field; simple-obj.rs compiles (but crashes).Graydon Hoare2010-12-201-4/+18
* Mop up cases of s/copy/take/, remove 'binding' terminology, whitespace police...Graydon Hoare2010-12-202-28/+32
* rustc: Use the passed-in tydescs for take and drop glue in parametric fns. Al...Patrick Walton2010-12-202-6/+27
* rustc: Print the type when we die in trans.make_drop_glue_innerPatrick Walton2010-12-201-1/+2
* rustc: Add a type param ID -> type descriptor mapping to function contextsPatrick Walton2010-12-201-16/+30
* Put out burning tree (sizeof / alignof bug).Graydon Hoare2010-12-201-14/+19
* Use gvars for vtbls rather than returning const immediates.Graydon Hoare2010-12-201-1/+7
* Trailing whitespace police.Graydon Hoare2010-12-201-2/+2
* rustc: Build tydescs for types, and make all take and drop operations go thro...Patrick Walton2010-12-201-27/+43
* rustc: Remove the unused "name" parameter from trans.new_builderPatrick Walton2010-12-171-4/+4
* rustc: Make some no-op take and drop glue for scalar typesPatrick Walton2010-12-171-24/+34
* Split part of typeck.check_fn out into typeck.check_item_fn, then check all f...Graydon Hoare2010-12-171-17/+33
* rustc: Make all drop and take glue have the same signature, so we can put the...Patrick Walton2010-12-172-14/+28
* Record type annotations for methods.Graydon Hoare2010-12-171-2/+40
* rustc: Zero out slots after dropping themPatrick Walton2010-12-171-2/+8
* Trans methods more correctly, and store vtbl pointer in pair returned from ob...Graydon Hoare2010-12-171-4/+14
* Sketch trans_vtbl.Graydon Hoare2010-12-161-0/+9
* rustc: Translate parametric function signatures into task + type parameters +...Patrick Walton2010-12-162-0/+52
* Stub out translation of obj ctors (no vtbl or body built).Graydon Hoare2010-12-161-0/+40
* rustc: Add a type fold mechanism to the typecheckerPatrick Walton2010-12-161-63/+83
* rustc: Only generalize on definition types that can actually be parametricPatrick Walton2010-12-161-4/+2
* rustc: Write types back when typechecking "ret" statementsPatrick Walton2010-12-161-3/+3
* rustc: Make trans.type_of handle parameter typesPatrick Walton2010-12-161-2/+4
* rustc: Infer the types of type-parametric functionsPatrick Walton2010-12-161-0/+76
* Annotate obj items while folding ast in typeck.Graydon Hoare2010-12-161-0/+11
* Collect obj items, translate obj-name references and obj-ctor types.Graydon Hoare2010-12-161-19/+51
* Typecheck object method calls.Graydon Hoare2010-12-151-0/+30
* 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