A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / indexed-types / should_fail / T5439.stderr
index f1ae705..9cc8912 100644 (file)
@@ -1,13 +1,15 @@
 
-T5439.hs:82:28: error:
-    • Couldn't match type ‘Attempt (WaitOpResult (WaitOps rs))’
-                     with ‘Attempt (HNth n0 l0) -> Attempt (HElemOf l0)’
-      Expected type: f (Attempt (HNth n0 l0) -> Attempt (HElemOf l0))
-        Actual type: f (Attempt (WaitOpResult (WaitOps rs)))
-    • In the first argument of ‘complete’, namely ‘ev’
-      In the expression: complete ev
+T5439.hs:82:33: error:
+    • Couldn't match expected type ‘Attempt (HElemOf rs)’
+                  with actual type ‘Attempt (HHead (HDrop n0 l0))
+                                    -> Attempt (HElemOf l0)’
+    • In the second argument of ‘($)’, namely
+        ‘inj $ Failure (e :: SomeException)’
       In a stmt of a 'do' block:
         c <- complete ev $ inj $ Failure (e :: SomeException)
+      In the expression:
+        do { c <- complete ev $ inj $ Failure (e :: SomeException);
+             return $ c || not first }
     • Relevant bindings include
         register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
           (bound at T5439.hs:64:9)