aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/alias.ml
Commit message (Collapse)AuthorAgeFilesLines
* 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.
* Add a check for binding an alias. Good thing, as we had two instances in our ↵Graydon Hoare2010-11-081-0/+26
| | | | library.
* Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)Graydon Hoare2010-10-081-3/+2
|
* Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-091-1/+1
| | | | | after the "spawn" keyword, or implicitly the call expression used to start the spawn.
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-271-6/+5
| | | | | | | - Remove redundant uses of 'resolve' and 'referent' in semant. - Use defn, defn_id, lval, lval_base more consistently. - Make associated query functions more consistent. - Closes #127.
* Rename STMT_init_* to STMT_new_*; former name was confusing.Graydon Hoare2010-07-231-4/+4
|
* Make mutability no longer a type constructorPatrick Walton2010-07-151-1/+1
|
* Minimize pointless logging during walk.Graydon Hoare2010-07-141-1/+2
|
* Build fix from jmuizelaar (on ocamlc versions that notice this bug; drat, ↵Graydon Hoare2010-07-081-1/+1
| | | | not all do)
* Relax alias-analysis pass to permit literal-aliasing.Graydon Hoare2010-07-011-1/+1
|
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-1/+1
|
* Fix over-conservatism in alias analysis.Graydon Hoare2010-06-251-7/+4
|
* Populate tree.Graydon Hoare2010-06-231-0/+134