about summary refs log tree commit diff
path: root/src/boot/me/effect.ml
AgeCommit message (Expand)AuthorLines
2011-04-19Remove effect system from src.Graydon Hoare-317/+0
2011-04-08Disable effect checking in rustbootMarijn Haverbeke-3/+5
2011-03-25Another go at changing compile-command, this time using RBUILD env var.Graydon Hoare-1/+1
2011-03-25Revert "Bulk-edit compile commands in emacs chatter to point to assumed build...Graydon Hoare-1/+1
2011-03-25Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare-1/+1
2011-01-21Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ...Graydon Hoare-34/+55
2010-11-03rustboot: Say exactly which name was unbound when reporting unbound name errorsPatrick Walton-2/+2
2010-11-02Split out stratum-checking pass, implement more-strict (overly aggressive) im...Graydon Hoare-93/+34
2010-11-02First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare-7/+7
2010-10-08Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)Graydon Hoare-4/+3
2010-09-09Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare-1/+1
2010-08-09Add names to tasks and domains. These can either be an explicit literal stringJeffrey Yasskin-1/+1
2010-07-27Distill semantics of use-def maps to fewer and more-obvious words.Graydon Hoare-2/+2
2010-07-23Improve mutability checking. Closes #118.Graydon Hoare-1/+1
2010-07-23Widen write mutability check to cover all writing stmts.Graydon Hoare-10/+22
2010-07-23Include all lval-writing statements in stmt_is_init calculation, not just "co...Graydon Hoare-1/+1
2010-07-14Minimize pointless logging during walk.Graydon Hoare-1/+2
2010-07-08Add detection for cyclic imports.Graydon Hoare-1/+1
2010-06-30Use simplified_ty in effect.Graydon Hoare-1/+1
2010-06-30Add logging to type and effect.Graydon Hoare-0/+5
2010-06-29Initial stab at lowering mutable and exterior into the type system.Graydon Hoare-11/+16
2010-06-28Some fixme-to-issue housekeeping.Graydon Hoare-1/+3
2010-06-25Add test of recursive object types (ha, work by default) and fix effect-walke...Graydon Hoare-0/+16
2010-06-23Populate tree.Graydon Hoare-0/+313