diff: llds_out.m removal of old hack

Fergus Henderson fjh at cs.mu.oz.au
Fri Jul 18 16:35:47 AEST 1997


compiler/llds_out.m:
	Remove an old hack to allow mercury_builtin.m to contain
	definitions for things from other modules, e.g. `term__context',
	because it is no longer necessary, now that term_to_type
	and type_to_term are in term.m not mercury_builtin.m.

Index: llds_out.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/llds_out.m,v
retrieving revision 1.49
diff -u -r1.49 llds_out.m
--- llds_out.m	1997/06/29 23:10:53	1.49
+++ llds_out.m	1997/07/03 13:00:04
@@ -2234,12 +2234,7 @@
 		% if this is a specialized version of a predicate
 		% defined in some other module, then it needs both
 		% module prefixes
-		DefiningModule \= DeclaringModule,
-		% but we don't do that for "mercury_builtin",
-		% because that would give the wrong results
-		% for the definitions of term__context_init etc.
-		% in mercury_builtin.m.
-		DefiningModule \= "mercury_builtin"
+		DefiningModule \= DeclaringModule
 	->
 		string__append_list([DefiningModule, "__", LabelName0],
 			LabelName1)

-- 
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