about summary refs log tree commit diff
path: root/src/comp/middle
AgeCommit message (Collapse)AuthorLines
2011-03-09rustc: Instantiate tag patterns with the type parameters supplied by the ↵Patrick Walton-6/+6
programmer. size-and-align.rs typechecks now.
2011-03-09rustc: Factor the type parameter and type lookup out of instantiate_path(), ↵Patrick Walton-28/+32
as patterns need different logic
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
well
2011-03-08rustc: Fold over the paths in tag patterns so that we can resolve type ↵Patrick Walton-1/+4
variables in them
2011-03-08rustc: Typecheck the base part of record extension expressions. Un-XFAIL ↵Patrick Walton-1/+7
rec-extend.rs.
2011-03-08rustc: Make ann_to_type() fail if the node has no type. Miraculously, no ↵Patrick Walton-2/+2
test cases fail.
2011-03-08rustc: Have trans get the type parameters from the annotation instead of ↵Patrick Walton-24/+81
trying to deduce them itself. Un-XFAIL generic-fn-twice.rs.
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
This reverts commit 55c80e763bfd850682b3217fcfc5cdb516eafae0.
2011-03-08Move the glue asm code to a .o file. This reduces how much asm we printRafael Ávila de Espíndola-2/+0
in each "translation unit".
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 ↵Patrick Walton-80/+121
typechecker's AST annotation
2011-03-08rustc: Rework type substitution to pair up type parameter IDs with the ↵Patrick Walton-43/+60
supplied type parameter instantiations explicitly
2011-03-08rustc: Store type parameter definition IDs instead of type parameter counts ↵Patrick Walton-13/+23
in the typechecker
2011-03-08rustc: Store the number of type parameters per item, which will be needed to ↵Patrick Walton-2/+18
get unused type params working
2011-03-07Merge branch 'master' into recursive-elseifBrian Anderson-1483/+3920
Conflicts: src/Makefile src/comp/front/ast.rs src/comp/front/parser.rs src/comp/middle/fold.rs src/comp/middle/trans.rs
2011-03-07Most of the way through genericizing bind properly with new malloc path. ↵Graydon Hoare-38/+49
Still getting the thunk call wrong.
2011-03-07rustc: Cast dynamically-sized tags in iter_structural_ty_full() to opaque ↵Patrick Walton-4/+16
tag types. Un-XFAIL generic-recursive-tag.rs.
2011-03-07rustc: Cast the LLVM representations of tag types when constructing boxes. ↵Patrick Walton-0/+9
Un-XFAIL list.rs.
2011-03-07rustc: Truncate or zero-extend indexes appropriately. Un-XFAIL ↵Patrick Walton-2/+15
integral-indexing.rs.
2011-03-07Poison ty_param values in trans; fix buggy parametric obj and box malloc ↵Graydon Hoare-17/+15
paths. Add generic-box test.
2011-03-07Add a pretty-printerMarijn Haverbeke-0/+2
Adds a -pp option to the compiler which will cause it to simply pretty-print the given file.
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 ↵Patrick Walton-5/+18
generic-tag.rs.
2011-03-04rustc: Don't recurse forever if type glue needs to refer to its own type ↵Patrick Walton-16/+45
descriptor
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
just returns 0.
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. ↵Patrick Walton-15/+1
Oops.
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 ↵Patrick Walton-6/+0
trans_constant()
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 ↵Patrick Walton-6/+6
parameters in the result
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-11-07 10:43:55 +0000