[m-rev.] diff: update polymorphism.m documentation

[Simon Taylor]

Estimated hours taken: 0.25
Branches: main

compiler/polymorphism.m:
	Update a comment about a bug which has been fixed.

Index: polymorphism.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/polymorphism.m,v
retrieving revision 1.225
diff -u -u -r1.225 polymorphism.m
--- polymorphism.m	11 Jun 2002 16:29:52 -0000	1.225
+++ polymorphism.m	20 Jul 2002 15:31:34 -0000
@@ -2747,12 +2747,14 @@
 		% variable, and set the location for this type
 		% variable to be that type_info variable.
 		%
-		% XXX This is wrong if the type variable is one of
+		% This is wrong if the type variable is one of
 		% the existentially quantified variables of a called
 		% predicate and the variable occurs in an existential
 		% type-class constraint. In that case the type-info
 		% will be stored in the typeclass_info variable produced
 		% by the predicate, not in a type_info variable.
+		% make_typeclass_info_headvar will fix this up when
+		% the typeclass_info is created.
 		%
 		type_util__var(Type, TypeVar),
 		polymorphism__new_type_info_var(Type, "type_info",
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------