[m-rev.] trivial diff: disable --halt-at-warn for clauses for builtins

[Simon Taylor]

Estimated hours taken: 0.1
Branches: main

compiler/make_hlds.m:
	Don't halt when warning about clauses for builtins, to
	aid in boostrapping a change to add int__unchecked_quotient
	and float__unchecked_quotient, which will be like `int://'/2
	and `float:/2', but without checking for division by zero.

Index: make_hlds.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/make_hlds.m,v
retrieving revision 1.382
diff -u -u -r1.382 make_hlds.m
--- make_hlds.m	2001/08/28 09:27:35	1.382
+++ make_hlds.m	2001/08/28 11:35:38
@@ -3662,7 +3662,7 @@
 		{ code_util__predinfo_is_builtin(PredInfo1) }
 	->
 		prog_out__write_context(Context),
-		report_warning("Warning: clause for builtin.\n"),
+		io__write_string("Warning: clause for builtin.\n"),
 		{ ModuleInfo = ModuleInfo1 },
 		{ Info = Info0 }
 	;
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------