White space only
authorSimon Peyton Jones <simonpj@microsoft.com>
Fri, 3 Jan 2014 16:07:17 +0000 (16:07 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Fri, 3 Jan 2014 16:07:17 +0000 (16:07 +0000)
testsuite/tests/indexed-types/should_fail/T2664.hs
testsuite/tests/indexed-types/should_fail/T5439.stderr

index d5b04a6..f8fad88 100644 (file)
@@ -26,6 +26,6 @@ instance (Connect a, Connect b) => Connect (a :*: b) where
         -- This version is in T2664a
         -- correct implementation:
         -- return (O $ takeMVar v, E (pchoose Left v newPChan) (pchoose Right v newPChan))
-       
+
         -- type error leads to stack overflow (even without UndecidableInstances!)
         return (O $ takeMVar v, E (pchoose Right v newPChan) (pchoose Left v newPChan))
index 90f4774..e6e34b1 100644 (file)
@@ -1,25 +1,25 @@
-\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
+
+T5439.hs:83:28:
+    Couldn't match type ‛Attempt (HNth n0 l0) -> Attempt (HElemOf l0)’
+                  with ‛Attempt (WaitOpResult (WaitOps 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)’