about summary refs log tree commit diff
path: root/src/boot/fe/token.ml
AgeCommit message (Collapse)AuthorLines
2011-05-13Remove rustboot from the repository.Graydon Hoare-334/+0
2011-05-02Un-revert "Use different syntax for checks that matter to typestate", fixing ↵Patrick Walton-0/+2
the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118.
2011-05-02Revert "Use different syntax for checks that matter to typestate"Graydon Hoare-2/+0
This reverts commit aa25f22f197682de3b18fc4c8ba068d1feda220f. It broke stage2, not sure why yet.
2011-05-02Use different syntax for checks that matter to typestateTim Chevalier-0/+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.
2011-04-19Remove half-baked 'opacity' layer qualifier.Graydon Hoare-6/+0
2011-04-19Remove effect system from src.Graydon Hoare-4/+2
2011-04-19Add log_err to rustbootMarijn Haverbeke-0/+2
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.
2010-12-03Change 'stratum' to the friendlier term 'layer'.Graydon Hoare-2/+2
2010-11-02First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare-4/+16
2010-09-30implemented break for while-loop caseOr Brostovski-0/+4
ast.ml - added break and cont statements item.ml - added break and cont statements lexer.mll - added break and cont statements token.ml - added break and cont statements trans.ml - implemented the break statement for the while-loop case - replaced hash table accesses with get_stmt_depth where needed type.ml = added break and cont statements typestate.ml - implemented the break statement for the while-loop case - added shorthand filter_live_block_slots walk.ml - added break and cont statements while-with-break.rs - code for testing while loops
2010-09-20Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵Graydon Hoare-0/+2
translate 0-ary constructors as constants. Rustc loses ~300kb.
2010-09-14Teach front-end about simple, first-cut version of const items.Graydon Hoare-0/+2
2010-07-27Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵Graydon Hoare-4/+12
a cast notation. Closes #129.
2010-07-09Fix typo in token.ml.Matt Brubeck-1/+1
2010-07-01Add machine-dependent 'float' type.Graydon Hoare-0/+2
2010-06-23Populate tree.Graydon Hoare-0/+308