<div dir="ltr">Hi Ben,<div><br></div><div>I updated the wiki page for GHC 8.0.1 to add an entry for the custom type errors (under "in flight, but likely to make it").  It shouldn't be a problem to make all changes needed by the end of November.<br><div><br></div><div>Ther phabricator link is this:</div><div><a href="https://phabricator.haskell.org/D1236">https://phabricator.haskell.org/D1236</a><br></div><div><br></div><div><div>The ticket is here:</div><div><a href="https://ghc.haskell.org/trac/ghc/ticket/9637">https://ghc.haskell.org/trac/ghc/ticket/9637</a><br></div></div><div><br></div><div><br></div><div>Disclaimer: I don't really understand the phabricator work-flow, I just  blindly followed the instructions on the wiki to create this, but I don't really know how to update it or make changes to it.  I'd be happy to push a standard git branch, if that would be useful for you.  It certainly would be easier for me, as I have a good mental model of what git does, but have only very rudimentary understanding of phabricator. </div><div><br></div><div>-Iavor</div><div><br></div><div><br></div><div><br></div><div><br><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Oct 27, 2015 at 11:27 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:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Iavor Diatchki <<a href="mailto:iavor.diatchki@gmail.com">iavor.diatchki@gmail.com</a>> writes:<br>
<br>
> Hello,<br>
><br>
Hello!<br>
<br>
Very good timing on the message; we just finished discussing your work<br>
not more than an hour ago. You can disregard my message; I didn't notice<br>
yours before sending it.<br>
<span class=""><br>
> On Thu, Oct 22, 2015 at 9:47 AM, Simon Peyton Jones <<a href="mailto:simonpj@microsoft.com">simonpj@microsoft.com</a>><br>
> wrote:<br>
><br>
>> I’ve forgotten the state of your type-level error messages work.  How’s it<br>
>> going?<br>
>><br>
>> I think we should try to add it to 8.0.1.  The current status is that the<br>
>> idea is implemented on a branch.  Then, there were some comments and<br>
>> suggestions that maybe we should do things in a different way,<br>
>> implementation wise.  I haven't had a chance to look into these in detail,<br>
>> or implement them, and as far as I know nobody else has stepped up to make<br>
>> the changes.  So we could simply go with the current version, and if for<br>
>> some reason we want to change the implementation we could do it later, as I<br>
>> don't think the API will be affected in any way.    When do the changes<br>
>> need to happen by, so that it makes it in 8.0?   I have been a bit busy,<br>
>> but I could probably find some time to make whatever changes are required<br>
>> for this to be merged.<br>
>><br>
>> OK good!  In that case<br>
>><br>
>> ·         Add it to the hoped-for features in the GHC 8.01. status page<br>
>><br>
> Where is the GHC 8.01 status page?<br>
><br>
</span>Here,<br>
<br>
<a href="https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1</a><br>
<br>
> ·         Write a wiki page with a specification<br>
<span class="">>><br>
>> Here is the specification:<br>
> <a href="https://ghc.haskell.org/trac/ghc/wiki/CustomTypeErros" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/CustomTypeErros</a><br>
><br>
</span>Great! I have moved this to,<br>
<br>
<a href="https://ghc.haskell.org/trac/ghc/wiki/Proposal/CustomTypeErrors" rel="noreferrer" target="_blank">https://ghc.haskell.org/trac/ghc/wiki/Proposal/CustomTypeErrors</a><br>
<br>
and left a redirect page in the old location.<br>
<br>
Is there a Trac ticket for this?<br>
<br>
><br>
>> ·         Announce the proposal and seek feedback<br>
<span class="">>><br>
> We already had a discussion about it, there are notes on the wiki.  I don't<br>
> think any of the comments were about the actual design, the comments seem<br>
> to be more about the implementation.  On that front, if I am to make the<br>
> necessary changes, maybe we could have a chat (or e-mail conversation) to<br>
> make sure that I understand the changes and the motivation for them---the<br>
> wiki is not a great media for question/answer type of discussions.<br>
><br>
</span>I'll let you and Simon work this out.<br>
<br>
>> ·         Meanwhile make sure the branch reflects what you want to be in<br>
<span class="">>> it<br>
>><br>
>> I think that the branch should be in an OK state, except that it is not<br>
> merged with the latest HEAD.<br>
><br>
</span>Where can this branch be found?<br>
<br>
Cheers,<br>
<br>
- Ben<br>
</blockquote></div><br></div></div></div></div>