[m-dev.] trivial diff: instance doco fix

Peter Ross peter.ross at miscrit.be
Tue Oct 31 02:53:50 AEDT 2000


Hi,


===================================================================


Estimated hours taken: 0.25

reference_manual.texi:
    Fix some syntax and semantic errors in an example of instance
    declarations.


Index: reference_manual.texi
===================================================================
RCS file: /home/mercury1/repository/mercury/doc/reference_manual.texi,v
retrieving revision 1.194
diff -u -r1.194 reference_manual.texi
--- reference_manual.texi	2000/10/24 01:10:00	1.194
+++ reference_manual.texi	2000/10/30 15:46:12
@@ -3678,14 +3678,14 @@
 :- typeclass foo(T) where [
 	func method1(T, T) = int,
 	func method2(T) = int,
-	pred method3(T::in, int::out) is det
-	pred method4(T::in, io__state::di, io__state::uo) is det
+	pred method3(T::in, int::out) is det,
+	pred method4(T::in, io__state::di, io__state::uo) is det,
 	func method5(bool, T) = T
 ].
 
 :- instance foo(int) where [
 	% method defined by naming the implementation
-	func(method1/1) is (+),
+	func(method1/2) is (+),
 
 	% method defined by a fact
 	method2(X) = X + 1,

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the developers mailing list