search

Gabriella439 / Haskell-Index-Core-Library

Indexed Types
BSD 3-Clause "New" or "Revised" License
13 stars 2 forks source link

GHC 7.10 build failure #4

Open bergmark opened 9 years ago

bergmark commented 9 years ago 
Control/IMonad/Core.hs:75:14:
    Couldn't match type ‘a i0 -> m b i0’
                   with ‘forall i1. a i1 -> m b i1’
    Expected type: (a i0 -> m b i0) -> m a i -> m b i
      Actual type: a :-> m b -> m a i -> m b i
    Relevant bindings include
      (?>=) :: m a i -> a :-> m b -> m b i
        (bound at Control/IMonad/Core.hs:75:1)
    In the first argument of ‘flip’, namely ‘bindI’
    In the expression: flip bindI

I revised this on hackage to disallow 7.10: http://hackage.haskell.org/package/index-core/revisions/

It seems this package no longer has any reverse dependencies so supporting GHC 7.10 may not be necessary.

Gabriella439 commented 9 years ago

Thanks for the revision! I'm not quite sure why the type-checking behavior changes in ghc-7.10, but I will take a look at this later when I have more time