| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| | * | | | Allow the else part of an expr_if to be either expr_if or expr_block | Brian Anderson | 2011-02-01 | 1 | -5/+5 | |
| | | | | | ||||||
| * | | | | Reorganize evaluation of expr_send/recv to put them closer to expr_assign, ↵ | Brian Anderson | 2011-03-14 | 1 | -29/+30 | |
| | | | | | | | | | | | | | | | | | to which they are similar | |||||
| * | | | | Add folding and type checking for ports and chans | Brian Anderson | 2011-03-14 | 1 | -0/+53 | |
| | | | | | ||||||
| * | | | | Fold ty_chan and ty_port | Brian Anderson | 2011-03-14 | 1 | -0/+21 | |
| | |_|/ |/| | | ||||||
| * | | | Preserve crate directives in the parsed crate. | Graydon Hoare | 2011-03-11 | 1 | -4/+10 | |
| | | | | ||||||
| * | | | reindex the block index. | Rafael Ávila de Espíndola | 2011-03-11 | 1 | -3/+5 | |
| | | | | ||||||
| * | | | Fold exports. | Graydon Hoare | 2011-03-09 | 1 | -0/+13 | |
| | | | | ||||||
| * | | | rustc: Fold over the paths in tag patterns so that we can resolve type ↵ | Patrick Walton | 2011-03-08 | 1 | -1/+4 | |
| | |/ |/| | | | | | variables in them | |||||
| * | | Permit view items in native modules. | Graydon Hoare | 2011-03-07 | 1 | -1/+8 | |
| | | | ||||||
| * | | Make ret and fail stmts have 0 out-edges, Closes #250. | Graydon Hoare | 2011-03-05 | 1 | -2/+2 | |
| | | | ||||||
| * | | Make the expanded expression in expr_ext not optional | Brian Anderson | 2011-03-02 | 1 | -5/+4 | |
| | | | ||||||
| * | | Add fold, typecheck and trans for expr_ext | Brian Anderson | 2011-03-02 | 1 | -0/+24 | |
| | | | ||||||
| * | | Parse (and ignore) dtors on objs. | Graydon Hoare | 2011-03-01 | 1 | -5/+14 | |
| | | | ||||||
| * | | There are no native iterators (or at least they are not going to be supported | Rafael Ávila de Espíndola | 2011-02-25 | 1 | -8/+9 | |
| | | | | | | | | | soon.). | |||||
| * | | Parse the abi in native modules. | Rafael Ávila de Espíndola | 2011-02-23 | 1 | -0/+1 | |
| | | | ||||||
| * | | Make a tag for iterness / fnness, teach many places about it. | Graydon Hoare | 2011-02-18 | 1 | -17/+21 | |
| | | | ||||||
| * | | More typechecking for native types and the needed plumbing in codegen. | Rafael Avila de Espindola | 2011-02-16 | 1 | -6/+6 | |
| | | | ||||||
| * | | Add basic front-end support for 'for each' loops. | Graydon Hoare | 2011-02-14 | 1 | -0/+19 | |
| | | | ||||||
| * | | Add basic front-end support for expr_put. | Graydon Hoare | 2011-02-14 | 1 | -0/+20 | |
| | | | ||||||
| * | | Move all non-decl/non-expr stmts to exprs. | Graydon Hoare | 2011-02-14 | 1 | -64/+72 | |
| | | | ||||||
| * | | Expand expr_rec to take its optional trailing 'with' parameter. | Graydon Hoare | 2011-02-14 | 1 | -6/+15 | |
| | | | ||||||
| * | | Add support to pat_lit to fold. | Graydon Hoare | 2011-02-10 | 1 | -0/+11 | |
| | | | ||||||
| * | | Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet. | Brian Anderson | 2011-02-10 | 1 | -0/+13 | |
| | | | ||||||
| * | | Add missing fold of native functions. | Rafael Avila de Espindola | 2011-02-10 | 1 | -1/+2 | |
| | | | ||||||
| * | | Parse function declarations. | Rafael Ávila de Espíndola | 2011-02-04 | 1 | -14/+46 | |
| | | | ||||||
| * | | Add most of the plumbing for native items and add support for parsing native ↵ | Rafael Ávila de Espíndola | 2011-02-02 | 1 | -1/+44 | |
| | | | | | | | | | type declarations. | |||||
| * | | Add very minimal support for native modules. For now they must be empty. | Rafael Ávila de Espíndola | 2011-02-01 | 1 | -2/+29 | |
| | | | ||||||
| * | | Implement 'else if' | Graydon Hoare | 2011-02-01 | 1 | -4/+17 | |
| |/ | ||||||
| * | Teach rustc to fail | Brian Anderson | 2011-01-28 | 1 | -0/+4 | |
| | | ||||||
| * | Correctly handle "import foo = bar.zed;". | Rafael Ávila de Espíndola | 2011-01-28 | 1 | -10/+10 | |
| | | ||||||
| * | First step for supporting "case (foo.bar(?zed))": Change the ast of | Rafael Ávila de Espíndola | 2011-01-27 | 1 | -5/+5 | |
| | | | | | pat_tag to hold a path. | |||||
| * | Teach AST, parser, folder about iter items. | Graydon Hoare | 2011-01-21 | 1 | -3/+6 | |
| | | ||||||
| * | Fix typo in fold. | Graydon Hoare | 2011-01-20 | 1 | -1/+1 | |
| | | ||||||
| * | Adjust AST encoding, teach fold about linear for loops. | Graydon Hoare | 2011-01-20 | 1 | -0/+18 | |
| | | ||||||
| * | Fold function output and argument types. With this change we fail to compile | Rafael Ávila de Espíndola | 2011-01-19 | 1 | -3/+15 | |
| | | | | | | | | type lteq[T] = fn(&T a) -> bool; with "unresolved name: T". Before we would silently get to the type checker and assert in a unresolved ty_path. | |||||
| * | One last refactoring of the import handling: | Rafael Ávila de Espíndola | 2011-01-18 | 1 | -6/+8 | |
| | | | | | | | | | | | | | | * Create an import resolving stage. Currently this involves a copy of the ast, we can probably revisit this once we revisit doing full copies of the ast in general. * Don't repeat work. Once we resolve a import, put it on a hash table and use it next time we are asked for it. This solves a O(n^2) behaviour in degenerated cases. * Once import resolution is done, the target of an import is stored on the import itself. | |||||
| * | Change single-ident expr_ident to greedy/fat multi-ident expr_path, to ↵ | Graydon Hoare | 2011-01-13 | 1 | -25/+21 | |
| | | | | | handle the module-path/value-indexing distinction. | |||||
| * | Change mod_index_entry to point directly to items and view_items. | Rafael Ávila de Espíndola | 2011-01-12 | 1 | -3/+7 | |
| | | ||||||
| * | Add sufficient import support to compile some simple single-crate programs. | Rafael Ávila de Espíndola | 2011-01-07 | 1 | -4/+4 | |
| | | | | | | This is likely not the final solution. It does repetitive work and doesn't produce errors for invalid but unused imports. In any case, I think it is a useful step. | |||||
| * | Add the boilerplate for folding view items. | Rafael Ávila de Espíndola | 2011-01-06 | 1 | -1/+65 | |
| | | ||||||
| * | Fix fold bug on expr_bind. | Graydon Hoare | 2011-01-03 | 1 | -0/+3 | |
| | | ||||||
| * | Update method-fold env with fake item_fn representing the method. | Graydon Hoare | 2010-12-31 | 1 | -1/+12 | |
| | | ||||||
| * | Teach fold about ty_obj. | Graydon Hoare | 2010-12-30 | 1 | -0/+24 | |
| | | ||||||
| * | rustc: Add bind expressions to the AST | Patrick Walton | 2010-12-20 | 1 | -0/+25 | |
| | | ||||||
| * | Teach fold about objs. | Graydon Hoare | 2010-12-14 | 1 | -0/+57 | |
| | | ||||||
| * | rustc: Add a definition ID to tag patterns | Patrick Walton | 2010-12-12 | 1 | -5/+6 | |
| | | ||||||
| * | rustc: Resolve pattern bindings | Patrick Walton | 2010-12-10 | 1 | -1/+1 | |
| | | ||||||
| * | rustc: Add update_env_for_arm to fold; we'll need it to resolve pattern bindings | Patrick Walton | 2010-12-10 | 1 | -4/+15 | |
| | | ||||||
| * | rustc: Add def ids to pattern bindings | Patrick Walton | 2010-12-10 | 1 | -6/+7 | |
| | | ||||||
| * | First sketch of support for const items, not including most of trans. | Graydon Hoare | 2010-12-09 | 1 | -0/+17 | |
| | | ||||||