aboutsummaryrefslogtreecommitdiff
path: root/src/comp
Commit message (Collapse)AuthorAgeFilesLines
...
* | | | rustc: Have demand_pat() extract type parameters from tags. Add a test case.Patrick Walton2011-03-091-8/+19
| | | |
* | | | rustc: Substitute type parameters in type_of_variant(). Add a test case.Patrick Walton2011-03-091-5/+10
| | | |
* | | | rustc: Remove redundant ty_params_of_tag() functionPatrick Walton2011-03-091-13/+1
| | | |
* | | | rustc: Perform type parameter substitutions in static_size_of_tag()Patrick Walton2011-03-091-0/+18
| | | |
* | | | rustc: Don't try to load dynamically-sized types when translating tag ↵Patrick Walton2011-03-091-1/+2
| | | | | | | | | | | | | | | | variants. Add a test case for this.
* | | | Pass the task pointer as just another i32.Rafael Ávila de Espíndola2011-03-091-2/+3
| | | |
* | | | Fix access to the rust stack.Rafael Ávila de Espíndola2011-03-091-15/+32
| | | |
* | | | swap taskptr and callee in preparation for making taskptr optional.Rafael Ávila de Espíndola2011-03-092-11/+13
| | | |
* | | | rustc: Instantiate tag patterns with the type parameters supplied by the ↵Patrick Walton2011-03-091-6/+6
| | | | | | | | | | | | | | | | programmer. size-and-align.rs typechecks now.
* | | | rustc: Factor the type parameter and type lookup out of instantiate_path(), ↵Patrick Walton2011-03-091-28/+32
| | | | | | | | | | | | | | | | as patterns need different logic
* | | | rustc: Grammar police work in check_pat() error messagesPatrick Walton2011-03-091-4/+5
| | | |
* | | | rustc: Factor out path type instantiation so that tag patterns can use it as ↵Patrick Walton2011-03-081-103/+108
| | | | | | | | | | | | | | | | well
* | | | rustc: Fold over the paths in tag patterns so that we can resolve type ↵Patrick Walton2011-03-081-1/+4
| | | | | | | | | | | | | | | | variables in them
* | | | rustc: Typecheck the base part of record extension expressions. Un-XFAIL ↵Patrick Walton2011-03-081-1/+7
| | | | | | | | | | | | | | | | rec-extend.rs.
* | | | rustc: Make ann_to_type() fail if the node has no type. Miraculously, no ↵Patrick Walton2011-03-081-2/+2
| | | | | | | | | | | | | | | | test cases fail.
* | | | rustc: Have trans get the type parameters from the annotation instead of ↵Patrick Walton2011-03-081-24/+81
| | | | | | | | | | | | | | | | trying to deduce them itself. Un-XFAIL generic-fn-twice.rs.
* | | | Fix generic-bind support for bound aliases and generics.Graydon Hoare2011-03-081-8/+24
| | | |
* | | | rustc: Move type parameter resolution from translation into the typecheckerPatrick Walton2011-03-082-3/+76
| | | |
* | | | Revert "Move the glue asm code to a .o file. This reduces how much asm we print"Graydon Hoare2011-03-083-48/+2
| | | | | | | | | | | | | | | | This reverts commit 55c80e763bfd850682b3217fcfc5cdb516eafae0.
* | | | Move the glue asm code to a .o file. This reduces how much asm we printRafael Ávila de Espíndola2011-03-083-2/+48
| | | | | | | | | | | | | | | | in each "translation unit".
* | | | rustc: Pass explicit type substitutions to later passesPatrick Walton2011-03-081-8/+22
| | | |
* | | | rustc: Add a slot for explicit type parameter instantations to the ↵Patrick Walton2011-03-084-81/+122
| | | | | | | | | | | | | | | | typechecker's AST annotation
* | | | rustc: Rework type substitution to pair up type parameter IDs with the ↵Patrick Walton2011-03-081-43/+60
| | | | | | | | | | | | | | | | supplied type parameter instantiations explicitly
* | | | rustc: Expose common.def_eq().Patrick Walton2011-03-081-5/+5
| | | |
* | | | rustc: Store type parameter definition IDs instead of type parameter counts ↵Patrick Walton2011-03-081-13/+23
| | | | | | | | | | | | | | | | in the typechecker
* | | | rustc: Store the number of type parameters per item, which will be needed to ↵Patrick Walton2011-03-081-2/+18
| | | | | | | | | | | | | | | | get unused type params working
* | | | Add partial pretty-printing for syntax extensionsBrian Anderson2011-03-071-1/+10
| | | |
* | | | Remove old pretty-printer from rustcBrian Anderson2011-03-072-88/+0
| | | |
* | | | Add missing alt arm to expr_if pretty-printerBrian Anderson2011-03-071-0/+1
| | | |
* | | | Most of the way through genericizing bind properly with new malloc path. ↵Graydon Hoare2011-03-071-38/+49
| | | | | | | | | | | | | | | | Still getting the thunk call wrong.
* | | | rustc: Cast dynamically-sized tags in iter_structural_ty_full() to opaque ↵Patrick Walton2011-03-071-4/+16
| |_|/ |/| | | | | | | | tag types. Un-XFAIL generic-recursive-tag.rs.
* | | rustc: Cast the LLVM representations of tag types when constructing boxes. ↵Patrick Walton2011-03-071-0/+9
| | | | | | | | | | | | Un-XFAIL list.rs.
* | | rustc: Truncate or zero-extend indexes appropriately. Un-XFAIL ↵Patrick Walton2011-03-071-2/+15
| | | | | | | | | | | | integral-indexing.rs.
* | | Parse opacity (and drop on the floor), so std.rc parses now.Graydon Hoare2011-03-072-0/+21
| | |
* | | Poison ty_param values in trans; fix buggy parametric obj and box malloc ↵Graydon Hoare2011-03-071-17/+15
| | | | | | | | | | | | paths. Add generic-box test.
* | | Add a pretty-printerMarijn Haverbeke2011-03-078-12/+996
| | | | | | | | | | | | | | | Adds a -pp option to the compiler which will cause it to simply pretty-print the given file.
* | | Construct the wrappers to native functions. Hello world now works :-)Rafael Ávila de Espíndola2011-03-072-6/+41
| | |
* | | Permit view items in native modules.Graydon Hoare2011-03-074-9/+61
| | |
* | | Stage the last compile fix to put out fire. Thanks git.Graydon Hoare2011-03-071-0/+1
| | |
* | | Complain on unexpected native symbol, rather than failing with ↵Graydon Hoare2011-03-071-0/+3
| | | | | | | | | | | | none-exhaustive match.
* | | use a precedence table for operator parsingMarijn Haverbeke2011-03-071-131/+65
| | |
* | | Set the cleanup on the post-growth vector, not the temporary one.Graydon Hoare2011-03-071-2/+3
| | |
* | | Fix off-by-one in vector append code.Graydon Hoare2011-03-061-3/+1
| | |
* | | Further work on vec-append. Almost working.Graydon Hoare2011-03-061-45/+135
| | |
* | | Remove typestate workaroundsBrian Anderson2011-03-066-68/+37
| | |
* | | Flatten conditionals in rustc.rs. Remove FIXMEBrian Anderson2011-03-061-16/+11
| | |
* | | Fix return value on trans_vec_add.Graydon Hoare2011-03-061-1/+2
| | |
* | | Correct signatures and arguments associated with call into vec_append_glue.Graydon Hoare2011-03-061-17/+22
| | |
* | | Make ret and fail stmts have 0 out-edges, Closes #250.Graydon Hoare2011-03-053-7/+4
| | |
* | | rustc: Use copy_ty() when initializing N-ary tag variants. Un-XFAIL ↵Patrick Walton2011-03-041-5/+18
| | | | | | | | | | | | generic-tag.rs.