Doh, left off MultiParamTypeClasses from the list in the email. Though, as Richard mentions, apparently this should be carefully considered with regards to coherence.
On Mon, May 2, 2016 at 7:41 PM, Michael Sloan <mgsl...@gmail.com> wrote: > 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
