about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Expand)AuthorLines
2011-03-09rustc: Instantiate tag patterns with the type parameters supplied by the prog...Patrick Walton-6/+6
2011-03-09rustc: Factor the type parameter and type lookup out of instantiate_path(), a...Patrick Walton-28/+32
2011-03-09rustc: Grammar police work in check_pat() error messagesPatrick Walton-4/+5
2011-03-08rustc: Factor out path type instantiation so that tag patterns can use it as ...Patrick Walton-103/+108
2011-03-08rustc: Fold over the paths in tag patterns so that we can resolve type variab...Patrick Walton-1/+4
2011-03-08rustc: Typecheck the base part of record extension expressions. Un-XFAIL rec-...Patrick Walton-1/+7
2011-03-08rustc: Make ann_to_type() fail if the node has no type. Miraculously, no test...Patrick Walton-2/+2
2011-03-08rustc: Have trans get the type parameters from the annotation instead of tryi...Patrick Walton-24/+81
2011-03-08Fix generic-bind support for bound aliases and generics.Graydon Hoare-8/+24
2011-03-08rustc: Move type parameter resolution from translation into the typecheckerPatrick Walton-3/+76
2011-03-08Revert "Move the glue asm code to a .o file. This reduces how much asm we print"Graydon Hoare-0/+2
2011-03-08Move the glue asm code to a .o file. This reduces how much asm we printRafael Ávila de Espíndola-2/+0
2011-03-08rustc: Pass explicit type substitutions to later passesPatrick Walton-8/+22
2011-03-08rustc: Add a slot for explicit type parameter instantations to the typechecke...Patrick Walton-80/+121
2011-03-08rustc: Rework type substitution to pair up type parameter IDs with the suppli...Patrick Walton-43/+60
2011-03-08rustc: Store type parameter definition IDs instead of type parameter counts i...Patrick Walton-13/+23
2011-03-08rustc: Store the number of type parameters per item, which will be needed to ...Patrick Walton-2/+18
2011-03-07Merge branch 'master' into recursive-elseifBrian Anderson-1483/+3920
2011-03-07Most of the way through genericizing bind properly with new malloc path. Stil...Graydon Hoare-38/+49
2011-03-07rustc: Cast dynamically-sized tags in iter_structural_ty_full() to opaque tag...Patrick Walton-4/+16
2011-03-07rustc: Cast the LLVM representations of tag types when constructing boxes. Un...Patrick Walton-0/+9
2011-03-07rustc: Truncate or zero-extend indexes appropriately. Un-XFAIL integral-index...Patrick Walton-2/+15
2011-03-07Poison ty_param values in trans; fix buggy parametric obj and box malloc path...Graydon Hoare-17/+15
2011-03-07Add a pretty-printerMarijn Haverbeke-0/+2
2011-03-07Construct the wrappers to native functions. Hello world now works :-)Rafael Ávila de Espíndola-6/+41
2011-03-07Permit view items in native modules.Graydon Hoare-4/+19
2011-03-07Set the cleanup on the post-growth vector, not the temporary one.Graydon Hoare-2/+3
2011-03-06Fix off-by-one in vector append code.Graydon Hoare-3/+1
2011-03-06Further work on vec-append. Almost working.Graydon Hoare-45/+135
2011-03-06Remove typestate workaroundsBrian Anderson-41/+27
2011-03-06Fix return value on trans_vec_add.Graydon Hoare-1/+2
2011-03-06Correct signatures and arguments associated with call into vec_append_glue.Graydon Hoare-17/+22
2011-03-05Make ret and fail stmts have 0 out-edges, Closes #250.Graydon Hoare-3/+3
2011-03-04rustc: Use copy_ty() when initializing N-ary tag variants. Un-XFAIL generic-t...Patrick Walton-5/+18
2011-03-04rustc: Don't recurse forever if type glue needs to refer to its own type desc...Patrick Walton-16/+45
2011-03-04rustc: Remove "translating variants" debug stringPatrick Walton-1/+0
2011-03-04rustc: Don't use recursive types for tags; remove tag_info; introduce GEP_tag()Patrick Walton-108/+154
2011-03-04Build empty wrappers. This lets us compile hello world, but so far itRafael Ávila de Espíndola-0/+5
2011-03-04Remove unused argument.Rafael Ávila de Espíndola-7/+6
2011-03-03Assortment of additional work on vec-append. Not done yet.Graydon Hoare-24/+71
2011-03-03rustc: Make tag discriminants per-tag-ID, not per-tag-ID-and-subtypesPatrick Walton-14/+6
2011-03-03Factor out and generalize sequence pointer walking, for use in vec-grow.Graydon Hoare-30/+80
2011-03-03Revert "rustc: Add support for folding over tag types" as it's unnecessary. O...Patrick Walton-15/+1
2011-03-03rustc: Add support for folding over tag typesPatrick Walton-1/+15
2011-03-03rustc: Remove dead code that used to generate tag constants from trans_consta...Patrick Walton-6/+0
2011-03-03rustc: Teach trans_tag_variant() about generic tagsPatrick Walton-11/+35
2011-03-03rustc: Disallow calling type_of() on dynamically-sized typesPatrick Walton-0/+10
2011-03-03rustc: Don't call type_of() in GEP_tup_like() if there are any type parameter...Patrick Walton-6/+6
2011-03-03Handle native types in calls.Rafael Ávila de Espíndola-2/+13
2011-03-03rustc: Make populate_fn_ctxt_from_llself() generic-awarePatrick Walton-38/+54