Re: Type-level error messages

Hello, I've updated the implementation to match the discussion from this morning. The idea is that `TypeError msd` is a type-family that can never be reduced, similar to `Any`. We don't do anything special in the constraint solver, however when printing errors, if we encounter any constraints of

Re: Type-level error messages

When you pulled the latest version from git did you pull both arcanist and libphutil? I think I saw a similar error when I missed one. Also `arc upgrade` should do the right thing for you (in the future). ~adam On Thu, 29 Oct 2015, at 09:23 PM, Iavor Diatchki wrote: > Hello, > > I've updated

Re: Type-level error messages

Iavor Diatchki writes: >> I think that the branch should be in an OK state, except that it is not >> merged with the latest HEAD. > It does look pretty reasonable but keep in mind that there are a number of comments on the Phabricator Diff that still need to be

Re: Type-level error messages

On Oct 28, 2015, at 7:39 AM, Ben Gamari wrote: > It does look pretty reasonable but keep in mind that there are a number > of comments on the Phabricator Diff that still need to be addressed. And I have three burning questions at the bottom of the wiki page

Re: Type-level error messages

On Oct 28, 2015, at 10:02 AM, "Augustsson, Lennart" wrote: > I've put in my answers to your questions. And I've responded. ___ ghc-devs mailing list ghc-devs@haskell.org

Re: Type-level error messages

I have also written my thoughts on the questions posed by Richard on the wiki page. On Wed, Oct 28, 2015 at 7:07 AM, Richard Eisenberg wrote: > > On Oct 28, 2015, at 10:02 AM, "Augustsson, Lennart" < > lennart.augusts...@sc.com> wrote: > > > I've put in my answers to your

Re: Type-level error messages

progress you make on the > above will still be useful. > > > > Simon > > > > *From:* Iavor Diatchki [mailto:iavor.diatc...@gmail.com] > *Sent:* 22 October 2015 17:42 > *To:* Simon Peyton Jones > *Cc:* Augustsson, Lennart > *Subject:* Re: Type-level error messages > > > &

RE: Type-level error messages

Simon Peyton Jones writes: > I’ve forgotten the state of your type-level error messages work. How’s it > going? > > Iavor Diatchki writes: > > > I think we should try to add it to 8.0.1. The current status is that > > the idea is implemented

Re: Type-level error messages

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

Re: Type-level error messages

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

Re: Type-level error messages

Hi Iavor, You can update your diff by using "arc diff --update D1236" Matt On Tue, Oct 27, 2015 at 8:48 PM, Iavor Diatchki wrote: > 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

RE: Type-level error messages

It would be great to document some of these common workflows. Simon | -Original Message- | From: ghc-devs [mailto:ghc-devs-boun...@haskell.org] On Behalf Of Matthew | Pickering | Sent: 27 October 2015 21:10 | To: Iavor Diatchki | Cc: ghc-devs@haskell.org | Subject: Re: Type-level error

RE: Type-level error messages

will still be useful. Simon From: Iavor Diatchki [mailto:iavor.diatc...@gmail.com] Sent: 22 October 2015 17:42 To: Simon Peyton Jones Cc: Augustsson, Lennart Subject: Re: Type-level error messages Hello, I think we should try to add it to 8.0.1. The current status is that the idea is implemented