aboutsummaryrefslogtreecommitdiff
path: root/src/boot/me/effect.ml
Commit message (Expand)AuthorAgeFilesLines
* Remove effect system from src.Graydon Hoare2011-04-191-317/+0
* Disable effect checking in rustbootMarijn Haverbeke2011-04-081-3/+5
* 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 build...Graydon Hoare2011-03-251-1/+1
* Bulk-edit compile commands in emacs chatter to point to assumed build/ dir of...Graydon Hoare2011-03-251-1/+1
* Tweak effect-checking rules in rustboot, remove/rewrite/re-auth impure cases ...Graydon Hoare2011-01-211-34/+55
* rustboot: Say exactly which name was unbound when reporting unbound name errorsPatrick Walton2010-11-031-2/+2
* Split out stratum-checking pass, implement more-strict (overly aggressive) im...Graydon Hoare2010-11-021-93/+34
* First pass on splitting stratum and opacity off of effects. WIP.Graydon Hoare2010-11-021-7/+7
* Add -lpath mechanism for logging only a subset of a pass (by module-path prefix)Graydon Hoare2010-10-081-4/+3
* Switch tags to purely nominal, removing TY_iso and TY_idx. Seems to mostly wo...Graydon Hoare2010-09-091-1/+1
* 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