aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/effect.ml
Commit message (Expand)AuthorAgeFilesLines
* Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin2010-08-091-1/+1
* Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare2010-07-271-2/+2
* Improve mutability checking. Closes #118.Graydon Hoare2010-07-231-1/+1
* Widen write mutability check to cover all writing stmts.Graydon Hoare2010-07-231-10/+22
* Include all lval-writing statements in stmt_is_init calculation, not just "co...Graydon Hoare2010-07-231-1/+1
* Minimize pointless logging during walk.Graydon Hoare2010-07-141-1/+2
* Add detection for cyclic imports.Graydon Hoare2010-07-081-1/+1
* Use simplified_ty in effect.Graydon Hoare2010-06-301-1/+1
* Add logging to type and effect.Graydon Hoare2010-06-301-0/+5
* Initial stab at lowering mutable and exterior into the type system.Graydon Hoare2010-06-291-11/+16
* Some fixme-to-issue housekeeping.Graydon Hoare2010-06-281-1/+3
* Add test of recursive object types (ha, work by default) and fix effect-walke...Graydon Hoare2010-06-251-0/+16
* Populate tree.Graydon Hoare2010-06-231-0/+313