aboutsummaryrefslogtreecommitdiff
path: root/src/comp/middle/fold.rs
Commit message (Collapse)AuthorAgeFilesLines
* Continued sketching out code for checking states against preconditions.Tim Chevalier2011-04-061-12/+17
| | | | | | | | | It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway.
* Further on the path toward self-awareness.Lindsey Kuper2011-04-051-6/+5
| | | | | | | | | | | | | Mostly: * Merciless refactoring of trans.rs so that trans_call can work for self-calls as well as other kinds of calls Also: * Various changes to go with having idents, rather than exprs, in expr_call_self AST nodes * Added missing case for SELF token to token.to_str()
* Started adding support for typestate checking.Tim Chevalier2011-04-011-48/+50
| | | | | | | | | | | | | | | I added a new field to the ast "ann" type for typestate information. Currently, the field contains a record of a precondition bit vector and postcondition vector, but I tried to structure things so as to make it easy to change the representation of the typestate annotation type. I also had to add annotations to some syntactic forms that didn't have them before (fail, ret, be...), with all the boilerplate changes that that would imply. The main call to the typestate_check entry point is commented out and the actual pre-postcondition algorithm only has a few cases implemented, though the overall AST traversal is there. The rest of the typestate algorithm isn't implemented yet.
* 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
| | | | This involved making ast.variant spanned.
* Add effect field to ast.ty_fn.Marijn Haverbeke2011-03-311-11/+12
| | | | Still not used, except by the pretty-printer.
* rustc: Thread an item-to-type mapping throughout the typechecking and ↵Patrick Walton2011-03-301-5/+5
| | | | translation phases
* 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
| | | | | Testing proper cleanup is hampered by https://github.com/graydon/rust/issues/293
* 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 ↵Graydon Hoare2011-03-251-1/+1
| | | | | | build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵Graydon Hoare2011-03-251-1/+1
| | | | off src root.
* 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 ↵Graydon Hoare2011-03-201-4/+7
| | | | item name (used in win32 build of std.dll)
* 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. ↵Graydon Hoare2011-03-161-19/+18
| | | | Tweak std lib vec fns in process.
* 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
| |\ | | | | | | | | | | | | | | | Conflicts: src/comp/middle/typeck.rs
| * \ Merge branch 'master' into recursive-elseifBrian Anderson2011-03-071-89/+318
| |\ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/Makefile src/comp/front/ast.rs src/comp/front/parser.rs src/comp/middle/fold.rs src/comp/middle/trans.rs
| * | | 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, ↵Brian Anderson2011-03-141-29/+30
| | | | | | | | | | | | | | | | to which they are similar
* | | | 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 ↵Patrick Walton2011-03-081-1/+4
| |/ |/| | | | | variables in them
* | 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
| | | | | | | | soon.).
* | 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
| | | | | | | | type declarations.
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-12 21:53:56 +0000