trivial diff: make_hlds.m bug fix

Fergus Henderson fjh at cs.mu.OZ.AU
Fri Jan 23 22:58:12 AEDT 1998


Estimated hours taken: 0.25

compiler/make_hlds.m:
	Fix a minor mistake in the output for an error message
	for `pragma termination_info' pragmas: the context
	was being printed twice.

Index: make_hlds.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/make_hlds.m,v
retrieving revision 1.252
diff -u -u -r1.252 make_hlds.m
--- make_hlds.m	1998/01/13 10:12:45	1.252
+++ make_hlds.m	1998/01/23 11:54:28
@@ -411,7 +411,6 @@
 			PredOrFunc, SymName, Arity, PredIds) }
 		->
 		    ( { PredIds = [] } ->
-		    	prog_out__write_context(Context),
 			undefined_pred_or_func_error(SymName, Arity, Context,
 				"`:- pragma termination_info' declaration"),
 			{ module_info_incr_errors(Module0, Module) }
@@ -460,7 +459,6 @@
 			{ module_info_incr_errors(Module0, Module) }
 		    )
 		;
-		    prog_out__write_context(Context),
 		    undefined_pred_or_func_error(SymName, Arity, Context,
 			"`:- pragma termination_info' declaration"),
 		    { module_info_incr_errors(Module0, Module) }

-- 
Fergus Henderson <fjh at cs.mu.oz.au>   |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>   |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3         |     -- the last words of T. S. Garp.



More information about the developers mailing list