| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Make the parser more careful about keywords | Marijn Haverbeke | 2011-05-13 | 1 | -146/+1 |
| | | | | | | | Keywords are now only recognized in contexts where they are valid. The lexer no longer recognizes them, all words are lexed as IDENT tokens, that get interpreted by the parser. | ||||
| * | Downcase std modules again, move to :: for module dereferencing | Marijn Haverbeke | 2011-05-12 | 1 | -198/+198 |
| | | | | | This should be a snapshot transition. | ||||
| * | Change module dereference syntax from . to :: | Marijn Haverbeke | 2011-05-12 | 1 | -2/+10 |
| | | | | | This will need to be a snapshot. | ||||
| * | Properly lex block comments followed by EOF | Marijn Haverbeke | 2011-05-12 | 1 | -4/+4 |
| | | |||||
| * | Remove unused filename parameter from lexer.new_reader | Brian Anderson | 2011-05-11 | 1 | -2/+2 |
| | | |||||
| * | Give the lexer a session so that it can fail more informatively | Brian Anderson | 2011-05-11 | 1 | -18/+29 |
| | | |||||
| * | Remove boxes from token.t. | Graydon Hoare | 2011-05-09 | 1 | -7/+20 |
| | | |||||
| * | Rename std modules to be camelcased | Marijn Haverbeke | 2011-05-06 | 1 | -40/+40 |
| | | | | | (Have fun mergining your stuff with this.) | ||||
| * | Bring back "pred" syntax for writing predicates for check | Tim Chevalier | 2011-05-05 | 1 | -0/+1 |
| | | | | | | | | | | | This commit reinstates the requirement that the predicate in a "check" must be a manifest call to a special kind of function declared with the new "pred" keyword instead of "fn". Preds must have a boolean return type and can only call other preds; they can't have any effects (as enforced by the typechecker). The arguments to a predicate in a check expression must be slot variables or literals. | ||||
| * | Remove 'deprecated mutable...' from our code | Marijn Haverbeke | 2011-05-05 | 1 | -1/+1 |
| | | | | | This should make compilation a bit less noisy. | ||||
| * | Un-revert "Use different syntax for checks that matter to typestate", fixing ↵ | Patrick Walton | 2011-05-02 | 1 | -1/+2 |
| | | | | | | | the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118. | ||||
| * | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | 2011-05-02 | 1 | -2/+1 |
| | | | | | This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet. | ||||
| * | Use different syntax for checks that matter to typestate | Tim Chevalier | 2011-05-02 | 1 | -1/+2 |
| | | | | | | | | | | | This giant commit changes the syntax of Rust to use "assert" for "check" expressions that didn't mean anything to the typestate system, and continue using "check" for checks that are used as part of typestate checking. Most of the changes are just replacing "check" with "assert" in test cases and rustc. | ||||
| * | Remove half-baked 'opacity' layer qualifier. | Graydon Hoare | 2011-04-19 | 1 | -2/+0 |
| | | |||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -19/+18 |
| | | |||||
| * | replace error logging with log_err in stdlib and rustc | Marijn Haverbeke | 2011-04-19 | 1 | -14/+11 |
| | | |||||
| * | add log_err to rustc | Marijn Haverbeke | 2011-04-19 | 1 | -0/+1 |
| | | |||||
| * | Lex numeric escapes, needed for lib-str.rs (which now passes). | Graydon Hoare | 2011-04-13 | 1 | -13/+77 |
| | | |||||
| * | Move to single-uint file-position representation. | Marijn Haverbeke | 2011-04-09 | 1 | -43/+38 |
| | | | | | | | | | This makes passing them around cheaper. There is now a table (see front/codemap.rs) that is needed to transform such an uint into an actual filename/line/col location. Also cleans up the span building in the parser a bit. | ||||
| * | Make lexer buffer the whole file | Marijn Haverbeke | 2011-04-09 | 1 | -59/+66 |
| | | | | | | This way, it won't have to go through a bunch of calls for each byte fetched. | ||||
| * | Started adding support for typestate checking. | Tim Chevalier | 2011-04-01 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | 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. | ||||
| * | handle unterminated block comments and line comment at eof | Marijn Haverbeke | 2011-03-31 | 1 | -4/+9 |
| | | |||||
| * | Preserve comments when pretty-printing. | Marijn Haverbeke | 2011-03-31 | 1 | -0/+80 |
| | | | | | | The patch also includes a number of smaller fixes to the pretty-printer that were encountered on the way. | ||||
| * | Beginnings of support for magical self prefix; nothing profound happening yet. | Lindsey Kuper | 2011-03-29 | 1 | -0/+1 |
| | | |||||
| * | Add support for break and cont to rustc | Marijn Haverbeke | 2011-03-27 | 1 | -0/+2 |
| | | | | | | 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 Hoare | 2011-03-25 | 1 | -1/+1 |
| | | |||||
| * | Revert "Bulk-edit compile commands in emacs chatter to point to assumed ↵ | Graydon Hoare | 2011-03-25 | 1 | -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 Hoare | 2011-03-25 | 1 | -1/+1 |
| | | | | | off src root. | ||||
| * | Parse FP literals without coercing to int. This allows parsing 64-bit | Tim Chevalier | 2011-03-25 | 1 | -36/+59 |
| | | | | | | | floats. However, if someone writes a literal that can't be represented precisely in 64 bits, the front-end will accept it while the back-end will (presumably) complain. | ||||
| * | make lexer unicode-aware for strings and char literals | Marijn Haverbeke | 2011-03-25 | 1 | -5/+5 |
| | | |||||
| * | Start making the standard-lib utf-8 aware | Marijn Haverbeke | 2011-03-25 | 1 | -3/+3 |
| | | | | | | | Finally implements _str.is_utf8, adds from_chars, from_char, to_chars, char_at, char_len, (push|pop|shift|unshift)_char. Also, proper character I/O for streams. | ||||
| * | Further support for floating-point. Literals with exponents work | Tim Chevalier | 2011-03-22 | 1 | -7/+68 |
| | | | | | | | 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). | ||||
| * | Started adding support for floating-point type, floating-point literals, and ↵ | Tim Chevalier | 2011-03-21 | 1 | -12/+36 |
| | | | | | logging of floats. Other operations on float probably don't work yet. | ||||
| * | Switch all vases of vec += elt to vec += vec. Prohibit former in rustboot. ↵ | Graydon Hoare | 2011-03-16 | 1 | -7/+7 |
| | | | | | Tweak std lib vec fns in process. | ||||
| * | Extend stream functionality | Marijn Haverbeke | 2011-03-14 | 1 | -6/+6 |
| | | | | | | | 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. | ||||
| * | Make ret and fail stmts have 0 out-edges, Closes #250. | Graydon Hoare | 2011-03-05 | 1 | -4/+1 |
| | | |||||
| * | Teach rustc about reserved keywords | Brian Anderson | 2011-02-22 | 1 | -1/+16 |
| | | |||||
| * | Rename std._io to std.io since 'io' is no longer a keyword | Brian Anderson | 2011-02-22 | 1 | -1/+1 |
| | | |||||
| * | rustc: Lex '_' as an underscore, not as an identifier | Patrick Walton | 2010-12-15 | 1 | -1/+4 |
| | | |||||
| * | Fix token span tracking in lexer. | Graydon Hoare | 2010-12-09 | 1 | -3/+7 |
| | | |||||
| * | Implement binop= forms. Un-XFAIL bitwise.rs. | Graydon Hoare | 2010-12-08 | 1 | -1/+1 |
| | | |||||
| * | Support mach types in rustc, enable 5 more tests. | Graydon Hoare | 2010-11-22 | 1 | -34/+95 |
| | | |||||
| * | Fix lexer bug, enable 5 more tests on rustc. | Graydon Hoare | 2010-11-22 | 1 | -1/+1 |
| | | |||||
| * | Teach rustc lexer about changes to stratum, opacity and effect keywords. | Graydon Hoare | 2010-11-03 | 1 | -1/+5 |
| | | |||||
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -7/+7 |
| | | |||||
| * | rustc: Lex identifiers that have numbers in them too | Patrick Walton | 2010-10-13 | 1 | -2/+6 |
| | | |||||
| * | Patchwork of attempted fixes to effect system and gc system; eventually give ↵ | Graydon Hoare | 2010-09-29 | 1 | -9/+9 |
| | | | | | up and disable it entirely in the runtime. Will need extensive reworking. | ||||
| * | Translate a bunch of the material (lltrans, llasm, abi) from rustboot to ↵ | Graydon Hoare | 2010-09-23 | 1 | -0/+595 |
| rustc, and move files around. | |||||