aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/pexp.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove half-baked 'opacity' layer qualifier.Graydon Hoare2011-04-191-5/+0
* Remove effect system from src.Graydon Hoare2011-04-191-14/+7
* Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare2011-03-251-1/+1
* Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare2011-03-251-1/+1
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare2011-03-251-1/+1
* rustboot: Parse, and ignore, "mutable?"Patrick Walton2011-03-181-2/+14
* Syntax tweak: move 'mutable' from pseudo-ty-param on vec ctor to low-preceden...Graydon Hoare2010-12-131-10/+20
* Change 'stratum' to the friendlier term 'layer'.Graydon Hoare2010-12-031-8/+8
* Shift obj, type, param decls to have strata rather than effects.Graydon Hoare2010-11-021-4/+7
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-021-5/+17
* Sketch out #fmt syntax extension in rustboot.Graydon Hoare2010-10-011-42/+178
* Wrap long lines.Graydon Hoare2010-09-201-2/+4
* Use name_base in plval base.Graydon Hoare2010-09-201-9/+4
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late...Graydon Hoare2010-09-151-2/+3
* Commence moving pexp into ast, for eventual merger with expr.Graydon Hoare2010-09-141-130/+104
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare2010-09-091-18/+0
* Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-091-5/+24
* Move 'as' precedence up to just above relational; support indexing str and ve...Graydon Hoare2010-08-051-25/+25
* Fix pexp parser to do left-associativity, not right. Closes #130.Graydon Hoare2010-08-041-36/+86
* Add tests and fix pexp bug. Closes #141.Graydon Hoare2010-08-031-1/+1
* Switch machine-type lexemes to use suffixes. Remove support for foo(bar) as a...Graydon Hoare2010-07-271-101/+3
* Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare2010-07-231-10/+10
* Re-classify some err / bug cases as unimpl. Ideally rustboot should never pro...Graydon Hoare2010-07-221-1/+1
* Make mutability no longer a type constructorPatrick Walton2010-07-151-39/+57
* Parse effect-qualified type definitions.Graydon Hoare2010-07-021-3/+0
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke...Graydon Hoare2010-06-301-7/+7
* Add support for parsing COMP_deref lval components (*foo).Graydon Hoare2010-06-301-0/+13
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-68/+47
* Rearrange pexp-custom stuff a bit.Graydon Hoare2010-06-251-22/+16
* Add fmt module, move out some common format helpers, add instruction-selectio...Graydon Hoare2010-06-241-1/+1
* Populate tree.Graydon Hoare2010-06-231-0/+1354