A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / indexed-types / should_fail / T5439.stderr
1
2 T5439.hs:82:33: error:
3     • Couldn't match expected type ‘Attempt (HElemOf rs)’
4                   with actual type ‘Attempt (HHead (HDrop n0 l0))
5                                     -> Attempt (HElemOf l0)’
6     • In the second argument of ‘($)’, namely
7         ‘inj $ Failure (e :: SomeException)’
8       In a stmt of a 'do' block:
9         c <- complete ev $ inj $ Failure (e :: SomeException)
10       In the expression:
11         do { c <- complete ev $ inj $ Failure (e :: SomeException);
12              return $ c || not first }
13     • Relevant bindings include
14         register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool
15           (bound at T5439.hs:64:9)
16         ev :: f (Attempt (WaitOpResult (WaitOps rs)))
17           (bound at T5439.hs:61:22)
18         ops :: WaitOps rs (bound at T5439.hs:61:18)
19         registerWaitOp :: WaitOps rs
20                           -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool
21           (bound at T5439.hs:61:3)
22
23 T5439.hs:82:39: error:
24     • Couldn't match expected type ‘Peano n0’
25                   with actual type ‘Attempt α0’
26     • In the second argument of ‘($)’, namely
27         ‘Failure (e :: SomeException)’
28       In the second argument of ‘($)’, namely
29         ‘inj $ Failure (e :: SomeException)’
30       In a stmt of a 'do' block:
31         c <- complete ev $ inj $ Failure (e :: SomeException)