From 89885be04ed43506f4571ce1b933e4519d93b8ae Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel
Date: Wed, 29 May 2019 14:43:12 +0200
Subject: [PATCH] Update documentation for rational-valued functor
It was still refering to the old syntax.
---
src/Copar/Functors/GroupValued.hs | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/Copar/Functors/GroupValued.hs b/src/Copar/Functors/GroupValued.hs
index e75ab24..87b647b 100644
--- a/src/Copar/Functors/GroupValued.hs
+++ b/src/Copar/Functors/GroupValued.hs
@@ -106,8 +106,8 @@ rationalHelp =
<> Doc.annotate Doc.bold "Coalgebra syntax:"
<+> Doc.reflow "'{' X ':' rational, ... '}'"
<> Doc.line
- <> Doc.reflow " Note that rationals currently have the same syntax as reals \
- \and proper fractions are not supported."
+ <> Doc.reflow "where 'rational' is either an integer or of the form a/b, \
+ \where a and b are integers."
newtype OrderedComplex = OrderedComplex (Complex EqDouble)
deriving (Eq, Num, NFData, Show)
--
2.24.1