Improving error messages for synonyms.
authorDimitrios Vytiniotis <dimitris@microsoft.com>
Thu, 19 Jul 2012 12:34:53 +0000 (14:34 +0200)
committerDimitrios Vytiniotis <dimitris@microsoft.com>
Thu, 19 Jul 2012 12:34:53 +0000 (14:34 +0200)
testsuite/tests/indexed-types/should_fail/T4179.stderr
testsuite/tests/typecheck/should_compile/FD3.stderr

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