MonadLogic explicit instances ghc7.7

[schell]

On ghc7.7 I'm getting these errors with cabal build:

src/Control/Access/RoleBased/Internal/Types.hs:28:66:
    Can't make a derived instance of ‛MonadLogic RoleMonad’
      (even with cunning newtype deriving):
      it is not type-safe to use GeneralizedNewtypeDeriving on this class;
      ‛msplit’, at type ‛forall a.
                         m a -> m (Maybe (a, m a))’, cannot be converted safely
    In the newtype declaration for ‛RoleMonad’

src/Control/Access/RoleBased/Internal/Types.hs:33:66:
    Can't make a derived instance of ‛MonadLogic RuleChecker’
      (even with cunning newtype deriving):
      it is not type-safe to use GeneralizedNewtypeDeriving on this class;
      ‛msplit’, at type ‛forall a.
                         m a -> m (Maybe (a, m a))’, cannot be converted safely
    In the newtype declaration for ‛RuleChecker’

I'm up to the task of explicitly defining these, but maybe a little guidance would help? I'm a little out of my element as this is above my skill level I'm afraid.

[mightybyte]

That access control code is currently unused. Let's stop it from being compiled but leave it in the repository.

[schell]

Does that mean it should be removed, commented out or changed in any way?

[mightybyte]

Let's just comment them out in the other-modules section of the .cabal file.

[schell]

Will do. :+1:

[imalsogreg]

Let's close this out. Relevant modules are long gone. Hi Schell :)

[schell]

Hey y'all! Long time no see! This ticket predated us all working together 3 years, funny! Miss ya!