Type-level error messages

[Iavor Diatchki]

Hi Ben,

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.

Ther phabricator link is this:
https://phabricator.haskell.org/D1236

The ticket is here:
https://ghc.haskell.org/trac/ghc/ticket/9637


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.

-Iavor





On Tue, Oct 27, 2015 at 11:27 AM, Ben Gamari <ben at well-typed.com> wrote:

> Iavor Diatchki <iavor.diatchki at gmail.com> writes:
>
> > Hello,
> >
> Hello!
>
> Very good timing on the message; we just finished discussing your work
> not more than an hour ago. You can disregard my message; I didn't notice
> yours before sending it.
>
> > On Thu, Oct 22, 2015 at 9:47 AM, Simon Peyton Jones <
> simonpj at microsoft.com>
> > wrote:
> >
> >> I’ve forgotten the state of your type-level error messages work.  How’s
> it
> >> going?
> >>
> >> 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.
> >>
> >> OK good!  In that case
> >>
> >> ·         Add it to the hoped-for features in the GHC 8.01. status page
> >>
> > Where is the GHC 8.01 status page?
> >
> Here,
>
> https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-8.0.1
>
> > ·         Write a wiki page with a specification
> >>
> >> Here is the specification:
> > https://ghc.haskell.org/trac/ghc/wiki/CustomTypeErros
> >
> Great! I have moved this to,
>
> https://ghc.haskell.org/trac/ghc/wiki/Proposal/CustomTypeErrors
>
> and left a redirect page in the old location.
>
> Is there a Trac ticket for this?
>
> >
> >> ·         Announce the proposal and seek feedback
> >>
> > 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.
> >
> I'll let you and Simon work this out.
>
> >> ·         Meanwhile make sure the branch reflects what you want to be in
> >> it
> >>
> >> I think that the branch should be in an OK state, except that it is not
> > merged with the latest HEAD.
> >
> Where can this branch be found?
>
> Cheers,
>
> - Ben
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20151027/1d1b6fed/attachment-0001.html>