
Hi Ivan, could you make a new release of fgl that works with ghc-7.10? I could compile it locally after the following changes: Data/Graph/Inductive/Query/Monad.hs +import Control.Applicative +import Control.Monad (ap, liftM) +instance Monad m => Functor (GT m g) where + fmap = liftM + +instance Monad m => Applicative (GT m g) where + pure = return + (<*>) = ap Data/Graph/Inductive/Monad/IOArray.hs -{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-} I'm not sure why FlexibleContexts is now needed and I'm not sure how the package version number should change. Cheers Christian

On Mon, 16 Feb 2015, C Maeder wrote:
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
I'm not sure why FlexibleContexts is now needed and I'm not sure how the package version number should change.
GHC-7.10 requires to declare LANGUAGE extensions also for the type signatures that you do not have written. Maybe this applies here.

On Mon, Feb 16, 2015 at 2:22 PM, C Maeder
Hi Ivan,
could you make a new release of fgl that works with ghc-7.10?
I could compile it locally after the following changes:
Data/Graph/Inductive/Query/Monad.hs
+import Control.Applicative +import Control.Monad (ap, liftM)
+instance Monad m => Functor (GT m g) where + fmap = liftM + +instance Monad m => Applicative (GT m g) where + pure = return + (<*>) = ap
Data/Graph/Inductive/Monad/IOArray.hs
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
I'm not sure why FlexibleContexts is now needed and I'm not sure how the package version number should change.
Assuming the package defines GT this is a minor (third component) bump according to the newish PVP rules. Major if it's an orphan instance.
Cheers Christian _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

I've received several requests for this, but especially because of the
burning bridges proposal and the ongoing survey about whether it
should be included in 7.10 I'm wanting to hold back on doing a
7.10-compatible release until I know what will actually be required.
On 17 February 2015 at 00:22, C Maeder
Hi Ivan,
could you make a new release of fgl that works with ghc-7.10?
I could compile it locally after the following changes:
Data/Graph/Inductive/Query/Monad.hs
+import Control.Applicative +import Control.Monad (ap, liftM)
+instance Monad m => Functor (GT m g) where + fmap = liftM + +instance Monad m => Applicative (GT m g) where + pure = return + (<*>) = ap
Data/Graph/Inductive/Monad/IOArray.hs
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
I'm not sure why FlexibleContexts is now needed and I'm not sure how the package version number should change.
Cheers Christian
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com

hey ivan, AMP will be required in 7.10 no matter what the outcome of the FTP survey, which is mostly about changes to foldable and whether foldable + traversable will be in prelude cheers -Carter On Mon, Feb 16, 2015 at 6:47 PM, Ivan Lazar Miljenovic < ivan.miljenovic@gmail.com> wrote:
I've received several requests for this, but especially because of the burning bridges proposal and the ongoing survey about whether it should be included in 7.10 I'm wanting to hold back on doing a 7.10-compatible release until I know what will actually be required.
On 17 February 2015 at 00:22, C Maeder
wrote: Hi Ivan,
could you make a new release of fgl that works with ghc-7.10?
I could compile it locally after the following changes:
Data/Graph/Inductive/Query/Monad.hs
+import Control.Applicative +import Control.Monad (ap, liftM)
+instance Monad m => Functor (GT m g) where + fmap = liftM + +instance Monad m => Applicative (GT m g) where + pure = return + (<*>) = ap
Data/Graph/Inductive/Monad/IOArray.hs
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
I'm not sure why FlexibleContexts is now needed and I'm not sure how the package version number should change.
Cheers Christian
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries

Sure; I just didn't want to have the possibility that I released a
7.10-compatible release only to find that another was needed
(admittedly, I haven't actually examined whether this would be the
case due to too-monomorphic usage of stuff that will be in FTP).
On 17 February 2015 at 13:08, Carter Schonwald
hey ivan, AMP will be required in 7.10 no matter what the outcome of the FTP survey, which is mostly about changes to foldable and whether foldable + traversable will be in prelude cheers -Carter
On Mon, Feb 16, 2015 at 6:47 PM, Ivan Lazar Miljenovic
wrote: I've received several requests for this, but especially because of the burning bridges proposal and the ongoing survey about whether it should be included in 7.10 I'm wanting to hold back on doing a 7.10-compatible release until I know what will actually be required.
On 17 February 2015 at 00:22, C Maeder
wrote: Hi Ivan,
could you make a new release of fgl that works with ghc-7.10?
I could compile it locally after the following changes:
Data/Graph/Inductive/Query/Monad.hs
+import Control.Applicative +import Control.Monad (ap, liftM)
+instance Monad m => Functor (GT m g) where + fmap = liftM + +instance Monad m => Applicative (GT m g) where + pure = return + (<*>) = ap
Data/Graph/Inductive/Monad/IOArray.hs
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
I'm not sure why FlexibleContexts is now needed and I'm not sure how the package version number should change.
Cheers Christian
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com

