[m-dev.] trivial diff: fix a bug in my rtti changes

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Apr 18 06:54:04 AEST 2000


Estimated hours taken: 0.25

compiler/rtti.m:
	Fix a bug in my previous change: the `is_exported' field of
	the rtti_proc_label should be computed using
	procedure_is_exported/2 rather than pred_info_is_exported/1.

Workspace: /home/pgrad/fjh/ws/hg2
Index: compiler/rtti.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/rtti.m,v
retrieving revision 1.4
diff -u -d -r1.4 rtti.m
--- compiler/rtti.m	2000/04/17 10:32:09	1.4
+++ compiler/rtti.m	2000/04/17 20:41:24
@@ -335,7 +335,7 @@
 			% pred_info, using procedures
 			%	pred_info_is_imported/1,
 			%	pred_info_is_pseudo_imported/1,
-			%	pred_info_is_exported/1, and
+			%	procedure_is_exported/2, and
 			%	pred_info_is_compiler_generated/1
 			% respectively.
 			% We store booleans here, rather than storing the
@@ -392,7 +392,7 @@
 	pred_info_arg_types(PredInfo, ArgTypes),
 	IsImported = (pred_info_is_imported(PredInfo) -> yes ; no),
 	IsPseudoImp = (pred_info_is_pseudo_imported(PredInfo) -> yes ; no),
-	IsExported = (pred_info_is_exported(PredInfo) -> yes ; no),
+	IsExported = (procedure_is_exported(PredInfo, ProcId) -> yes ; no),
 	IsSpecialPredInstance =
 		(code_util__compiler_generated(PredInfo) -> yes ; no),
 	ProcLabel = rtti_proc_label(PredOrFunc, ThisModule, PredModule,

-- 
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.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list