Trivial Diff: Comment fix in polymorphism.m

Mark Anthony BROWN dougl at cs.mu.OZ.AU
Fri Feb 6 12:46:21 AEDT 1998


Estimated hours taken: 0.1

Fixed comment describing typeclasses

compiler/polymorphism.m:
	Fixed typo in example transformation


Index: polymorphism.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/polymorphism.m,v
retrieving revision 1.123
diff -u -r1.123 polymorphism.m
--- 1.123	1998/01/23 12:11:58
+++ polymorphism.m	1998/02/06 01:37:22
@@ -229,7 +229,7 @@
 %	:- pred q(T2, T3) <= foo(T2), bar(T3).
 %	:- pred r(T4, T5) <= foo(T4).
 %
-%	p(X) :- q([X], 0), r(0, X).
+%	p(X) :- q([X], 0), r(X, 0).
 %
 % We add an extra argument for each typeclass constraint, and one argument for
 % each unconstrained type variable.
@@ -273,7 +273,7 @@
 %		TypeClassInfoT4 = typeclass_info(
 %			BaseTypeClassInfoT4,
 %			<type_info for int>),
-%		r(TypeClassInfoT1, <type_info for int>, 0, X).
+%		r(TypeClassInfoT1, <type_info for int>, X, 0).
 %
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

Cheers,
Mark.




More information about the developers mailing list