Build failure with GHC 7.10.1-rc1 about control-monad-free HOT 5 CLOSED

Sure, I'll take a look tonight

Sent from my mobile phone

On 21 Jan 2015, at 09:29, Peter Simons [email protected] wrote:

Hi, I'm trying to compile hledger with the current GHC 7.10.1 release candidate, but I've run into trouble with control-monad-free because of the issues indicated by the following GHC 7.8.4 warnings:

Control/Monad/Free.hs:58:10: Warning:
‘Free’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.

Control/Monad/Free.hs:111:10: Warning:
‘FreeT’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[2 of 3] Compiling Control.Monad.Free.Zip ( Control/Monad/Free/Zip.hs, dist/build/Control/Monad/Free/Zip.o )
[3 of 3] Compiling Control.Monad.Free.Improve ( Control/Monad/Free/Improve.hs, dist/build/Control/Monad/Free/Improve.o )

Control/Monad/Free/Improve.hs:36:10: Warning:
‘C’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.

Control/Monad/Free/Improve.hs:44:10: Warning:
‘C’ is an instance of MonadPlus but not Alternative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Would it be possible to get an updated version of your package that remedies these issues?

—
Reply to this email directly or view it on GitHub.

from control-monad-free.

Control-monad-free 0.6.0 is up, tested with ghc 7.8.3

Sent from my mobile phone

On 21 Jan 2015, at 09:29, Peter Simons [email protected] wrote:

Hi, I'm trying to compile hledger with the current GHC 7.10.1 release candidate, but I've run into trouble with control-monad-free because of the issues indicated by the following GHC 7.8.4 warnings:

Control/Monad/Free.hs:58:10: Warning:
‘Free’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.

Control/Monad/Free.hs:111:10: Warning:
‘FreeT’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[2 of 3] Compiling Control.Monad.Free.Zip ( Control/Monad/Free/Zip.hs, dist/build/Control/Monad/Free/Zip.o )
[3 of 3] Compiling Control.Monad.Free.Improve ( Control/Monad/Free/Improve.hs, dist/build/Control/Monad/Free/Improve.o )

Control/Monad/Free/Improve.hs:36:10: Warning:
‘C’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.

Control/Monad/Free/Improve.hs:44:10: Warning:
‘C’ is an instance of MonadPlus but not Alternative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
Would it be possible to get an updated version of your package that remedies these issues?

—
Reply to this email directly or view it on GitHub.

from control-monad-free.

GHC 7.10.1-rc1 isn't happy about control-monad-free-0.6.0.1, I'm afraid:

Control/Monad/Free.hs:159:10:
    Could not deduce (Alternative (FreeT f m))
      arising from the superclasses of an instance declaration
    from the context (Functor f, Monad m, MonadPlus m)
      bound by the instance declaration
      at Control/Monad/Free.hs:159:10-67
    In the instance declaration for ‘MonadPlus (FreeT f m)’

GHC 7.8.4 issues the following warnings:

[1 of 3] Compiling Control.Monad.Free ( Control/Monad/Free.hs, dist/build/Control/Monad/Free.o )

Control/Monad/Free.hs:159:10: Warning:
    ‘FreeT’ is an instance of MonadPlus but not Alternative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[2 of 3] Compiling Control.Monad.Free.Zip ( Control/Monad/Free/Zip.hs, dist/build/Control/Monad/Free/Zip.o )
[3 of 3] Compiling Control.Monad.Free.Improve ( Control/Monad/Free/Improve.hs, dist/build/Control/Monad/Free/Improve.o )

Control/Monad/Free/Improve.hs:53:10: Warning:
    ‘C’ is an instance of MonadPlus but not Alternative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.

from control-monad-free.

More compiler warnings from GHC 7.10.1-rc1 that might be of interest:

on the commandline: Warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS

from control-monad-free.

Thanks, that's very helpful. Version 0.6.1 is up with the missing
Alternative instances. If I can get around to download 7.10 then I'll sort
out the use of -XOverlappingInstances as well

On Thu, Jan 22, 2015 at 10:10 PM, Peter Simons [email protected]
wrote:

More compiler warnings from GHC 7.10.1-rc1 that might be of interest:

on the commandline: Warning:
-XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS

—
Reply to this email directly or view it on GitHub
#3 (comment)
.

from control-monad-free.