aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/transutil.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.
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly ↵Graydon Hoare2010-09-091-13/+11
| | | | work, possibly a little bumpy. Changes a lot.
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-271-2/+0
| | | | | | | - 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.
* Terminology mop-up.Graydon Hoare2010-07-021-2/+2
|
* Some work on teaching trans to differentiate between auto-deref and ↵Graydon Hoare2010-07-011-0/+6
| | | | explicit-deref contexts.
* Implement STMT_init_box in trans, clean up some of the semant table-accessors.Graydon Hoare2010-07-011-2/+2
|
* Rename 'exterior' to 'box' and 'interior' to 'local' (at least wrt. slots; ↵Graydon Hoare2010-06-301-4/+4
| | | | keep MEM_interior for describing interior-parts-of-allocations)
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-29/+35
|
* Change slot_mem_ctrl to classify vec[state] as GC mem. Breaking / XFAILing ↵Graydon Hoare2010-06-271-1/+4
| | | | mutable-vec-drop.rs test.
* Further attempts to convince mem_ctrl to be sane.Graydon Hoare2010-06-251-1/+3
|
* Revert "Add intrinsic calling convention." Isn't going to work.Graydon Hoare2010-06-251-22/+0
| | | | This reverts commit 72c6c60d80cdfe63af5046a1a98549f0515734f2.
* Add intrinsic calling convention.Graydon Hoare2010-06-241-0/+22
|
* Populate tree.Graydon Hoare2010-06-231-0/+238