aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/walk.ml
Commit message (Expand)AuthorAgeFilesLines
* Add log_err to rustbootMarijn Haverbeke2011-04-191-1/+1
* 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
* Git index wins again.Graydon Hoare2010-10-121-1/+1
* Changes to make rustboot compile on OCaml 3.12Graydon Hoare2010-10-121-1/+1
* implemented break for while-loop caseOr Brostovski2010-09-301-2/+1
* Use name_base in plval base.Graydon Hoare2010-09-201-2/+2
* Teach walk about plvals and pexps.Graydon Hoare2010-09-151-8/+106
* Add Ast.ATOM_pexp and -pexp mode wherein pexps live beyond parsing, into late...Graydon Hoare2010-09-151-0/+1
* Teach front-end about simple, first-cut version of const items.Graydon Hoare2010-09-141-0/+3
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare2010-09-091-8/+3
* Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-091-1/+1
* Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare2010-07-231-7/+7
* 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-4/+4
* Minimize pointless logging during walk.Graydon Hoare2010-07-141-63/+0
* Desugar the head stmts all the way out of STMT_for, rather than stashing them...Graydon Hoare2010-07-131-2/+1
* Parse effect-qualified type definitions.Graydon Hoare2010-07-021-1/+1
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ke...Graydon Hoare2010-06-301-2/+2
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-6/+12
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-281-6/+8
* Resolve and typecheck patterns in pattern alt redux. This time featuring way...Roy Frostig2010-06-251-6/+8
* Add fmt module, move out some common format helpers, add instruction-selectio...Graydon Hoare2010-06-241-1/+1
* Resolve and typecheck patterns in pattern alt.Roy Frostig2010-06-241-2/+2
* Populate tree.Graydon Hoare2010-06-231-0/+687