<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>