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