[m-rev.] for review: warn about dead procedures
Fergus Henderson
fjh at cs.mu.OZ.AU
Thu Jul 24 17:59:39 AEST 2003
On 22-Jul-2003, Julien Fischer <juliensf at students.cs.mu.OZ.AU> wrote:
>
> s/procecures/procedures/
Fixed.
I've committed this change now.
I forgot to include the following part of the change:
Estimated hours taken: 0.1
Branches: main
tests/warnings/Mercury.options:
Set the appropriate options for the warn_dead_procs test.
Workspace: /home/ceres/fjh/mercury
Index: tests/warnings/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/tests/warnings/Mercury.options,v
retrieving revision 1.7
diff -u -d -r1.7 Mercury.options
--- tests/warnings/Mercury.options 25 Jun 2003 06:57:35 -0000 1.7
+++ tests/warnings/Mercury.options 16 Jul 2003 10:59:19 -0000
@@ -38,3 +38,5 @@
# Conflicting termination pragmas won't show up unless we
# perform termination analysis.
MCFLAGS-pragma_term_conflict = --enable-termination
+
+MCFLAGS-warn_dead_procs = --warn-dead-procs --infer-all
--
Fergus Henderson <fjh at cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list