(And I forgot to mention I'll re-check this over the next few days.)
On 17 February 2015 at 13:18, Ivan Lazar Miljenovic
Sure; I just didn't want to have the possibility that I released a 7.10-compatible release only to find that another was needed (admittedly, I haven't actually examined whether this would be the case due to too-monomorphic usage of stuff that will be in FTP).
On 17 February 2015 at 13:08, Carter Schonwald
wrote: hey ivan, AMP will be required in 7.10 no matter what the outcome of the FTP survey, which is mostly about changes to foldable and whether foldable + traversable will be in prelude cheers -Carter
On Mon, Feb 16, 2015 at 6:47 PM, Ivan Lazar Miljenovic
wrote: I've received several requests for this, but especially because of the burning bridges proposal and the ongoing survey about whether it should be included in 7.10 I'm wanting to hold back on doing a 7.10-compatible release until I know what will actually be required.
On 17 February 2015 at 00:22, C Maeder
wrote: Hi Ivan,
could you make a new release of fgl that works with ghc-7.10?
I could compile it locally after the following changes:
Data/Graph/Inductive/Query/Monad.hs
+import Control.Applicative +import Control.Monad (ap, liftM)
+instance Monad m => Functor (GT m g) where + fmap = liftM + +instance Monad m => Applicative (GT m g) where + pure = return + (<*>) = ap
Data/Graph/Inductive/Monad/IOArray.hs
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
I'm not sure why FlexibleContexts is now needed and I'm not sure how the package version number should change.
Cheers Christian
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com

It took me longer than I expected, but I've migrated fgl over to
GitHub and added in a bunch of changes/fixups (including hopefully GHC
7.10 compatibility): https://github.com/haskell/fgl
Can people please check this (especially since I don't have 7.10 and
can't actually test it); I'm also unsure if some of these changes
(e.g. data -> newtype and removal of data type contexts) requires a
major version bump.
If there aren't any problems, I'll make a release over the weekend.
On 17 February 2015 at 13:18, Ivan Lazar Miljenovic
(And I forgot to mention I'll re-check this over the next few days.)
On 17 February 2015 at 13:18, Ivan Lazar Miljenovic
wrote: Sure; I just didn't want to have the possibility that I released a 7.10-compatible release only to find that another was needed (admittedly, I haven't actually examined whether this would be the case due to too-monomorphic usage of stuff that will be in FTP).
On 17 February 2015 at 13:08, Carter Schonwald
wrote: hey ivan, AMP will be required in 7.10 no matter what the outcome of the FTP survey, which is mostly about changes to foldable and whether foldable + traversable will be in prelude cheers -Carter
On Mon, Feb 16, 2015 at 6:47 PM, Ivan Lazar Miljenovic
wrote: I've received several requests for this, but especially because of the burning bridges proposal and the ongoing survey about whether it should be included in 7.10 I'm wanting to hold back on doing a 7.10-compatible release until I know what will actually be required.
On 17 February 2015 at 00:22, C Maeder
wrote: Hi Ivan,
could you make a new release of fgl that works with ghc-7.10?
I could compile it locally after the following changes:
Data/Graph/Inductive/Query/Monad.hs
+import Control.Applicative +import Control.Monad (ap, liftM)
+instance Monad m => Functor (GT m g) where + fmap = liftM + +instance Monad m => Applicative (GT m g) where + pure = return + (<*>) = ap
Data/Graph/Inductive/Monad/IOArray.hs
-{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances #-} +{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, FlexibleContexts #-}
I'm not sure why FlexibleContexts is now needed and I'm not sure how the package version number should change.
Cheers Christian
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com _______________________________________________ Libraries mailing list Libraries@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com
-- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com http://IvanMiljenovic.wordpress.com

2015-03-06 12:13 GMT+01:00 Ivan Lazar Miljenovic
It took me longer than I expected, but I've migrated fgl over to GitHub and added in a bunch of changes/fixups (including hopefully GHC 7.10 compatibility): https://github.com/haskell/fgl [...]
If you have your project already on github, testing should be easy, see: https://github.com/hvr/multi-ghc-travis.
participants (6)
-
Adam Bergmark
-
C Maeder
-
Carter Schonwald
-
Henning Thielemann
-
Ivan Lazar Miljenovic
-
Sven Panne