diff options
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 |