[m-rev.] diff: polymorphism documentation

[Zoltan Somogyi]

compiler/polymorphism.m:
	Fix some out-of-date documentation.

Zoltan.

cvs diff: Diffing .
Index: polymorphism.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/polymorphism.m,v
retrieving revision 1.240
diff -u -b -r1.240 polymorphism.m
--- polymorphism.m	1 Sep 2003 01:16:41 -0000	1.240
+++ polymorphism.m	23 Sep 2003 21:40:57 -0000
@@ -68,12 +68,13 @@
 %
 % There is a slight variation on this for variable-arity type constructors, of
 % there are exactly three: pred, func and tuple. Typeinfos of these types
-% always have a pointer to the pred/0 type_ctor_info, regardless of their true
-% arity, so we store the real arity in the type-info as well.
+% always have a pointer to the pred/0, func/0 or tuple/0 type_ctor_info,
+% regardless of their true arity, so we store the real arity in the type-info
+% as well.
 %
-%	word 0		<pointer to the type_ctor_info structure (pred/0)>
+%	word 0		<pointer to the arity 0 type_ctor_info structure>
 %	word 1		<arity of predicate>
-%	word 2+		<the type_infos for the type params, at least one>
+%	word 2+		<the type_infos for the type params, if any>
 %
 %-----------------------------------------------------------------------------%
 %
cvs diff: Diffing notes
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------