Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Prelude> :r
- [1 of 1] Compiling FME ( /home/nick/vertigomedia/Union-Haskell/playground-haskell/free-transactions/src/FME.hs, interpreted )
- /home/nick/vertigomedia/Union-Haskell/playground-haskell/free-transactions/src/FME.hs:151:8:
- Couldn't match type ‘m1’ with ‘Either Err’
- ‘m1’ is a rigid type variable bound by
- a pattern with constructor
- InputE :: forall next a (m :: * -> *).
- (Read a, MonadError Err m) =>
- (m a -> next) -> RetryF next,
- in an equation for ‘runIO’
- at /home/nick/vertigomedia/Union-Haskell/playground-haskell/free-transactions/src/FME.hs:148:8
- Expected type: m1 a1
- Actual type: Either Err a1
- Relevant bindings include
- next :: m1 a1 -> m a
- (bound at /home/nick/vertigomedia/Union-Haskell/playground-haskell/free-transactions/src/FME.hs:148:15)
- In the first argument of ‘next’, namely ‘eth’
- In a stmt of a 'do' block: next eth
- Failed, modules loaded: none.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement