[m-rev.] trivial diff: fix standard library compilation

Julien Fischer juliensf at csse.unimelb.edu.au
Sat May 21 21:58:12 AEST 2011


Branches: main

Fix standard library compilation in non-C grades.

library/benchmarking.m:
 	Add a missing purity annotation.

Julien.

Index: library/benchmarking.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/benchmarking.m,v
retrieving revision 1.86
diff -u -r1.86 benchmarking.m
--- library/benchmarking.m	20 May 2011 04:16:52 -0000	1.86
+++ library/benchmarking.m	21 May 2011 11:52:11 -0000
@@ -232,7 +232,7 @@
  ").

  report_memory_attribution(_) :-
-    impure_true.
+    impure impure_true.

  :- pragma promise_pure(report_memory_attribution/3).


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



More information about the reviews mailing list