| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | rustc: Switch mutability from being a type constructor to a field annotation | Patrick Walton | 2011-03-17 | 1 | -58/+100 | |
| | | ||||||
| * | rustc: Correctly report mutability when stringifying types | Patrick Walton | 2011-03-17 | 1 | -24/+24 | |
| | | ||||||
| * | rustc: Consider native types to be scalar | Patrick Walton | 2011-03-17 | 1 | -0/+1 | |
| | | ||||||
| * | rustc: Sort object methods when parsing textual types in the AST | Patrick Walton | 2011-03-17 | 1 | -0/+8 | |
| | | ||||||
| * | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵ | Graydon Hoare | 2011-03-16 | 1 | -5/+4 | |
| | | | | | Tweak std lib vec fns in process. | |||||
| * | Merge remote branch 'brson/recursive-elseif' | Graydon Hoare | 2011-03-14 | 1 | -1/+1 | |
| |\ | ||||||
| | * | Merge branch 'master' into recursive-elseif | Brian Anderson | 2011-03-13 | 1 | -83/+12 | |
| | |\ | | | | | | | | | | | | | | | | Conflicts: src/comp/middle/typeck.rs | |||||
| | * \ | Merge branch 'master' into recursive-elseif | Brian Anderson | 2011-03-07 | 1 | -190/+489 | |
| | |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/Makefile src/comp/front/ast.rs src/comp/front/parser.rs src/comp/middle/fold.rs src/comp/middle/trans.rs | |||||
| * | | | | Add ty_port and ty_chan to expr_ty function | Brian Anderson | 2011-03-14 | 1 | -11/+13 | |
| | | | | | ||||||
| * | | | | Add folding and type checking for ports and chans | Brian Anderson | 2011-03-14 | 1 | -0/+54 | |
| | |_|/ |/| | | ||||||
| * | | | Implement deep structural comparison through boxes and sequences. | Graydon Hoare | 2011-03-09 | 1 | -0/+8 | |
| | | | | ||||||
| * | | | Have the pretty-printer take a writer stream as argument | Marijn Haverbeke | 2011-03-09 | 1 | -80/+1 | |
| | | | | | | | | | | | | | | | | It now uses a string writer to also fill in for middle.ty.ast_ty_to_str | |||||
| * | | | rustc: Make ann_to_type() fail if the node has no type. Miraculously, no ↵ | Patrick Walton | 2011-03-08 | 1 | -2/+2 | |
| | | | | | | | | | | | | | test cases fail. | |||||
| * | | | rustc: Add a slot for explicit type parameter instantations to the ↵ | Patrick Walton | 2011-03-08 | 1 | -1/+1 | |
| | |/ |/| | | | | | typechecker's AST annotation | |||||
| * | | Add a pretty-printer | Marijn Haverbeke | 2011-03-07 | 1 | -0/+2 | |
| | | | | | | | | | | | 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índola | 2011-03-07 | 1 | -0/+7 | |
| | | | ||||||
| * | | Remove typestate workarounds | Brian Anderson | 2011-03-06 | 1 | -29/+13 | |
| | | | ||||||
| * | | Make ret and fail stmts have 0 out-edges, Closes #250. | Graydon Hoare | 2011-03-05 | 1 | -1/+1 | |
| | | | ||||||
| * | | Assortment of additional work on vec-append. Not done yet. | Graydon Hoare | 2011-03-03 | 1 | -0/+9 | |
| | | | ||||||
| * | | Revert "rustc: Add support for folding over tag types" as it's unnecessary. ↵ | Patrick Walton | 2011-03-03 | 1 | -9/+1 | |
| | | | | | | | | | Oops. | |||||
| * | | rustc: Add support for folding over tag types | Patrick Walton | 2011-03-03 | 1 | -1/+9 | |
| | | | ||||||
| * | | Handle native types in calls. | Rafael Ávila de Espíndola | 2011-03-03 | 1 | -0/+10 | |
| | | | ||||||
| * | | Sketch out some more pieces of vec-append. | Graydon Hoare | 2011-03-02 | 1 | -0/+10 | |
| | | | ||||||
| * | | Add fold, typecheck and trans for expr_ext | Brian Anderson | 2011-03-02 | 1 | -0/+1 | |
| | | | ||||||
| * | | rustc: Mark tags that have subtypes with dynamic size as dynamic | Patrick Walton | 2011-02-28 | 1 | -0/+7 | |
| | | | ||||||
| * | | rustc: Make the tag info table keyed by both tag ID and type parameter. Also ↵ | Patrick Walton | 2011-02-25 | 1 | -2/+3 | |
| | | | | | | | | | fix a bug that was causing all tags to compare equal. | |||||
| * | | Pass the abi of native functions all the way to codegen. | Rafael Ávila de Espíndola | 2011-02-25 | 1 | -11/+20 | |
| | | | ||||||
| * | | rustc: Perform type parameter substitutions when emitting glue for generic ↵ | Patrick Walton | 2011-02-24 | 1 | -1/+42 | |
| | | | | | | | | | tags. Un-XFAIL generic-tag.rs. | |||||
| * | | Implement type descriptor binding. Un-XFAIL test/run-pass/generic-bind.rs. | Patrick Walton | 2011-02-23 | 1 | -0/+3 | |
| | | | ||||||
| * | | Handle the new ty_native_fn in type check. | Rafael Ávila de Espíndola | 2011-02-23 | 1 | -20/+87 | |
| | | | ||||||
| * | | Make a tag for iterness / fnness, teach many places about it. | Graydon Hoare | 2011-02-18 | 1 | -107/+136 | |
| | | | ||||||
| * | | Implement Robinson's algorithm for type unification. Closes #227. | Patrick Walton | 2011-02-18 | 1 | -75/+70 | |
| | | | ||||||
| * | | Add type parameters to tag types | Patrick Walton | 2011-02-17 | 1 | -21/+66 | |
| | | | ||||||
| * | | Don't add the rust arguments to native functions. We now produce the | Rafael Avila de Espindola | 2011-02-16 | 1 | -0/+5 | |
| | | | | | | | | | correct arguments for native functions. | |||||
| * | | Add missing case to ty_to_str. | Rafael Avila de Espindola | 2011-02-16 | 1 | -0/+1 | |
| | | | | | | | | | | | Disable test that now fails because we produce undefined references to the native functions. | |||||
| * | | More typechecking for native types and the needed plumbing in codegen. | Rafael Avila de Espindola | 2011-02-16 | 1 | -0/+16 | |
| | | | ||||||
| * | | Add basic front-end support for 'for each' loops. | Graydon Hoare | 2011-02-14 | 1 | -0/+2 | |
| | | | ||||||
| * | | Add basic front-end support for expr_put. | Graydon Hoare | 2011-02-14 | 1 | -0/+1 | |
| | | | ||||||
| * | | Move all non-decl/non-expr stmts to exprs. | Graydon Hoare | 2011-02-14 | 1 | -0/+6 | |
| | | | ||||||
| * | | Expand expr_rec to take its optional trailing 'with' parameter. | Graydon Hoare | 2011-02-14 | 1 | -1/+1 | |
| | | | ||||||
| * | | Add missing case to unify. This gets hello world to codegen. | Rafael Avila de Espindola | 2011-02-14 | 1 | -0/+1 | |
| | | | ||||||
| * | | Teach ty and typeck about pat_lit. | Graydon Hoare | 2011-02-10 | 1 | -0/+1 | |
| | | | ||||||
| * | | Add type checking for native types. | Rafael Avila de Espindola | 2011-02-10 | 1 | -0/+2 | |
| | | | ||||||
| * | | Add a fixme for last commit. | Graydon Hoare | 2011-02-07 | 1 | -0/+4 | |
| | | | ||||||
| * | | Iterate type unification to drive the types a bit further down into the ↵ | Graydon Hoare | 2011-02-07 | 1 | -1/+33 | |
| | | | | | | | | | leaves of results with residual vars. Cheap but kinda works. | |||||
| * | | Implement 'else if' | Graydon Hoare | 2011-02-01 | 1 | -1/+1 | |
| | | | ||||||
| * | | Add ty_type. | Graydon Hoare | 2011-02-01 | 1 | -0/+8 | |
| | | | ||||||
| * | | More work on derived tydescs. Can compile simple tests with generic objects. | Graydon Hoare | 2011-01-31 | 1 | -4/+4 | |
| |/ | ||||||
| * | Teach ty and typeck about linear for loops. | Graydon Hoare | 2011-01-20 | 1 | -0/+1 | |
| | | ||||||
| * | Implement dynamic GEP enough to permit expr_field to work on tup(T,T,T). | Graydon Hoare | 2011-01-19 | 1 | -0/+23 | |
| | | ||||||