Error message shuffling.
authorDimitrios Vytiniotis <dimitris@microsoft.com>
Tue, 29 Nov 2011 01:59:14 +0000 (01:59 +0000)
committerDimitrios Vytiniotis <dimitris@microsoft.com>
Tue, 29 Nov 2011 01:59:14 +0000 (01:59 +0000)
testsuite/tests/indexed-types/should_fail/T4179.stderr
testsuite/tests/typecheck/should_compile/FD3.stderr

index 11bd7d6..1903d7c 100644 (file)
@@ -1,59 +1,59 @@
-\r
-T4179.hs:26:16:\r
-    Could not deduce (DoC (x (A2 (FCon x) -> A3 (FCon x))))\r
-      arising from a use of `op'\r
-    from the context (Functor x, DoC (FCon x))\r
-      bound by the type signature for\r
-                 fCon :: (Functor x, DoC (FCon x)) =>\r
-                         Con x -> A2 (FCon x) -> A3 (FCon x)\r
-      at T4179.hs:26:1-17\r
-    Possible fix:\r
-      add (DoC (x (A2 (FCon x) -> A3 (FCon x)))) to the context of\r
-        the type signature for\r
-          fCon :: (Functor x, DoC (FCon x)) =>\r
-                  Con x -> A2 (FCon x) -> A3 (FCon x)\r
-      or add an instance declaration for\r
-         (DoC (x (A2 (FCon x) -> A3 (FCon x))))\r
-    In the first argument of `foldDoC', namely `op'\r
-    In the expression: foldDoC op\r
-    In an equation for `fCon': fCon = foldDoC op\r
-\r
-T4179.hs:26:16:\r
-    Could not deduce (A3 (x (A2 (FCon x) -> A3 (FCon x)))\r
-                      ~ A3 (FCon x))\r
-    from the context (Functor x, DoC (FCon x))\r
-      bound by the type signature for\r
-                 fCon :: (Functor x, DoC (FCon x)) =>\r
-                         Con x -> A2 (FCon x) -> A3 (FCon x)\r
-      at T4179.hs:26:1-17\r
-    NB: `A3' is a type function, and may not be injective\r
-    Expected type: A2 (FCon x) -> A3 (FCon x)\r
-      Actual type: A2 (x (A2 (FCon x) -> A3 (FCon x)))\r
-                   -> A3 (x (A2 (FCon x) -> A3 (FCon x)))\r
-    Expected type: x (A2 (FCon x) -> A3 (FCon x))\r
-                   -> A2 (FCon x) -> A3 (FCon x)\r
-      Actual type: x (A2 (FCon x) -> A3 (FCon x))\r
-                   -> A2 (x (A2 (FCon x) -> A3 (FCon x)))\r
-                   -> A3 (x (A2 (FCon x) -> A3 (FCon x)))\r
-    In the first argument of `foldDoC', namely `op'\r
-    In the expression: foldDoC op\r
-\r
-T4179.hs:26:16:\r
-    Could not deduce (A2 (x (A2 (FCon x) -> A3 (FCon x)))\r
-                      ~ A2 (FCon x))\r
-    from the context (Functor x, DoC (FCon x))\r
-      bound by the type signature for\r
-                 fCon :: (Functor x, DoC (FCon x)) =>\r
-                         Con x -> A2 (FCon x) -> A3 (FCon x)\r
-      at T4179.hs:26:1-17\r
-    NB: `A2' is a type function, and may not be injective\r
-    Expected type: A2 (FCon x) -> A3 (FCon x)\r
-      Actual type: A2 (x (A2 (FCon x) -> A3 (FCon x)))\r
-                   -> A3 (x (A2 (FCon x) -> A3 (FCon x)))\r
-    Expected type: x (A2 (FCon x) -> A3 (FCon x))\r
-                   -> A2 (FCon x) -> A3 (FCon x)\r
-      Actual type: x (A2 (FCon x) -> A3 (FCon x))\r
-                   -> A2 (x (A2 (FCon x) -> A3 (FCon x)))\r
-                   -> A3 (x (A2 (FCon x) -> A3 (FCon x)))\r
-    In the first argument of `foldDoC', namely `op'\r
-    In the expression: foldDoC op\r
+
+T4179.hs:26:16:
+    Could not deduce (DoC (x (A2 (x (Con x)) -> A3 (x (Con x)))))
+      arising from a use of `op'
+    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:26:1-17
+    Possible fix:
+      add (DoC (x (A2 (x (Con x)) -> A3 (x (Con x))))) to the context of
+        the type signature for
+          fCon :: (Functor x, DoC (FCon x)) =>
+                  Con x -> A2 (FCon x) -> A3 (FCon x)
+      or add an instance declaration for
+         (DoC (x (A2 (x (Con x)) -> A3 (x (Con x)))))
+    In the first argument of `foldDoC', namely `op'
+    In the expression: foldDoC op
+    In an equation for `fCon': fCon = foldDoC op
+
+T4179.hs:26:16:
+    Could not deduce (A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
+                      ~ A3 (x (Con 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:26:1-17
+    NB: `A3' is a type function, and may not be injective
+    Expected type: A2 (x (Con x)) -> A3 (x (Con x))
+      Actual type: A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
+                   -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
+    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))))
+    In the first argument of `foldDoC', namely `op'
+    In the expression: foldDoC op
+
+T4179.hs:26:16:
+    Could not deduce (A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
+                      ~ A2 (x (Con 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:26:1-17
+    NB: `A2' is a type function, and may not be injective
+    Expected type: A2 (x (Con x)) -> A3 (x (Con x))
+      Actual type: A2 (x (A2 (x (Con x)) -> A3 (x (Con x))))
+                   -> A3 (x (A2 (x (Con x)) -> A3 (x (Con x))))
+    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))))
+    In the first argument of `foldDoC', namely `op'
+    In the expression: foldDoC op
index 5e8a4ee..6f6aa8a 100644 (file)
@@ -1,6 +1,6 @@
 
 FD3.hs:15:15:
-    Couldn't match type `a' with `(String, a)'
+    Couldn't match type `a' with `([Char], a)'
       `a' is a rigid type variable bound by
           the type signature for translate :: (String, a) -> A a
           at FD3.hs:15:1
@@ -8,6 +8,6 @@ FD3.hs:15:15:
       MkA a a,
         arising from the dependency `a -> b'
         in the instance declaration at FD3.hs:12:10
-      MkA (String, a) a, arising from a use of `mkA' at FD3.hs:15:15-17
+      MkA ([Char], a) a, arising from a use of `mkA' at FD3.hs:15:15-17
     In the expression: mkA a
     In an equation for `translate': translate a = mkA a