aboutsummaryrefslogtreecommitdiff
path: root/src/boot/fe/pexp.ml
Commit message (Collapse)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 ↵Graydon Hoare2011-03-251-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 Hoare2011-03-251-1/+1
| | | | off src root.
* rustboot: Parse, and ignore, "mutable?"Patrick Walton2011-03-181-2/+14
|
* Syntax tweak: move 'mutable' from pseudo-ty-param on vec ctor to ↵Graydon Hoare2010-12-131-10/+20
| | | | low-precedence prefix inside paren.
* 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 ↵Graydon Hoare2010-09-151-2/+3
| | | | later stages. Fixes to pexp pretty printer.
* 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 ↵Graydon Hoare2010-09-091-18/+0
| | | | work, possibly a little bumpy. Changes a lot.
* Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-091-5/+24
| | | | | after the "spawn" keyword, or implicitly the call expression used to start the spawn.
* Move 'as' precedence up to just above relational; support indexing str and ↵Graydon Hoare2010-08-051-25/+25
| | | | vec by all integral types. Closes #94.
* 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 ↵Graydon Hoare2010-07-271-101/+3
| | | | a cast notation. Closes #129.
* 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 ↵Graydon Hoare2010-07-221-1/+1
| | | | produce a backtrace.
* 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; ↵Graydon Hoare2010-06-301-7/+7
| | | | keep MEM_interior for describing interior-parts-of-allocations)
* 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 ↵Graydon Hoare2010-06-241-1/+1
| | | | instruction-selection tracing and make selection use queues rather than list refs.
* Populate tree.Graydon Hoare2010-06-231-0/+1354