Separating typechecking and type error reporting in two passes?

[Joachim Breitner]

Hi,

Am Mittwoch, den 30.11.2016, 12:59 +0100 schrieb MarLinn via ghc-devs:
> > But you are right that when the programmer sits there and waits for a
> > result, that’s when snappyness is important.
> 
> I had a random idea based on this observation:

please allow me to re-iterate that my proposal is *not* about
performance, but about being able to detect and report typical error
patterns such as confusing the order of arguments to a function, or to
leave out one argument. (Wouldn’t that be great?)

I regret pointing out hypothetical and likely insignificant performance
effects; it derails the discussion.


Your ideas (printing less errors, or less details, at first until
asked) can be pursued already now. There is precedent, e.g.
https://ghc.haskell.org/trac/ghc/ticket/10848
which added the -freverse-errors option. Options in similar vain
(-fone-line-errors, -fnum-errors=1) are worth considering and can be
implemented today, so if you feel like it, do explain your ideas in
greater detail.

Greetings,
Joachim


-- 
Joachim “nomeata” Breitner
  mail at joachim-breitner.de • https://www.joachim-breitner.de/
  XMPP: nomeata at joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161130/c5829f6e/attachment.sig>