In this issue on the hpack tracker, I describe my swing at coming up with a conservative set of extensions:
https://github.com/sol/hpack/issues/94 The list I ended up with is: LambdaCase, GADTSyntax, ScopedTypeVariables, TupleSections, BangPatterns, FlexibleInstances, FlexibleContexts, MultiWayIf, TypeOperators, FunctionalDependencies, BinaryLiterals, RecursiveDo, ParallelListComp, PartialTypeSignatures, EmptyCase, InstanceSigs Not sure about FlexibleInstances, EmptyCase, or TupleSections (see the issue). If some set like this is accepted, then that "just" leaves figuring out the set of more complicated type system extensions :) -Michael On Mon, May 2, 2016 at 3:57 PM, John Wiegley <jo...@newartisans.com> wrote: > I wonder if there are GHC extensions we'd like to promote as features in > the > next report, as a starting point for discussing new additions. > > There are a few GHC features that have become part of the regular Haskell > landscape, such that it's hard to imagine a modern Haskell without them. > For > example, MultiParamTypeClasses, OverloadedStrings, GADTs, TypeFamilies, > etc. > > How much "work" is typically involved in promoting a feature to be in the > Report, and how do we determine when it's a bad idea? > > -- > John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F > http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2 > _______________________________________________ > Haskell-prime mailing list > Haskell-prime@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime >
_______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-prime