[m-rev.] diff: fix mantis bug 227

[Peter Wang]

tests/invalid/require_det_in_lambda.m:
	Replace irrelevant comment.

diff --git a/tests/invalid/require_det_in_lambda.m b/tests/invalid/require_det_in_lambda.m
index 5de564c..360ae2d 100644
--- a/tests/invalid/require_det_in_lambda.m
+++ b/tests/invalid/require_det_in_lambda.m
@@ -11,8 +11,8 @@
 :- import_module int.
 
 main(!IO) :-
-    % The compiler was incorrectly simplifying this to `F = bar' in the erlang
-    % grade.
+    % The compiler did not look for violations of require_detism scopes inside
+    % lambda goals.
     T = (pred(X::in, Y::out) is semidet :-
         require_det (
             X < 10,

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------