aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/effect.ml
Commit message (Expand)AuthorAgeFilesLines
* 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