<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
        {font-family:"Cambria Math";
        panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
        {font-family:Calibri;
        panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
        {margin:0cm;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Times New Roman",serif;}
a:link, span.MsoHyperlink
        {mso-style-priority:99;
        color:blue;
        text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
        {mso-style-priority:99;
        color:purple;
        text-decoration:underline;}
p.Code, li.Code, div.Code
        {mso-style-name:Code;
        mso-style-link:"Code Char";
        margin-top:0cm;
        margin-right:0cm;
        margin-bottom:0cm;
        margin-left:36.0pt;
        margin-bottom:.0001pt;
        font-size:12.0pt;
        font-family:"Courier New";}
span.CodeChar
        {mso-style-name:"Code Char";
        mso-style-link:Code;
        font-family:"Courier New";}
span.EmailStyle19
        {mso-style-type:personal-reply;
        font-family:"Calibri",sans-serif;
        color:windowtext;}
.MsoChpDefault
        {mso-style-type:export-only;
        font-family:"Calibri",sans-serif;
        mso-fareast-language:EN-US;}
.MsoPapDefault
        {mso-style-type:export-only;
        margin-top:6.0pt;
        margin-right:0cm;
        margin-bottom:6.0pt;
        margin-left:0cm;}
@page WordSection1
        {size:612.0pt 792.0pt;
        margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
        {page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang="EN-GB" link="blue" vlink="purple">
<div class="WordSection1">
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;mso-fareast-language:EN-US">Actually that’s a good idea.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;mso-fareast-language:EN-US">Simon<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<p class="MsoNormal"><span style="font-family:"Calibri",sans-serif;mso-fareast-language:EN-US"><o:p> </o:p></span></p>
<div style="border:none;border-left:solid blue 1.5pt;padding:0cm 0cm 0cm 4.0pt">
<div>
<div style="border:none;border-top:solid #E1E1E1 1.0pt;padding:3.0pt 0cm 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif">From:</span></b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif"> ghc-devs [mailto:ghc-devs-bounces@haskell.org]
<b>On Behalf Of </b>Greg Weber<br>
<b>Sent:</b> 28 August 2015 16:43<br>
<b>To:</b> Ben Gamari<br>
<b>Cc:</b> GHC developers<br>
<b>Subject:</b> Re: Planning for the 7.12 release<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><o:p> </o:p></p>
<div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
Can we call this GHC 8.0 instead of 7.12 ?<o:p></o:p></p>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
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!"<o:p></o:p></p>
</div>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<o:p> </o:p></p>
<div>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
On Thu, Aug 27, 2015 at 8:38 AM, Ben Gamari <<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>> wrote:<o:p></o:p></p>
<blockquote style="border:none;border-left:solid #CCCCCC 1.0pt;padding:0cm 0cm 0cm 6.0pt;margin-left:4.8pt;margin-right:0cm">
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:12.0pt;margin-left:0cm">
<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" 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" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs</a><o:p></o:p></p>
</blockquote>
</div>
<p class="MsoNormal" style="mso-margin-top-alt:6.0pt;margin-right:0cm;margin-bottom:6.0pt;margin-left:0cm">
<o:p> </o:p></p>
</div>
</div>
</div>
</body>
</html>