| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Un-revert "Use different syntax for checks that matter to typestate", fixing ↵ | Patrick Walton | 2011-05-02 | 1 | -0/+8 |
| | | | | | | | the problem. This reverts commit d08b443fffb1181d8d45ae5d061412f202dd4118. | ||||
| * | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | 2011-05-02 | 1 | -8/+0 |
| | | | | | 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 | -0/+8 |
| | | | | | | | | | | | 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 | -5/+2 |
| | | |||||
| * | Remove effect system from src. | Graydon Hoare | 2011-04-19 | 1 | -20/+7 |
| | | |||||
| * | Add log_err to rustboot | Marijn Haverbeke | 2011-04-19 | 1 | -0/+5 |
| | | |||||
| * | 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. | ||||
| * | Change 'stratum' to the friendlier term 'layer'. | Graydon Hoare | 2010-12-03 | 1 | -14/+14 |
| | | |||||
| * | Shift obj, type, param decls to have strata rather than effects. | Graydon Hoare | 2010-11-02 | 1 | -14/+24 |
| | | |||||
| * | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | 2010-11-02 | 1 | -14/+21 |
| | | |||||
| * | implemented break for while-loop case | Or Brostovski | 2010-09-30 | 1 | -1/+8 |
| | | | | | | | | | | | | | | | 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 | ||||
| * | Closed issue 154 - prevents compiler from compiliing a line to zero statements | Or Brostovski | 2010-09-30 | 1 | -1/+10 |
| | | |||||
| * | Report an error instead of asserting when an item name is already in use | Patrick Walton | 2010-09-21 | 1 | -3/+7 |
| | | |||||
| * | Tighten pattern parsing on 0-ary constructors. | Graydon Hoare | 2010-09-21 | 1 | -1/+5 |
| | | |||||
| * | Bind pattern slots with ?, drop parens from 0-ary tag constructors, ↵ | Graydon Hoare | 2010-09-20 | 1 | -13/+27 |
| | | | | | translate 0-ary constructors as constants. Rustc loses ~300kb. | ||||
| * | Move id counters into sess in preparation for moving desugaring to middle-end. | Graydon Hoare | 2010-09-20 | 1 | -8/+1 |
| | | |||||
| * | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵ | Graydon Hoare | 2010-09-15 | 1 | -5/+26 |
| | | | | | later stages. Fixes to pexp pretty printer. | ||||
| * | Teach front-end about simple, first-cut version of const items. | Graydon Hoare | 2010-09-14 | 1 | -0/+18 |
| | | |||||
| * | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵ | Graydon Hoare | 2010-09-09 | 1 | -115/+120 |
| | | | | | work, possibly a little bumpy. Changes a lot. | ||||
| * | First lame stab at solving the diamond import problem | Patrick Walton | 2010-09-08 | 1 | -1/+6 |
| | | |||||
| * | Initial support for a global crate metadata cache | Patrick Walton | 2010-09-07 | 1 | -1/+1 |
| | | |||||
| * | Merge remote branch 'tohava/master' | Graydon Hoare | 2010-08-23 | 1 | -62/+110 |
| |\ | | | | | | | | | Conflicts: src/boot/fe/ast.ml | ||||
| | * | Modified parser to handle alt type andadded a few tests | Or Brostovski | 2010-08-21 | 1 | -62/+110 |
| | | | | | | | | | | | | | | | | | | | | | | | | | ast.ml - modified arm types for easier polymorphism - fixed a bug in fmt_type_arm dead.ml - modified arm types for easier polymorphism common.ml - added 'either' - added some useful auxiliary functions item.ml - modified arm code to be more polymorphic and handle both alt-tag and alt-type, also fixed the problematic case in bad-alt.rs Makefile - added XFAIL for new alt-type test bad-alt.rs - added test for invalid alt syntax alt-type-simple.rs - added simple test for alt type | ||||
| * | | Warn when the value of "spawn" is unused, as it's useless | Patrick Walton | 2010-08-20 | 1 | -1/+5 |
| | | | |||||
| * | | Absent any deep overhauls to syntax or constant-handling, hack in the ↵ | Graydon Hoare | 2010-08-16 | 1 | -3/+11 |
| | | | | | | | | | ability to project a cexp var binding to a token in the parser. Use it in comp/rustc.rc and comp/lib/llvm.rs. | ||||
| * | | Kill old parser support for type-parametric modules. We don't support those. | Graydon Hoare | 2010-08-12 | 1 | -2/+2 |
| |/ | |||||
| * | Accept uint literals as literal patterns. | Roy Frostig | 2010-08-06 | 1 | -1/+4 |
| | | |||||
| * | Include the statements on the LHS of a binop when desugaring. Closes #117. | Patrick Walton | 2010-07-19 | 1 | -56/+57 |
| | | |||||
| * | Merge branch 'contrib' | Graydon Hoare | 2010-07-15 | 1 | -87/+88 |
| |\ | |||||
| | * | use,import,export parse fixes | Adam Bozanich | 2010-07-16 | 1 | -73/+87 |
| | | | | | | | | | | | * use,import,export must come before all other items. * disallow use,import in "native" declarations. | ||||
| | * | permit use before import. closes #48 | Adam Bozanich | 2010-07-16 | 1 | -36/+23 |
| | | | |||||
| * | | Desugar the head stmts all the way out of STMT_for, rather than stashing ↵ | Graydon Hoare | 2010-07-13 | 1 | -6/+7 |
| | | | | | | | | | them in the node. That's only necessary for STMT_while. | ||||
| * | | Accept effect-qualified local item declarations. | Graydon Hoare | 2010-07-13 | 1 | -1/+1 |
| |/ | |||||
| * | Parse effect-qualified type definitions. | Graydon Hoare | 2010-07-02 | 1 | -13/+20 |
| | | |||||
| * | Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵ | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| | | | | | keep MEM_interior for describing interior-parts-of-allocations) | ||||
| * | Initial stab at lowering mutable and exterior into the type system. | Graydon Hoare | 2010-06-29 | 1 | -4/+12 |
| | | |||||
| * | Some fixme-to-issue housekeeping. | Graydon Hoare | 2010-06-28 | 1 | -1/+0 |
| | | |||||
| * | Only translate or dwarf-emit items or stubs locally defined or used. Avoids ↵ | Graydon Hoare | 2010-06-27 | 1 | -7/+21 |
| | | | | | instantiating O(sizeof(standard-library)) worth of imports stubs on each 'use std'. Closes issue 13. | ||||
| * | Resolve and typecheck patterns in pattern alt redux. This time featuring ↵ | Roy Frostig | 2010-06-25 | 1 | -14/+16 |
| | | | | | way more correctness. | ||||
| * | Resolve and typecheck patterns in pattern alt. | Roy Frostig | 2010-06-24 | 1 | -10/+15 |
| | | |||||
| * | Populate tree. | Graydon Hoare | 2010-06-23 | 1 | -0/+1139 |