diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2014-01-03 16:07:17 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2014-01-03 16:07:17 +0000 |
| commit | c06528c3c988ea1c1515c7033158728f8ed20bf0 (patch) | |
| tree | ded66b6798e6184019acabf4e476d578f58ad5c9 /testsuite/tests/indexed-types/should_fail/T5439.stderr | |
| parent | e54ce01a11c9786f9598e0c5f7ae62640300fbf5 (diff) | |
| download | haskell-c06528c3c988ea1c1515c7033158728f8ed20bf0.tar.gz | |
White space only
Diffstat (limited to 'testsuite/tests/indexed-types/should_fail/T5439.stderr')
| -rw-r--r-- | testsuite/tests/indexed-types/should_fail/T5439.stderr | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/testsuite/tests/indexed-types/should_fail/T5439.stderr b/testsuite/tests/indexed-types/should_fail/T5439.stderr index 90f477468a..e6e34b19c5 100644 --- a/testsuite/tests/indexed-types/should_fail/T5439.stderr +++ b/testsuite/tests/indexed-types/should_fail/T5439.stderr @@ -1,25 +1,25 @@ -
-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)’
+ +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)’ |