| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Continued sketching out code for checking states against preconditions. | Tim Chevalier | 2011-04-06 | 1 | -2/+2 |
| | | | | | | | | | | 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 Kuper | 2011-04-05 | 1 | -2/+6 |
| | | | | | | | | | | | | | | 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() | ||||
| * | Oops -- if we're going to use the pretty-printer, we need it to work. | Lindsey Kuper | 2011-04-05 | 1 | -0/+5 |
| | | |||||
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -8/+8 |
| | | | | | | | | | | | | | | | | 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. | ||||
| * | Add block_to_str and expr_to_str methods to the pprust module. | Brian Anderson | 2011-03-31 | 1 | -0/+18 |
| | | | | | Since pprust is authed impure these can be used for debug logging. | ||||
| * | rustc: Add a type annotation to tag items | Patrick Walton | 2011-03-31 | 1 | -1/+1 |
| | | |||||
| * | More stuff to go with the new expr_call_self AST node | Lindsey Kuper | 2011-03-31 | 1 | -0/+7 |
| | | |||||
| * | Improve line comment positioning | Marijn Haverbeke | 2011-03-31 | 1 | -27/+64 |
| | | | | | This involved making ast.variant spanned. | ||||
| * | Support break and cont in pretty-printer | Marijn Haverbeke | 2011-03-31 | 1 | -0/+6 |
| | | |||||
| * | Add effect field to ast.ty_fn. | Marijn Haverbeke | 2011-03-31 | 1 | -4/+9 |
| | | | | | Still not used, except by the pretty-printer. | ||||
| * | Preserve comments when pretty-printing. | Marijn Haverbeke | 2011-03-31 | 1 | -696/+845 |
| | | | | | | The patch also includes a number of smaller fixes to the pretty-printer that were encountered on the way. | ||||
| * | Update pretty printer for ports, channels, send and receive | Brian Anderson | 2011-03-25 | 1 | -1/+33 |
| | | |||||
| * | Refactor ast.local to make room for initialization via recv | Brian Anderson | 2011-03-25 | 1 | -2/+2 |
| | | |||||
| * | make lexer unicode-aware for strings and char literals | Marijn Haverbeke | 2011-03-25 | 1 | -1/+0 |
| | | |||||
| * | Started adding support for floating-point type, floating-point literals, and ↵ | Tim Chevalier | 2011-03-21 | 1 | -0/+3 |
| | | | | | logging of floats. Other operations on float probably don't work yet. | ||||
| * | Modify native_item_fn to handle trailing linkage names that differ from the ↵ | Graydon Hoare | 2011-03-20 | 1 | -1/+5 |
| | | | | | item name (used in win32 build of std.dll) | ||||
| * | rustc: Implement "mutable?". Add a test case and XFAIL it in rustboot for now. | Patrick Walton | 2011-03-18 | 1 | -2/+4 |
| | | |||||
| * | rustc: Switch mutability from being a type constructor to a field annotation | Patrick Walton | 2011-03-17 | 1 | -25/+30 |
| | | |||||
| * | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵ | Graydon Hoare | 2011-03-16 | 1 | -1/+1 |
| | | | | | Tweak std lib vec fns in process. | ||||
| * | rustc: Add an annotation for the crate definition to view_item_use | Patrick Walton | 2011-03-15 | 1 | -1/+1 |
| | | |||||
| * | Merge remote branch 'brson/recursive-elseif' | Graydon Hoare | 2011-03-14 | 1 | -18/+10 |
| |\ | |||||
| | * | Merge branch 'master' into recursive-elseif | Brian Anderson | 2011-03-13 | 1 | -19/+56 |
| | |\ | | | | | | | | | | | | | | | | Conflicts: src/comp/middle/typeck.rs | ||||
| | * | | Merge branch 'master' into recursive-elseif | Brian Anderson | 2011-03-07 | 1 | -18/+10 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: src/Makefile src/comp/front/ast.rs src/comp/front/parser.rs src/comp/middle/fold.rs src/comp/middle/trans.rs | ||||
| * | | | Make pretty-printer print 'with' clause in rec literals | Marijn Haverbeke | 2011-03-14 | 1 | -1/+11 |
| | |/ |/| | |||||
| * | | Add ty_obj case to pretty printer | Marijn Haverbeke | 2011-03-09 | 1 | -16/+37 |
| | | | |||||
| * | | Have the pretty-printer take a writer stream as argument | Marijn Haverbeke | 2011-03-09 | 1 | -2/+8 |
| | | | | | | | | | | | It now uses a string writer to also fill in for middle.ty.ast_ty_to_str | ||||
| * | | Add partial pretty-printing for syntax extensions | Brian Anderson | 2011-03-07 | 1 | -1/+10 |
| | | | |||||
| * | | Add missing alt arm to expr_if pretty-printer | Brian Anderson | 2011-03-07 | 1 | -0/+1 |
| |/ | |||||
| * | Add a pretty-printer | Marijn Haverbeke | 2011-03-07 | 1 | -0/+716 |
| Adds a -pp option to the compiler which will cause it to simply pretty-print the given file. | |||||