From d608c091680989e331b849fac8936a6e493bed43 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Mon, 28 Jun 2010 09:39:43 -0700 Subject: Some fixme-to-issue housekeeping. --- src/boot/me/effect.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/boot/me/effect.ml') 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 -- cgit v1.2.3