author Dimitrios Vytiniotis Thu, 19 Jul 2012 12:34:53 +0000 (14:34 +0200) committer Dimitrios Vytiniotis Thu, 19 Jul 2012 12:34:53 +0000 (14:34 +0200)

index 35209c5..45fbdaf 100644 (file)
@@ -1,18 +1,18 @@

T4179.hs:26:16:
-    Could not deduce (A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
-                      ~ A3 (x (Con x)))
+    Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x)))
+                      ~ A3 (FCon x))
from the context (Functor x, DoC (FCon x))
bound by the type signature for
fCon :: (Functor x, DoC (FCon x)) =>
Con x -> A2 (FCon x) -> A3 (FCon x)
at T4179.hs:25:9-72
NB: `A3' is a type function, and may not be injective
-    Expected type: x (A2 (x (Con x)) -> A3 (x (Con x)))
-                   -> A2 (x (Con x)) -> A3 (x (Con x))
-      Actual type: x (A2 (x (Con x)) -> A3 (x (Con x)))
-                   -> A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
-                   -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
+    Expected type: x (A2 (FCon x) -> A3 (FCon x))
+                   -> A2 (FCon x) -> A3 (FCon x)
+      Actual type: x (A2 (FCon x) -> A3 (FCon x))
+                   -> A2 (x (A2 (FCon x) -> A3 (FCon x)))
+                   -> A3 (x (A2 (FCon x) -> A3 (FCon x)))
In the first argument of `foldDoC', namely `op'
In the expression: foldDoC op
In an equation for `fCon': fCon = foldDoC op
index 9285bb8..00b0a81 100644 (file)
@@ -1,6 +1,6 @@

FD3.hs:15:15:
-    Couldn't match type `a' with `([Char], a)'
+    Couldn't match type `a' with `(String, a)'
`a' is a rigid type variable bound by
the type signature for translate :: (String, a) -> A a
at FD3.hs:14:14