[m-rev.] please don't compile with --no-halt-at-warn

[Simon Taylor]

Estimated hours taken: 0.1

compiler/prog_io.m:
	Lars Yencken's change to handle `:- promise exclusive'
	declarations causes spurious unresolved overloading
	warnings when compiling the `:- promise' declarations
	in library/list.m. Temporarily ignore all `:- promise'
	declarations until this is fixed.

Index: prog_io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/prog_io.m,v
retrieving revision 1.198
diff -u -u -r1.198 prog_io.m
--- prog_io.m	8 Feb 2002 02:26:56 -0000	1.198
+++ prog_io.m	8 Feb 2002 10:16:08 -0000
@@ -1262,7 +1262,12 @@
 	
 	varset__coerce(VarSet, ProgVarSet0),
 	parse_goal(Term, ProgVarSet0, PromiseGoal, ProgVarSet),
-	Result = ok(promise(PromiseType, PromiseGoal, ProgVarSet, UnivVars)).
+	% XXX Re-enable this once the handling of quantification has
+	% been fixed (spurious unresolved polymorphism warnings
+	% are generated when compiling list.m).
+	_Result `with_type` maybe1(item) =
+		ok(promise(PromiseType, PromiseGoal, ProgVarSet, UnivVars)),
+	Result = ok(nothing(no)).
 
 %-----------------------------------------------------------------------------%
 
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------