[m-rev.] fix --no-infer-modes bug

Fergus Henderson fjh at cs.mu.OZ.AU
Sat Jul 26 17:18:45 AEST 2003


On 18-Jun-2003, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> Fix a bug where we were in some cases failing to report errors for
> procedures with no declared modes, even though --infer-modes was not
> enabled.

Estimated hours taken: 0.25
Branches: main

tests/valid/Mercury.options:
	Compile the lambda_inference test with `--infer-all', since it
	relies on mode and determinism inference.
	(Until yesterday, the compiler incorrectly allowed this code,
	but the bug fix I committed yesterday means that the compiler
	now correctly rejects this code unless inference is enabled.)

Index: /home/pgrad/fjh/ws/ceres/tests/valid/Mercury.options
===================================================================
RCS file: /home/mercury1/repository/tests/valid/Mercury.options,v
retrieving revision 1.8
diff -u -d -u -r1.8 Mercury.options
--- /home/pgrad/fjh/ws/ceres/tests/valid/Mercury.options	7 May 2003 00:50:34 -0000	1.8
+++ /home/pgrad/fjh/ws/ceres/tests/valid/Mercury.options	26 Jul 2003 07:15:03 -0000
@@ -74,6 +74,7 @@
 MCFLAGS-intermod_user_equality_nested	= --intermodule-optimization
 MCFLAGS-intermod_user_equality_nested2	= --intermodule-optimization
 MCFLAGS-ite_to_disj		= --aditi
+MCFLAGS-lambda_inference	= --infer-all
 MCFLAGS-livevals_seq		= -O5 --opt-space
 MCFLAGS-middle_rec_labels	= --middle-rec
 MCFLAGS-mostly_uniq_mode_inf	= --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