| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Un-revert "Use different syntax for checks that matter to typestate", fixing ... | Patrick Walton | 2011-05-02 | 1 | -0/+8 |
| * | Revert "Use different syntax for checks that matter to typestate" | Graydon Hoare | 2011-05-02 | 1 | -8/+0 |
| * | Use different syntax for checks that matter to typestate | Tim Chevalier | 2011-05-02 | 1 | -0/+8 |
| * | 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 build... | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of... | Graydon Hoare | 2011-03-25 | 1 | -1/+1 |
| * | 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 |
| * | 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, translate... | Graydon Hoare | 2010-09-20 | 1 | -13/+27 |
| * | 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 late... | Graydon Hoare | 2010-09-15 | 1 | -5/+26 |
| * | 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 wo... | Graydon Hoare | 2010-09-09 | 1 | -115/+120 |
| * | 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 |
| |\ |
|
| | * | Modified parser to handle alt type andadded a few tests | Or Brostovski | 2010-08-21 | 1 | -62/+110 |
| * | | 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 ability... | Graydon Hoare | 2010-08-16 | 1 | -3/+11 |
| * | | 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 |
| | * | 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 them... | Graydon Hoare | 2010-07-13 | 1 | -6/+7 |
| * | | 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; ke... | Graydon Hoare | 2010-06-30 | 1 | -1/+1 |
| * | 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 i... | Graydon Hoare | 2010-06-27 | 1 | -7/+21 |
| * | Resolve and typecheck patterns in pattern alt redux. This time featuring way... | Roy Frostig | 2010-06-25 | 1 | -14/+16 |
| * | 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 |