about summary refs log tree commit diff
path: root/src/comp
AgeCommit message (Collapse)AuthorLines
2011-03-11Preserve crate directives in the parsed crate.Graydon Hoare-11/+17
2011-03-11rustc: Add some stub metadata to each cratePatrick Walton-0/+44
2011-03-11reindex the block index.Rafael Ávila de Espíndola-38/+44
2011-03-11rustc: Load structural loop variables in iterators. Un-XFAIL ↵Patrick Walton-1/+10
foreach-put-structured.rs.
2011-03-11Add support for indexing tags in blocks.Rafael Ávila de Espíndola-19/+57
2011-03-11rustc: Populate the upvar environment when calling iterator bodies. Un-XFAIL ↵Patrick Walton-5/+71
test/run-pass/iter-range.rs.
2011-03-11rustc: Resolve upvars as necessaryPatrick Walton-2/+9
2011-03-10Handle resolving to native modules.Rafael Ávila de Espíndola-0/+8
2011-03-10Move the glue code to a .o file. This reduces how much asm we printGraydon Hoare-58/+108
in each "translation unit". Part of it is not repetitive and should probably be moved to a .ll file, but for now we autogen all of it. (Modified somewhat by graydon while integrating).
2011-03-10rustc: Build up a list of upvars inside foreach bodiesPatrick Walton-5/+74
2011-03-10rustc: Use the generic info from the item in bind thunks just as calls do. ↵Patrick Walton-0/+2
Un-XFAIL drop-parametric-closure-with-bound-box.rs.
2011-03-10rustc: Increment the counter in trans_bind_thunk()Patrick Walton-1/+1
2011-03-10rustc: Fix off-by-one error and logic error regarding type parameters in the ↵Patrick Walton-1/+1
translation of bind expressions. Un-XFAIL bind-obj-ctor.rs.
2011-03-10Update the current id when we create sub parsers.Rafael Ávila de Espíndola-7/+17
2011-03-10rustc: Perform a cast in vector initialization due to changing layers of ↵Patrick Walton-1/+21
indirection. Keep test/run-pass/size-and-align.rs XFAIL'd due to a leak in rustboot.
2011-03-10rustc: Run cleanups on while expressions' condition blocks. Un-XFAIL ↵Patrick Walton-3/+3
while-prelude-drop.rs.
2011-03-10Fix eval typo (caught by Martin Hock).Graydon Hoare-1/+1
2011-03-09Implement deep structural comparison through boxes and sequences.Graydon Hoare-68/+145
2011-03-09rustc: Have tag patterns use the type parameter information from the ↵Patrick Walton-10/+49
typechecker instead of trying to deduce it in trans. Un-XFAIL test/run-pass/generic-tag-values.rs.
2011-03-09Fold exports.Graydon Hoare-0/+13
2011-03-09Add ty_obj case to pretty printerMarijn Haverbeke-16/+37
2011-03-09Have the pretty-printer take a writer stream as argumentMarijn Haverbeke-98/+39
It now uses a string writer to also fill in for middle.ty.ast_ty_to_str
2011-03-09rustc: Perform type substitutions for tag variants in dynamic_size_of()Patrick Walton-1/+9
2011-03-09rustc Remove dead "llunit_ty" assignment in trans_indexPatrick Walton-1/+0
2011-03-09rustc: Make tag pattern translation generic-aware. Un-XFAIL generic-tag-alt.rs.Patrick Walton-32/+50
2011-03-09Rename confusing usage of "lltag" to "lldiscrim" in trans_pat_match()Patrick Walton-3/+3
2011-03-09rustc: Have demand_pat() extract type parameters from tags. Add a test case.Patrick Walton-8/+19
2011-03-09rustc: Substitute type parameters in type_of_variant(). Add a test case.Patrick Walton-5/+10
2011-03-09rustc: Remove redundant ty_params_of_tag() functionPatrick Walton-13/+1
2011-03-09rustc: Perform type parameter substitutions in static_size_of_tag()Patrick Walton-0/+18
2011-03-09rustc: Don't try to load dynamically-sized types when translating tag ↵Patrick Walton-1/+2
variants. Add a test case for this.
2011-03-09Pass the task pointer as just another i32.Rafael Ávila de Espíndola-2/+3
2011-03-09Fix access to the rust stack.Rafael Ávila de Espíndola-15/+32
2011-03-09swap taskptr and callee in preparation for making taskptr optional.Rafael Ávila de Espíndola-11/+13
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-48/+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/+48
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-81/+122
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: Expose common.def_eq().Patrick Walton-5/+5