<div dir="ltr">Hello,<div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 22, 2015 at 9:47 AM, Simon Peyton Jones <span dir="ltr"><<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div lang="EN-GB" link="blue" vlink="purple">
<div><span class="">
<p class="MsoNormal" style="margin-left:36pt">
I’ve forgotten the state of your type-level error messages work. How’s it going?<u></u><u></u></p>
</span><p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
I think we should try to add it to 8.0.1. The current status is that the idea is implemented on a branch. Then, there were some comments and suggestions that maybe we should do things in a different way, implementation wise. I haven't had a chance to look
into these in detail, or implement them, and as far as I know nobody else has stepped up to make the changes. So we could simply go with the current version, and if for some reason we want to change the implementation we could do it later, as I don't think
the API will be affected in any way. When do the changes need to happen by, so that it makes it in 8.0? I have been a bit busy, but I could probably find some time to make whatever changes are required for this to be merged.<u></u><u></u></p>
<p class="MsoNormal"><br></p></div></div></blockquote><div><br></div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div lang="EN-GB" link="blue" vlink="purple"><div><p class="MsoNormal"></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">OK good! In that case<u></u><u></u></span></p>
<p><u></u><span style="font-family:Symbol"><span>·<span style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7pt;line-height:normal;font-family:'Times New Roman'">
</span></span></span><u></u><span style="font-family:Calibri,sans-serif">Add it to the hoped-for features in the GHC 8.01. status page</span></p></div></div></blockquote><div>Where is the GHC 8.01 status page?</div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div lang="EN-GB" link="blue" vlink="purple"><div><p><span style="font-family:Calibri,sans-serif"><u></u><u></u></span></p>
<p><u></u><span style="font-family:Symbol"><span>·<span style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7pt;line-height:normal;font-family:'Times New Roman'">
</span></span></span><u></u><span style="font-family:Calibri,sans-serif">Write a wiki page with a specification<u></u><u></u></span></p>
<p><u></u><span style="font-family:Symbol"><span></span></span></p></div></div></blockquote><div>Here is the specification: <a href="https://ghc.haskell.org/trac/ghc/wiki/CustomTypeErros">https://ghc.haskell.org/trac/ghc/wiki/CustomTypeErros</a></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div lang="EN-GB" link="blue" vlink="purple"><div><p><span style="font-family:Symbol"><span>·<span style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7pt;line-height:normal;font-family:'Times New Roman'">
</span></span></span><u></u><span style="font-family:Calibri,sans-serif">Announce the proposal and seek feedback</span></p></div></div></blockquote><div>We already had a discussion about it, there are notes on the wiki. I don't think any of the comments were about the actual design, the comments seem to be more about the implementation. On that front, if I am to make the necessary changes, maybe we could have a chat (or e-mail conversation) to make sure that I understand the changes and the motivation for them---the wiki is not a great media for question/answer type of discussions.</div><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div lang="EN-GB" link="blue" vlink="purple"><div><p><span style="font-family:Calibri,sans-serif"><u></u><u></u></span></p>
<p><u></u><span style="font-family:Symbol"><span>·<span style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:7pt;line-height:normal;font-family:'Times New Roman'">
</span></span></span><u></u><span style="font-family:Calibri,sans-serif">Meanwhile make sure the branch reflects what you want to be in it<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif"><u></u></span></p></div></div></blockquote><div>I think that the branch should be in an OK state, except that it is not merged with the latest HEAD.</div><div><br></div><div><br></div><div>-Iavor</div><div> </div><div><br></div><div><br></div><div><br></div><div><br></div><div><br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><div lang="EN-GB" link="blue" vlink="purple"><div><p class="MsoNormal"><span style="font-family:Calibri,sans-serif"> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">If you don’t have time, well, no harm done… any progress you make on the above will still be useful.<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif"><u></u> <u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif">Simon<u></u><u></u></span></p>
<p class="MsoNormal"><span style="font-family:Calibri,sans-serif"><u></u> <u></u></span></p>
<div style="border-style:none none none solid;border-left-color:blue;border-left-width:1.5pt;padding:0cm 0cm 0cm 4pt">
<div>
<div style="border-style:solid none none;border-top-color:rgb(225,225,225);border-top-width:1pt;padding:3pt 0cm 0cm">
<p class="MsoNormal"><b><span lang="EN-US" style="font-size:11pt;font-family:Calibri,sans-serif">From:</span></b><span lang="EN-US" style="font-size:11pt;font-family:Calibri,sans-serif"> Iavor Diatchki [mailto:<a href="mailto:iavor.diatchki@gmail.com" target="_blank">iavor.diatchki@gmail.com</a>]
<br>
<b>Sent:</b> 22 October 2015 17:42<br>
<b>To:</b> Simon Peyton Jones<br>
<b>Cc:</b> Augustsson, Lennart<br>
<b>Subject:</b> Re: Type-level error messages<u></u><u></u></span></p>
</div>
</div><div><div class="h5">
<p class="MsoNormal"><u></u> <u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
Hello,<u></u><u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
I think we should try to add it to 8.0.1. The current status is that the idea is implemented on a branch. Then, there were some comments and suggestions that maybe we should do things in a different way, implementation wise. I haven't had a chance to look
into these in detail, or implement them, and as far as I know nobody else has stepped up to make the changes. So we could simply go with the current version, and if for some reason we want to change the implementation we could do it later, as I don't think
the API will be affected in any way. When do the changes need to happen by, so that it makes it in 8.0? I have been a bit busy, but I could probably find some time to make whatever changes are required for this to be merged.<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
-Iavor<u></u><u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
</div>
</div>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
<u></u> <u></u></p>
<div>
<p class="MsoNormal" style="margin-right:0cm;margin-bottom:6pt;margin-left:0cm">
On Thu, Oct 22, 2015 at 3:47 AM, Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com" target="_blank">simonpj@microsoft.com</a>> wrote:<u></u><u></u></p>
<blockquote style="border-style:none none none solid;border-left-color:rgb(204,204,204);border-left-width:1pt;padding:0cm 0cm 0cm 6pt;margin-left:4.8pt;margin-right:0cm">
<div>
<div>
<p class="MsoNormal">Iavor<u></u><u></u></p>
<p class="MsoNormal">I’ve forgotten the state of your type-level error messages work. How’s it going?<u></u><u></u></p>
<p class="MsoNormal">It’s not mentioned on
<a href="https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1" target="_blank">
https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1</a>: shouldn’t it be?<u></u><u></u></p>
<p class="MsoNormal"><span style="color:rgb(136,136,136)">Simon<u></u><u></u></span></p>
</div>
</div>
</blockquote>
</div>
<p class="MsoNormal"><u></u> <u></u></p>
</div>
</div></div></div>
</div>
</div>
</blockquote></div><br></div></div>