dorchard / effect-monad

Provides 'graded monads' and 'parameterised monads' to Haskell, enabling fine-grained reasoning about effects.
BSD 2-Clause "Simplified" License
99 stars 11 forks source link

fix: hide prelude fail function to avoid ambiguous ocurrence #13

Closed nilp0inter closed 3 years ago

nilp0inter commented 4 years ago

Fix a compilation error that occurs with modern versions of GHC

Building library for effect-monad-0.8.1.0..
[ 1 of 22] Compiling Control.Coeffect ( src/Control/Coeffect.hs, dist/build/Control/Coeffect.o )
[ 2 of 22] Compiling Control.Coeffect.Coreader ( src/Control/Coeffect/Coreader.hs, dist/build/Control/Coeffect/Coreader.o )
[ 3 of 22] Compiling Control.Effect   ( src/Control/Effect.hs, dist/build/Control/Effect.o )
[ 4 of 22] Compiling Control.Effect.Cond ( src/Control/Effect/Cond.hs, dist/build/Control/Effect/Cond.o )
[ 5 of 22] Compiling Control.Effect.Counter ( src/Control/Effect/Counter.hs, dist/build/Control/Effect/Counter.o )
[ 6 of 22] Compiling Control.Effect.CounterNat ( src/Control/Effect/CounterNat.hs, dist/build/Control/Effect/CounterNat.o )
[ 7 of 22] Compiling Control.Effect.Helpers.List ( src/Control/Effect/Helpers/List.hs, dist/build/Control/Effect/Helpers/List.o )
[ 8 of 22] Compiling Control.Effect.Maybe ( src/Control/Effect/Maybe.hs, dist/build/Control/Effect/Maybe.o )
[ 9 of 22] Compiling Control.Effect.Monad ( src/Control/Effect/Monad.hs, dist/build/Control/Effect/Monad.o )
[10 of 22] Compiling Control.Effect.Parameterised ( src/Control/Effect/Parameterised.hs, dist/build/Control/Effect/Parameterised.o )

src/Control/Effect/Parameterised.hs:9:56: error:
    Ambiguous occurrence ‘fail’
    It could refer to
       either ‘Prelude.fail’,
              imported from ‘Prelude’ at src/Control/Effect/Parameterised.hs:12:1-33
              (and originally defined in ‘Control.Monad.Fail’)
           or ‘Control.Effect.Parameterised.fail’,
              defined at src/Control/Effect/Parameterised.hs:27:1
  |
9 | module Control.Effect.Parameterised ((>>), PMonad(..), fail, ifThenElse) where
  |
dorchard commented 3 years ago

Thanks!