diff options
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T5439.stderr')
-rw-r--r-- | testsuite/tests/indexed-types/should_fail/T5439.stderr | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T5439.stderr b/testsuite/tests/indexed-types/should_fail/T5439.stderr index 4d8742c955..81453a0f54 100644 --- a/testsuite/tests/indexed-types/should_fail/T5439.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5439.stderr @@ -1,9 +1,18 @@ T5439.hs:83:28: - Couldn't match type `Attempt (WaitOpResult (WaitOps rs))' - with `Attempt (HNth n0 l0) -> Attempt (HElemOf l0)' + 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 + registerWaitOp :: WaitOps rs + -> f (Attempt (WaitOpResult (WaitOps rs))) -> IO Bool + (bound at T5439.hs:62:3) + ops :: WaitOps rs (bound at T5439.hs:62:18) + ev :: f (Attempt (WaitOpResult (WaitOps rs))) + (bound at T5439.hs:62:22) + register :: Bool -> Peano n -> WaitOps (HDrop n rs) -> IO Bool + (bound at T5439.hs:65:9) In the first argument of `complete', namely `ev' In the expression: complete ev In a stmt of a 'do' block: |