aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/fold.rs
Commit message (Expand)AuthorAgeFilesLines
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-061-12/+17
* Further on the path toward self-awareness.Lindsey Kuper2011-04-051-6/+5
* Started adding support for typestate checking.Tim Chevalier2011-04-011-48/+50
* rustc: Add a type annotation to tag itemsPatrick Walton2011-03-311-6/+6
* More machinery for adding an expr_call_self AST node.Lindsey Kuper2011-03-311-1/+18
* Improve line comment positioningMarijn Haverbeke2011-03-311-3/+4
* Add effect field to ast.ty_fn.Marijn Haverbeke2011-03-311-11/+12
* rustc: Thread an item-to-type mapping throughout the typechecking and transla...Patrick Walton2011-03-301-5/+5
* Add expr_spawn, spawn parsing, folding, typechecking, ty_taskBrian Anderson2011-03-281-0/+18
* Add support for break and cont to rustcMarijn Haverbeke2011-03-271-0/+22
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-251-1/+1
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare2011-03-251-1/+1
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare2011-03-251-1/+1
* rustc: Store cached crate metadata in the sessionPatrick Walton2011-03-251-5/+6
* Implement local declarations with receive. Un-XFAIL decl-with-recv.rs.Brian Anderson2011-03-251-5/+4
* Refactor ast.local to make room for initialization via recvBrian Anderson2011-03-251-4/+6
* Support for 'float' in type signatures.Lindsey Kuper2011-03-231-1/+8
* Modify native_item_fn to handle trailing linkage names that differ from the i...Graydon Hoare2011-03-201-4/+7
* rustc: Switch mutability from being a type constructor to a field annotationPatrick Walton2011-03-171-35/+28
* Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. Tw...Graydon Hoare2011-03-161-19/+18
* rustc: Add an annotation for the crate definition to view_item_usePatrick Walton2011-03-151-6/+6
* Merge remote branch 'brson/recursive-elseif'Graydon Hoare2011-03-141-21/+9
|\
| * Merge branch 'master' into recursive-elseifBrian Anderson2011-03-131-8/+32
| |\
| * \ Merge branch 'master' into recursive-elseifBrian Anderson2011-03-071-89/+318
| |\ \
| * | | Allow the else part of an expr_if to be either expr_if or expr_blockBrian Anderson2011-02-011-5/+5
* | | | Reorganize evaluation of expr_send/recv to put them closer to expr_assign, to...Brian Anderson2011-03-141-29/+30
* | | | Add folding and type checking for ports and chansBrian Anderson2011-03-141-0/+53
* | | | Fold ty_chan and ty_portBrian Anderson2011-03-141-0/+21
| |_|/ |/| |
* | | Preserve crate directives in the parsed crate.Graydon Hoare2011-03-111-4/+10
* | | reindex the block index.Rafael Ávila de Espíndola2011-03-111-3/+5
* | | Fold exports.Graydon Hoare2011-03-091-0/+13
* | | rustc: Fold over the paths in tag patterns so that we can resolve type variab...Patrick Walton2011-03-081-1/+4
| |/ |/|
* | Permit view items in native modules.Graydon Hoare2011-03-071-1/+8
* | Make ret and fail stmts have 0 out-edges, Closes #250.Graydon Hoare2011-03-051-2/+2
* | Make the expanded expression in expr_ext not optionalBrian Anderson2011-03-021-5/+4
* | Add fold, typecheck and trans for expr_extBrian Anderson2011-03-021-0/+24
* | Parse (and ignore) dtors on objs.Graydon Hoare2011-03-011-5/+14
* | There are no native iterators (or at least they are not going to be supportedRafael Ávila de Espíndola2011-02-251-8/+9
* | Parse the abi in native modules.Rafael Ávila de Espíndola2011-02-231-0/+1
* | Make a tag for iterness / fnness, teach many places about it.Graydon Hoare2011-02-181-17/+21
* | More typechecking for native types and the needed plumbing in codegen.Rafael Avila de Espindola2011-02-161-6/+6
* | Add basic front-end support for 'for each' loops.Graydon Hoare2011-02-141-0/+19
* | Add basic front-end support for expr_put.Graydon Hoare2011-02-141-0/+20
* | Move all non-decl/non-expr stmts to exprs.Graydon Hoare2011-02-141-64/+72
* | Expand expr_rec to take its optional trailing 'with' parameter.Graydon Hoare2011-02-141-6/+15
* | Add support to pat_lit to fold.Graydon Hoare2011-02-101-0/+11
* | Parse 'be' statement. Pass tailcall tests. No actual tailcalls yet.Brian Anderson2011-02-101-0/+13
* | Add missing fold of native functions.Rafael Avila de Espindola2011-02-101-1/+2
* | Parse function declarations.Rafael Ávila de Espíndola2011-02-041-14/+46
* | Add most of the plumbing for native items and add support for parsing native ...Rafael Ávila de Espíndola2011-02-021-1/+44