about summary refs log tree commit diff
path: root/src/comp/front/parser.rs
AgeCommit message (Collapse)AuthorLines
2011-04-06Continued sketching out code for checking states against preconditions.Tim Chevalier-7/+8
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.
2011-04-05Last pieces of self-call support.Lindsey Kuper-1/+1
The last few pieces of the hack that lets us use trans.trans_call() to translate self-calls, plus a fix for the parser buy that was preventing self-call expressions from getting past parsing. test/run-pass/obj-self.rs works now (as in it actually prints "hi!" twice!).
2011-04-05Further on the path toward self-awareness.Lindsey Kuper-1/+3
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()
2011-04-04Make box prefix operator and box type carry mutability flag.Graydon Hoare-1/+2
2011-04-01Started adding support for typestate checking.Tim Chevalier-18/+18
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.
2011-03-31rustc: Add a type annotation to tag itemsPatrick Walton-1/+2
2011-03-31Remove redundant parser logic.Brian Anderson-33/+0
These cases are all dealt with in parse_expr_inner.
2011-03-31Improve line comment positioningMarijn Haverbeke-3/+7
This involved making ast.variant spanned.
2011-03-31Support break and cont in pretty-printerMarijn Haverbeke-0/+2
2011-03-31Add effect field to ast.ty_fn.Marijn Haverbeke-12/+11
Still not used, except by the pretty-printer.
2011-03-31Preserve comments when pretty-printing.Marijn Haverbeke-1/+3
The patch also includes a number of smaller fixes to the pretty-printer that were encountered on the way.
2011-03-30rustc: Thread an item-to-type mapping throughout the typechecking and ↵Patrick Walton-2/+2
translation phases
2011-03-29Beginnings of support for magical self prefix; nothing profound happening yet.Lindsey Kuper-0/+15
2011-03-29Ignore 'mutable foo' in plain field contexts.Graydon Hoare-0/+6
2011-03-28Add expr_spawn, spawn parsing, folding, typechecking, ty_taskBrian Anderson-0/+24
2011-03-28rustc: Add support for calling LLVM intrinsics as native functionsPatrick Walton-0/+2
2011-03-27Add support for break and cont to rustcMarijn Haverbeke-0/+10
Testing proper cleanup is hampered by https://github.com/graydon/rust/issues/293
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-1/+1
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵Graydon Hoare-1/+1
build/ dir off src root." This reverts commit 846f2e2ba994268725f38c36fa12f1a09f21615c.
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵Graydon Hoare-1/+1
off src root.
2011-03-25rustc: Store cached crate metadata in the sessionPatrick Walton-1/+1
2011-03-25Update pretty printer for ports, channels, send and receiveBrian Anderson-0/+2
2011-03-25Implement local declarations with receive. Un-XFAIL decl-with-recv.rs.Brian Anderson-6/+14
2011-03-25Refactor ast.local to make room for initialization via recvBrian Anderson-3/+4
2011-03-23Support for 'float' in type signatures.Lindsey Kuper-0/+1
2011-03-22Further support for floating-point. Literals with exponents workTim Chevalier-0/+4
and literals with the 'f32' or 'f64' suffixes work as well. In addition, logging things with the f32 or f64 type works. (float is still assumed to be a synonym for f64).
2011-03-21Started adding support for floating-point type, floating-point literals, and ↵Tim Chevalier-0/+4
logging of floats. Other operations on float probably don't work yet.
2011-03-20Modify native_item_fn to handle trailing linkage names that differ from the ↵Graydon Hoare-1/+7
item name (used in win32 build of std.dll)
2011-03-18rustc: When encountering "mutable" as a tycon, parse it, drop it on the ↵Patrick Walton-0/+9
floor, and emit a warning
2011-03-18rustc: Implement "mutable?". Add a test case and XFAIL it in rustboot for now.Patrick Walton-0/+4
2011-03-17rustc: Switch mutability from being a type constructor to a field annotationPatrick Walton-40/+54
2011-03-17rustc: Typo: mutabliity -> mutabilityPatrick Walton-3/+3
2011-03-16Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵Graydon Hoare-11/+9
Tweak std lib vec fns in process.
2011-03-15rustc: Add an annotation for the crate definition to view_item_usePatrick Walton-1/+2
2011-03-14Merge remote branch 'brson/recursive-elseif'Graydon Hoare-31/+23
2011-03-14Fix typo in expr_recv parsingBrian Anderson-1/+1
2011-03-14Parse receive expressionsBrian Anderson-0/+6
2011-03-14Parse port and chan types, constructors, send statementsBrian Anderson-0/+39
2011-03-14Extend stream functionalityMarijn Haverbeke-1/+1
Writer and reader streams now come with methods to write and read little-endian numbers. Whether that is the right place for such methods is debatable, but for now, that's where they live.
2011-03-14Add basic file-system functionalityMarijn Haverbeke-1/+1
std.fs.list_dir will list the files in a directory, std.fs.file_is_dir will, given a pathname, determine whether it is a directory or not.
2011-03-13Merge branch 'master' into recursive-elseifBrian Anderson-41/+15
Conflicts: src/comp/middle/typeck.rs
2011-03-11Preserve crate directives in the parsed crate.Graydon Hoare-6/+5
2011-03-11reindex the block index.Rafael Ávila de Espíndola-35/+1
2011-03-11Add support for indexing tags in blocks.Rafael Ávila de Espíndola-10/+14
2011-03-10Update the current id when we create sub parsers.Rafael Ávila de Espíndola-3/+8
2011-03-07Merge branch 'master' into recursive-elseifBrian Anderson-314/+738
Conflicts: src/Makefile src/comp/front/ast.rs src/comp/front/parser.rs src/comp/middle/fold.rs src/comp/middle/trans.rs
2011-03-07Parse opacity (and drop on the floor), so std.rc parses now.Graydon Hoare-0/+16
2011-03-07Add a pretty-printerMarijn Haverbeke-0/+1
Adds a -pp option to the compiler which will cause it to simply pretty-print the given file.
2011-03-07Permit view items in native modules.Graydon Hoare-2/+20
2011-03-07Stage the last compile fix to put out fire. Thanks git.Graydon Hoare-0/+1