| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2011-05-13 | Remove rustboot from the repository. | Graydon Hoare | -1795/+0 | |
| 2011-04-19 | Remove half-baked 'opacity' layer qualifier. | Graydon Hoare | -21/+0 | |
| 2011-04-19 | Remove effect system from src. | Graydon Hoare | -25/+2 | |
| 2011-04-19 | Add log_err to rustboot | Marijn Haverbeke | -0/+8 | |
| 2011-03-25 | Another go at changing compile-command, this time using RBUILD env var. | Graydon Hoare | -1/+1 | |
| 2011-03-25 | Revert "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-25 | Bulk-edit compile commands in emacs chatter to point to assumed build/ dir ↵ | Graydon Hoare | -1/+1 | |
| off src root. | ||||
| 2010-12-03 | Change 'stratum' to the friendlier term 'layer'. | Graydon Hoare | -25/+25 | |
| 2010-11-02 | Shift obj, type, param decls to have strata rather than effects. | Graydon Hoare | -13/+13 | |
| 2010-11-02 | First pass on splitting stratum and opacity off of effects. WIP. | Graydon Hoare | -20/+60 | |
| 2010-10-21 | rustboot: Don't use ridiculous type names when describing simple types like ↵ | Patrick Walton | -0/+11 | |
| int and uint | ||||
| 2010-09-30 | Drop slots on block exits even when blocks have no statements. Part way to ↵ | Graydon Hoare | -0/+1 | |
| fixing bind leakage in rustc. | ||||
| 2010-09-30 | implemented break for while-loop case | Or Brostovski | -0/+6 | |
| 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-20 | Use name_base in plval base. | Graydon Hoare | -8/+3 | |
| 2010-09-16 | Add a pexp-rebuild phase to the type resolution pass in resolve.ml. | Graydon Hoare | -0/+2 | |
| 2010-09-15 | Minor improvements to pretty-printer. | Graydon Hoare | -5/+16 | |
| 2010-09-15 | Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into ↵ | Graydon Hoare | -3/+7 | |
| later stages. Fixes to pexp pretty printer. | ||||
| 2010-09-15 | Add pretty-printing for pexps. | Graydon Hoare | -0/+145 | |
| 2010-09-15 | Add some form-judgements on plvals and pexps. | Graydon Hoare | -10/+86 | |
| 2010-09-14 | Commence moving pexp into ast, for eventual merger with expr. | Graydon Hoare | -1/+31 | |
| 2010-09-14 | Teach front-end about simple, first-cut version of const items. | Graydon Hoare | -0/+13 | |
| 2010-09-09 | Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵ | Graydon Hoare | -94/+19 | |
| work, possibly a little bumpy. Changes a lot. | ||||
| 2010-09-07 | Initial support for a global crate metadata cache | Patrick Walton | -4/+2 | |
| 2010-08-23 | Merge remote branch 'tohava/master' | Graydon Hoare | -7/+6 | |
| Conflicts: src/boot/fe/ast.ml | ||||
| 2010-08-21 | Modified parser to handle alt type andadded a few tests | Or Brostovski | -3/+6 | |
| 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 | ||||
| 2010-08-10 | Merge commit 'tohava/master' | Graydon Hoare | -20/+56 | |
| Conflicts: src/boot/fe/ast.ml | ||||
| 2010-08-09 | Add names to tasks and domains. These can either be an explicit literal string | Jeffrey Yasskin | -2/+3 | |
| after the "spawn" keyword, or implicitly the call expression used to start the spawn. | ||||
| 2010-08-07 | Added AST pretty printing for communication alt statement, closes issue 19. | Or Brostovski | -4/+38 | |
| 2010-08-06 | Added forgotten handling for alt_type_else, and also for stmt_note | Or Brostovski | -10/+26 | |
| 2010-08-06 | Added AST pretty printing for slice expression | Or Brostovski | -1/+28 | |
| 2010-08-06 | Added AST logging, and modified AST for consistent handling of alt stmts. | Or Brostovski | -18/+57 | |
| - Modified the arm types, instead of a single arm type, there are now 2 (soon to be 3) arm types, one for each type of alt statement - Added AST logging for constrained type (see fmt_constrained) - Added AST logging for STMT_alt_type - Created a generic fmt_arm for use with all alt statements | ||||
| 2010-08-06 | Added forgotten handling for alt_type_else, and also for stmt_note | Tohava | -10/+26 | |
| 2010-08-06 | Added AST pretty printing for slice expression | Tohava | -1/+28 | |
| 2010-08-05 | Added AST logging, and modified AST for consistent handling of alt stmts. | Tohava | -18/+57 | |
| - Modified the arm types, instead of a single arm type, there are now 2 (soon to be 3) arm types, one for each type of alt statement - Added AST logging for constrained type (see fmt_constrained) - Added AST logging for STMT_alt_type - Created a generic fmt_arm for use with all alt statements | ||||
| 2010-07-27 | Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as ↵ | Graydon Hoare | -7/+10 | |
| a cast notation. Closes #129. | ||||
| 2010-07-23 | Add pretty-printing for alt-tag statements. | Graydon Hoare | -1/+32 | |
| 2010-07-23 | Rename STMT_init_* to STMT_new_*; former name was confusing. | Graydon Hoare | -14/+14 | |
| 2010-07-22 | Source FIXME annotations for issue #81 and a correction to STMT_bind fmt. | Roy Frostig | -1/+1 | |
| 2010-07-20 | Tidy up handling of unimplemented features. These are expected (if ↵ | Graydon Hoare | -0/+12 | |
| undesirable) sorts of error, we should handle better than "backtrace and exit 2". | ||||
| 2010-07-20 | Fix opeq.rs for LLVM by implementing simple augmented-assignment operators. | Jeffrey Yasskin | -0/+1 | |
| 2010-07-20 | Make the LLVM compiler crash when it hits a source construct it doesn't know | Jeffrey Yasskin | -0/+2 | |
| what to do with, rather than silently omitting it from the output. | ||||
| 2010-07-15 | Make mutability no longer a type constructor | Patrick Walton | -9/+20 | |
| 2010-07-13 | Desugar the head stmts all the way out of STMT_for, rather than stashing ↵ | Graydon Hoare | -3/+2 | |
| them in the node. That's only necessary for STMT_while. | ||||
| 2010-07-12 | Merge branch 'contrib' | Graydon Hoare | -3/+3 | |
| 2010-07-12 | Wrap long line. | Graydon Hoare | -1/+2 | |
| 2010-07-13 | Fix formatting trivia in Ast.fmt_stmt_body. | Jason Orendorff | -3/+3 | |
| 2010-07-12 | Add a ty_children function to enumerate the children of any type | Patrick Walton | -0/+26 | |
| 2010-07-02 | Merge branch 'exterior_and_mutable_types' of git@github.com:graydon/rust ↵ | Graydon Hoare | -5/+9 | |
| into exterior_and_mutable_types | ||||
| 2010-07-02 | Parse effect-qualified type definitions. | Graydon Hoare | -6/+9 | |
| 2010-07-02 | Allow formatting individual decl_params | Patrick Walton | -5/+9 | |
