aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/effect.ml
Commit message (Collapse)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 ↵Graydon Hoare2010-06-251-0/+16
| | | | effect-walker bug revealed by it.
* Populate tree.Graydon Hoare2010-06-231-0/+313