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