[m-dev.] for review: ignore clauses for builtins

Simon Taylor stayl at cs.mu.OZ.AU
Fri Mar 12 16:45:50 AEDT 1999


> > compiler/make_hlds.m:
> > 	Ignore (with a warning) clauses for builtins.
> > 	This will make it easier to bootstrap a future change
> > 	to add checking for the integer shift operations.

Actually it might be better if this doesn't cause an error if
--halt-at-warn is set, since that would require changing the
test scripts and everyone's Mmakefiles until the changes to the
builtins are installed.

Index: make_hlds.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/make_hlds.m,v
retrieving revision 1.285
diff -u -u -r1.285 make_hlds.m
--- make_hlds.m	1999/03/12 03:30:43	1.285
+++ make_hlds.m	1999/03/12 04:15:24
@@ -2361,7 +2361,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 = ModuleInfo0 },
 		{ Info = Info0 }
 	;




More information about the developers mailing list