trivial diff: halt-at-warn for builtin clauses

Simon Taylor stayl at cs.mu.OZ.AU
Tue Mar 30 15:33:47 AEST 1999


Estimated hours taken: 0.1

compiler/make_hlds.m:
	Use `report_warning' instead for `io__write_string' to output
	the warning for clauses for builtins.


Index: make_hlds.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/make_hlds.m,v
retrieving revision 1.291
diff -u -u -r1.291 make_hlds.m
--- make_hlds.m	1999/03/22 08:07:23	1.291
+++ make_hlds.m	1999/03/30 02:03:22
@@ -2387,7 +2387,7 @@
 		{ code_util__predinfo_is_builtin(PredInfo1) }
 	->
 		prog_out__write_context(Context),
-		io__write_string("Warning: clause for builtin.\n"),
+		report_warning("Warning: clause for builtin.\n"),
 		{ ModuleInfo = ModuleInfo0 },
 		{ Info = Info0 }
 	;



More information about the developers mailing list