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