[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