diff options
| author | Graydon Hoare <[email protected]> | 2010-06-28 09:39:43 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-28 09:39:43 -0700 |
| commit | d608c091680989e331b849fac8936a6e493bed43 (patch) | |
| tree | 194928a43764fecce4f753533775994b13b98534 /src/boot/me/effect.ml | |
| parent | Once more with feeling. Closes #13. (diff) | |
| download | rust-d608c091680989e331b849fac8936a6e493bed43.tar.xz rust-d608c091680989e331b849fac8936a6e493bed43.zip | |
Some fixme-to-issue housekeeping.
Diffstat (limited to 'src/boot/me/effect.ml')
| -rw-r--r-- | src/boot/me/effect.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/me/effect.ml b/src/boot/me/effect.ml index 289976a0..ad9a4cb3 100644 --- a/src/boot/me/effect.ml +++ b/src/boot/me/effect.ml @@ -40,7 +40,9 @@ let mutability_checking_visitor then () else err (Some id) "writing to non-mutable slot" in - (* FIXME: enforce the no-write-alias-to-immutable-slot rule. *) + (* FIXME (issue #75): enforce the no-write-alias-to-immutable-slot + * rule. + *) let visit_stmt_pre s = begin match s.node with |