Hi Ben, I think that D1152 (Record Pattern Synonyms) will be ready for 7.12. https://phabricator.haskell.org/D1152
On Thu, Aug 27, 2015 at 5:38 PM, Ben Gamari <b...@well-typed.com> wrote: > > Hello everyone! > > With the 7.10.1 release nearly six months behind us and 7.10.2 out of the > way, now is a good time to begin looking forward to 7.12. In keeping > with the typical release pace, we are aiming to have a release > candidate ready in mid-December 2015 and a final release in January > 2016. > > The items that that we currently believe have a good chance of making it > in to 7.12 are listed on the release status page [1], which I've > summarized below (in no particular order), > > > * Support for implicit parameters providing callstacks and source > locations > > * Support for wildcards in data and type family instances > > * A new, type-indexed type representation, data TTypeRep (a :: k). > > * Introduction of visible type application > > * Support for reasoning about kind equalities > > * Support for Injective Type Families > > * Support for the Strict language extension > > * Support for Overloaded Record Fields, allowing multiple uses of > the same field name and a form of type-directed name resolution. > > * A huge improvement to pattern matching (including much better > coverage of GADTs) > > * Backpack is chugging along; we have a new user-facing syntax which > allows multiple modules to be defined a single file, and are > hoping to release at least the ability to publish multiple "units" > in a single Cabal file. > > * Support for Applicative Do, allowing GHC to desugar do-notation to > Applicative where possible. > > * Improved DWARF based debugging support including backtraces from > Haskell code > > * An Improved LLVM Backend that ships with every major Tier 1 platform. > > > These items are a bit less certain but may make it in if the authors > push forward quickly enough, > > > * Support for Type Signature Sections, allowing you to write (:: ty) > as a shorthand for (\x -> x :: ty). > > * A (possible) overhaul of GHC's build system to use Shake instead > of Make. > > * A DEPRECATED pragma for exports > > > Is your pet project missing from this list? If you have a patch that you > believe is on-track to make it in for 7.12, please let us know. > > Moreover, if you have an issue that you urgently need fixed in 7.12, > please express you interest on the appropriate ticket. User feedback > helps us immensely in figuring out how to best place our priorities. > > Cheers, > > - Ben > > > [1] https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.12.1 > > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs > _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs