Created
March 2, 2014 11:21
-
-
Save xenophobia/9305146 to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| src\Control\Comonad\Representable\Store.hs:112:12: | |
| Couldn't match expected type `w x0 -> v x0' | |
| with actual type `StoreT g0 w0 a0' | |
| In the pattern: StoreT w s | |
| In an equation for `cohoist': | |
| cohoist (StoreT w s) = StoreT (Identity (extract w)) s | |
| In the instance declaration for `ComonadHoist (StoreT g)' | |
| src\Control\Comonad\Representable\Store.hs:112:26: | |
| Couldn't match expected type `StoreT g w a -> StoreT g v a' | |
| with actual type `StoreT g0 Identity a0' | |
| In the return type of a call of `StoreT' | |
| Probable cause: `StoreT' is applied to too many arguments | |
| In the expression: StoreT (Identity (extract w)) s | |
| In an equation for `cohoist': | |
| cohoist (StoreT w s) = StoreT (Identity (extract w)) s | |
| Failed to install representable-functors-3.2.0.1 | |
| cabal: Error: some packages failed to install: | |
| representable-functors-3.2.0.1 failed during the building phase. The exception | |
| was: | |
| ExitFailure 1 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment