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