[m-dev.] trivial diff: fix documentation in polymorphism.m

[David Glen JEFFERY]

Estimated hours taken: 0.25

compiler/polymorphism.m:
	Update the documentation describing the layout of a base_typeclass_info
	to include the new information introduced in my recent changes to
	the RTTI.

Index: polymorphism.m
===================================================================
RCS file: /home/staff/zs/imp/mercury/compiler/polymorphism.m,v
retrieving revision 1.178
diff -u -t -r1.178 polymorphism.m
--- polymorphism.m	1999/12/03 13:38:48	1.178
+++ polymorphism.m	2000/01/10 05:49:51
@@ -170,19 +170,22 @@
 %       type_ctor_info).
 %
 %               The base_typeclass_info contains:
-%                 * the number of constraints on the instance decl.
-%                 * pointer to method #1
+%                 * the number of constraints on the instance decl. (`l')
+%                 * the number of constraints on the typeclass decl. (`m')
+%                 * the number of parameters (type variables) from 
+%                        the typeclass decl. (`n')
+%                 * pointer to first method
 %                   ...
-%                 * pointer to method #n
+%                 * pointer to last method
 %
 %               The typeclass_info contains:
 %                 * a pointer to the base typeclass info
 %                 * typeclass info #1 for constraint on instance decl
 %                 * ...
-%                 * typeclass info #n for constraint on instance decl
+%                 * typeclass info #l for constraint on instance decl
 %                 * typeclass info for superclass #1
 %                   ...
-%                 * typeclass info for superclass #n
+%                 * typeclass info for superclass #m
 %                 * type info #1 
 %                 * ...
 %                 * type info #n


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) | If your thesis is utterly vacuous
PhD student,                    | Use first-order predicate calculus.
Dept. of Comp. Sci. & Soft. Eng.|     With sufficient formality
The University of Melbourne     |     The sheerist banality
Australia                       | Will be hailed by the critics: "Miraculous!"
                                |     -- Anon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------