[m-rev.] diff: fix type*info unify decls bug

[Fergus Henderson]

Estimated hours taken: 1
Branches: main

A minimalistic fix for a bug introduced/uncovered by Zoltan's term size
profiling changes, which broke things in hlc.gc.prof and il grades.

compiler/special_pred.m:
	Special preds for the introduced type_info types need to be
	generated lazily, because if we try to generate them eagerly,
	it doesn't work.

Workspace: /home/ceres/fjh/mercury
Index: compiler/special_pred.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/special_pred.m,v
retrieving revision 1.41
diff -u -d -r1.41 special_pred.m
--- compiler/special_pred.m	20 Oct 2003 07:29:11 -0000	1.41
+++ compiler/special_pred.m	31 Oct 2003 07:47:50 -0000
@@ -164,7 +164,10 @@
 	(
 		TypeCategory = tuple_type
 	;
-		( TypeCategory = user_ctor_type ; TypeCategory = enum_type ),
+		( TypeCategory = user_ctor_type
+		; TypeCategory = enum_type 
+		; is_introduced_type_info_type_category(TypeCategory) = yes
+		),
 		module_info_types(ModuleInfo, Types),
 		map__search(Types, TypeCtor, TypeDefn),
 		hlds_data__get_type_defn_body(TypeDefn, Body),
@@ -178,7 +181,10 @@
 	(
 		TypeCategory = tuple_type
 	;
-		( TypeCategory = user_ctor_type ; TypeCategory = enum_type ),
+		( TypeCategory = user_ctor_type
+		; TypeCategory = enum_type
+		; is_introduced_type_info_type_category(TypeCategory) = yes
+		),
 		special_pred_is_generated_lazily_2(ModuleInfo,
 			TypeCtor, Body, Status)
 	).

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------