author Simon Peyton Jones Sat, 28 Dec 2013 12:51:19 +0000 (12:51 +0000) committer Simon Peyton Jones Sat, 28 Dec 2013 12:51:19 +0000 (12:51 +0000)

@@ -1,18 +1,18 @@
-
-Simple14.hs:17:19:
-    Couldn't match type ‛z0’ with ‛n’
-      ‛z0’ is untouchable
-        inside the constraints (Maybe m ~ Maybe n)
-        bound by a type expected by the context:
-                   Maybe m ~ Maybe n => EQ_ z0 z0
-        at Simple14.hs:17:12-33
-      ‛n’ is a rigid type variable bound by
-          the type signature for foo :: EQ_ (Maybe m) (Maybe n)
-          at Simple14.hs:16:17
-    Expected type: EQ_ z0 z0
-      Actual type: EQ_ m n
-    Relevant bindings include
-      foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:17:1)
-    In the second argument of ‛eqE’, namely ‛(eqI :: EQ_ m n)’
-    In the first argument of ‛ntI’, namely ‛(`eqE` (eqI :: EQ_ m n))’
-    In the expression: ntI (`eqE` (eqI :: EQ_ m n))
+\r
+Simple14.hs:17:19:\r
+    Couldn't match type ‛z0’ with ‛m’\r
+      ‛z0’ is untouchable\r
+        inside the constraints (Maybe m ~ Maybe n)\r
+        bound by a type expected by the context:\r
+                   Maybe m ~ Maybe n => EQ_ z0 z0\r
+        at Simple14.hs:17:12-33\r
+      ‛m’ is a rigid type variable bound by\r
+          the type signature for foo :: EQ_ (Maybe m) (Maybe n)\r
+          at Simple14.hs:16:15\r
+    Expected type: EQ_ z0 z0\r
+      Actual type: EQ_ m n\r
+    Relevant bindings include\r
+      foo :: EQ_ (Maybe m) (Maybe n) (bound at Simple14.hs:17:1)\r
+    In the second argument of ‛eqE’, namely ‛(eqI :: EQ_ m n)’\r
+    In the first argument of ‛ntI’, namely ‛(`eqE` (eqI :: EQ_ m n))’\r
+    In the expression: ntI (`eqE` (eqI :: EQ_ m n))\r
index ea7c6c5..90f4774 100644 (file)
@@ -1,25 +1,25 @@
-
-T5439.hs:83:28:
-    Couldn't match type ‛Attempt t0 -> Attempt (HElemOf l0)’
-                  with ‛Attempt (HElemOf rs)’
-    Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0))
-      Actual type: f (Attempt (WaitOpResult (WaitOps rs)))
-    Relevant bindings include
-      register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
-        (bound at T5439.hs:65:9)
-      ev :: f (Attempt (WaitOpResult (WaitOps rs)))
-        (bound at T5439.hs:62:22)
-      ops :: WaitOps rs (bound at T5439.hs:62:18)
-      registerWaitOp :: WaitOps rs
-                        -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool
-        (bound at T5439.hs:62:3)
-    In the first argument of ‛complete’, namely ‛ev’
-    In the expression: complete ev
-
-T5439.hs:83:39:
-    Couldn't match expected type ‛Peano n0’
-                with actual type ‛Attempt α0’
-    In the second argument of ‛(\$)’, namely
-      ‛Failure (e :: SomeException)’
-    In the second argument of ‛(\$)’, namely
-      ‛inj \$ Failure (e :: SomeException)’
+\r
+T5439.hs:83:28:\r
+    Couldn't match type ‛Attempt (HNth n0 l0) -> Attempt (HElemOf l0)’\r
+                  with ‛Attempt (WaitOpResult (WaitOps rs))’\r
+    Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0))\r
+      Actual type: f (Attempt (WaitOpResult (WaitOps rs)))\r
+    Relevant bindings include\r
+      register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool\r
+        (bound at T5439.hs:65:9)\r
+      ev :: f (Attempt (WaitOpResult (WaitOps rs)))\r
+        (bound at T5439.hs:62:22)\r
+      ops :: WaitOps rs (bound at T5439.hs:62:18)\r
+      registerWaitOp :: WaitOps rs\r
+                        -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool\r
+        (bound at T5439.hs:62:3)\r
+    In the first argument of ‛complete’, namely ‛ev’\r
+    In the expression: complete ev\r
+\r
+T5439.hs:83:39:\r
+    Couldn't match expected type ‛Peano n0’\r
+                with actual type ‛Attempt α0’\r
+    In the second argument of ‛(\$)’, namely\r
+      ‛Failure (e :: SomeException)’\r
+    In the second argument of ‛(\$)’, namely\r
+      ‛inj \$ Failure (e :: SomeException)’\r
index 7f1a2b0..201230b 100644 (file)
@@ -1,34 +1,34 @@
-
-T2494.hs:15:14:
-    Couldn't match type ‛a’ with ‛b’
-      ‛a’ is a rigid type variable bound by
-          the RULE "foo/foo" at T2494.hs:13:16
-      ‛b’ is a rigid type variable bound by
-          the RULE "foo/foo" at T2494.hs:14:16
-    Expected type: Maybe (m a) -> Maybe (m a)
-      Actual type: Maybe (m b) -> Maybe (m b)
-    Relevant bindings include
-      f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a)
-        (bound at T2494.hs:13:11)
-      g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b)
-        (bound at T2494.hs:14:11)
-      x :: Maybe a (bound at T2494.hs:14:65)
-    In the first argument of ‛foo’, namely ‛g’
-    In the second argument of ‛foo’, namely ‛(foo g x)’
-
-T2494.hs:15:30:
-    Couldn't match type ‛a’ with ‛b’
-      ‛a’ is a rigid type variable bound by
-          the RULE "foo/foo" at T2494.hs:13:16
-      ‛b’ is a rigid type variable bound by
-          the RULE "foo/foo" at T2494.hs:14:16
-    Expected type: Maybe (m a) -> Maybe (m a)
-      Actual type: Maybe (m b) -> Maybe (m b)
-    Relevant bindings include
-      f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a)
-        (bound at T2494.hs:13:11)
-      g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b)
-        (bound at T2494.hs:14:11)
-      x :: Maybe a (bound at T2494.hs:14:65)
-    In the second argument of ‛(.)’, namely ‛g’
-    In the first argument of ‛foo’, namely ‛(f . g)’
+\r
+T2494.hs:15:14:\r
+    Couldn't match type ‛b’ with ‛a’\r
+      ‛b’ is a rigid type variable bound by\r
+          the RULE "foo/foo" at T2494.hs:14:16\r
+      ‛a’ is a rigid type variable bound by\r
+          the RULE "foo/foo" at T2494.hs:13:16\r
+    Expected type: Maybe (m a) -> Maybe (m a)\r
+      Actual type: Maybe (m b) -> Maybe (m b)\r
+    Relevant bindings include\r
+      f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a)\r
+        (bound at T2494.hs:13:11)\r
+      g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b)\r
+        (bound at T2494.hs:14:11)\r
+      x :: Maybe a (bound at T2494.hs:14:65)\r
+    In the first argument of ‛foo’, namely ‛g’\r
+    In the second argument of ‛foo’, namely ‛(foo g x)’\r
+\r
+T2494.hs:15:30:\r
+    Couldn't match type ‛b’ with ‛a’\r
+      ‛b’ is a rigid type variable bound by\r
+          the RULE "foo/foo" at T2494.hs:14:16\r
+      ‛a’ is a rigid type variable bound by\r
+          the RULE "foo/foo" at T2494.hs:13:16\r
+    Expected type: Maybe (m a) -> Maybe (m a)\r
+      Actual type: Maybe (m b) -> Maybe (m b)\r
+    Relevant bindings include\r
+      f :: forall (m :: * -> *). Monad m => Maybe (m a) -> Maybe (m a)\r
+        (bound at T2494.hs:13:11)\r
+      g :: forall (m :: * -> *). Monad m => Maybe (m b) -> Maybe (m b)\r
+        (bound at T2494.hs:14:11)\r
+      x :: Maybe a (bound at T2494.hs:14:65)\r
+    In the second argument of ‛(.)’, namely ‛g’\r
+    In the first argument of ‛foo’, namely ‛(f . g)’\r
index 9857c9c..471643b 100644 (file)
@@ -1,53 +1,53 @@
-
-FrozenErrorTests.hs:12:12:
-    Couldn't match type ‛Int’ with ‛Bool’
-    Inaccessible code in
-      a pattern with constructor
-        MkT3 :: forall a. a ~ Bool => T a,
-      in a case alternative
-    In the pattern: MkT3
-    In a case alternative: MkT3 -> ()
-    In the expression: case x of { MkT3 -> () }
-
-FrozenErrorTests.hs:26:9:
-    Occurs check: cannot construct the infinite type: a ~ [a]
-    Expected type: [a]
-      Actual type: F a Bool
-    Relevant bindings include
-      test1 :: a (bound at FrozenErrorTests.hs:26:1)
-    In the expression: goo1 False undefined
-    In an equation for ‛test1’: test1 = goo1 False undefined
-
-FrozenErrorTests.hs:29:15:
-    Couldn't match type ‛Int’ with ‛[Int]’
-    Expected type: [[Int]]
-      Actual type: F [Int] Bool
-    In the first argument of ‛goo2’, namely ‛(goo1 False undefined)’
-    In the expression: goo2 (goo1 False undefined)
-    In an equation for ‛test2’: test2 = goo2 (goo1 False undefined)
-
-FrozenErrorTests.hs:30:9:
-    Couldn't match type ‛Int’ with ‛[Int]’
-    Expected type: [[Int]]
-      Actual type: F [Int] Bool
-    In the expression: goo1 False (goo2 undefined)
-    In an equation for ‛test3’: test3 = goo1 False (goo2 undefined)
-
-FrozenErrorTests.hs:45:15:
-    Couldn't match type ‛T2 c c’ with ‛M (T2 (T2 c c) c)’
-    Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)
-      Actual type: F (T2 (T2 c c) c) Bool
-    Relevant bindings include
-      test4 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:45:1)
-    In the first argument of ‛goo4’, namely ‛(goo3 False undefined)’
-    In the expression: goo4 (goo3 False undefined)
-    In an equation for ‛test4’: test4 = goo4 (goo3 False undefined)
-
-FrozenErrorTests.hs:46:9:
-    Couldn't match type ‛T2 c c’ with ‛M (T2 (T2 c c) c)’
-    Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)
-      Actual type: F (T2 (T2 c c) c) Bool
-    Relevant bindings include
-      test5 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:46:1)
-    In the expression: goo3 False (goo4 undefined)
-    In an equation for ‛test5’: test5 = goo3 False (goo4 undefined)
+\r
+FrozenErrorTests.hs:12:12:\r
+    Couldn't match type ‛Int’ with ‛Bool’\r
+    Inaccessible code in\r
+      a pattern with constructor\r
+        MkT3 :: forall a. a ~ Bool => T a,\r
+      in a case alternative\r
+    In the pattern: MkT3\r
+    In a case alternative: MkT3 -> ()\r
+    In the expression: case x of { MkT3 -> () }\r
+\r
+FrozenErrorTests.hs:26:9:\r
+    Occurs check: cannot construct the infinite type: a ~ [a]\r
+    Expected type: [a]\r
+      Actual type: F a Bool\r
+    Relevant bindings include\r
+      test1 :: a (bound at FrozenErrorTests.hs:26:1)\r
+    In the expression: goo1 False undefined\r
+    In an equation for ‛test1’: test1 = goo1 False undefined\r
+\r
+FrozenErrorTests.hs:29:15:\r
+    Couldn't match type ‛Int’ with ‛[Int]’\r
+    Expected type: [[Int]]\r
+      Actual type: F [Int] Bool\r
+    In the first argument of ‛goo2’, namely ‛(goo1 False undefined)’\r
+    In the expression: goo2 (goo1 False undefined)\r
+    In an equation for ‛test2’: test2 = goo2 (goo1 False undefined)\r
+\r
+FrozenErrorTests.hs:30:9:\r
+    Couldn't match type ‛[Int]’ with ‛Int’\r
+    Expected type: [[Int]]\r
+      Actual type: F [Int] Bool\r
+    In the expression: goo1 False (goo2 undefined)\r
+    In an equation for ‛test3’: test3 = goo1 False (goo2 undefined)\r
+\r
+FrozenErrorTests.hs:45:15:\r
+    Couldn't match type ‛T2 c c’ with ‛M (T2 (T2 c c) c)’\r
+    Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)\r
+      Actual type: F (T2 (T2 c c) c) Bool\r
+    Relevant bindings include\r
+      test4 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:45:1)\r
+    In the first argument of ‛goo4’, namely ‛(goo3 False undefined)’\r
+    In the expression: goo4 (goo3 False undefined)\r
+    In an equation for ‛test4’: test4 = goo4 (goo3 False undefined)\r
+\r
+FrozenErrorTests.hs:46:9:\r
+    Couldn't match type ‛T2 c c’ with ‛M (T2 (T2 c c) c)’\r
+    Expected type: T2 (M (T2 (T2 c c) c)) (T2 (T2 c c) c)\r
+      Actual type: F (T2 (T2 c c) c) Bool\r
+    Relevant bindings include\r
+      test5 :: T2 (T2 c c) c (bound at FrozenErrorTests.hs:46:1)\r
+    In the expression: goo3 False (goo4 undefined)\r
+    In an equation for ‛test5’: test5 = goo3 False (goo4 undefined)\r