Skip to content

Instantly share code, notes, and snippets.

@xenophobia
Created March 2, 2014 11:21
Show Gist options
  • Select an option

  • Save xenophobia/9305146 to your computer and use it in GitHub Desktop.

Select an option

Save xenophobia/9305146 to your computer and use it in GitHub Desktop.
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