[GHC] #9153: TcCoercible test is failing with context reduction stack overflow

Joachim Breitner mail at joachim-breitner.de
Fri May 30 10:34:09 UTC 2014


Hi,

Am Freitag, den 30.05.2014, 09:28 +0000 schrieb Simon Peyton Jones:
> I've improved Note [Order of Coercible Instances] in TcInteract
> 
> Generally, it's much better to give an actual, concrete example in the
> Note, and refer to the ticket for additional background.  It took me a
> few minutes to re-read the long #9117 to reconstruct the example that
> precisely illustrates the Note.

thanks. I did explicitly reference the example in the T9117 test case,
and given my tendency to avoid redundancies, I did not copy it into the
Note as well. But I see that reader’s convenience is more important
here.

Greetings,
Joachim

-- 
Joachim “nomeata” Breitner
  mail at joachim-breitner.dehttp://www.joachim-breitner.de/
  Jabber: nomeata at joachim-breitner.de  • GPG-Key: 0xF0FBF51F
  Debian Developer: nomeata at debian.org

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part
URL: <http://www.haskell.org/pipermail/ghc-devs/attachments/20140530/b8215acd/attachment.sig>


More information about the ghc-devs mailing list