<div dir="ltr">Ok, created a ticket: <a href="https://ghc.haskell.org/trac/ghc/ticket/8563">https://ghc.haskell.org/trac/ghc/ticket/8563</a> .<div><br></div><div>Thanks,</div><div><br></div><div>Edsko</div></div><div class="gmail_extra">
<br><br><div class="gmail_quote">On Mon, Nov 25, 2013 at 5:18 PM, Joachim Breitner <span dir="ltr"><<a href="mailto:mail@joachim-breitner.de" target="_blank">mail@joachim-breitner.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Edsko,<br>
<br>
Am Montag, den 25.11.2013, 16:47 +0000 schrieb Edsko de Vries:<br>
<div class="im">> I'm getting the errors below if I try to build tagged with head:<br>
><br>
> src/Data/Tagged.hs:57:5:<br>
> ‛Tagged’ is applied to too many type arguments<br>
> In an expression type signature:<br>
> Tagged k s b -> Tagged k s b -> Bool<br>
> In the expression:<br>
> ghc-prim:GHC.Prim.coerce ((==) :: b -> b -> Bool) ::<br>
> Tagged k s b -> Tagged k s b -> Bool<br>
> In an equation for ‛==’:<br>
> (==)<br>
> = ghc-prim:GHC.Prim.coerce ((==) :: b -> b -> Bool) ::<br>
> Tagged k s b -> Tagged k s b -> Bool<br>
<br>
</div>that is the new GND code failing; this now tries to write instances<br>
using “coerce”, and it seems the code generating the type annotations<br>
does wrong stuff.<br>
<br>
Can you create ticket, preferably with a small example, and I’ll look<br>
into it.<br>
<br>
Thanks for testing HEAD!<br>
<span class="HOEnZb"><font color="#888888">Joachim<br>
<br>
<br>
--<br>
Joachim “nomeata” Breitner<br>
<a href="mailto:mail@joachim-breitner.de">mail@joachim-breitner.de</a> • <a href="http://www.joachim-breitner.de/" target="_blank">http://www.joachim-breitner.de/</a><br>
Jabber: <a href="mailto:nomeata@joachim-breitner.de">nomeata@joachim-breitner.de</a> • GPG-Key: 0x4743206C<br>
Debian Developer: <a href="mailto:nomeata@debian.org">nomeata@debian.org</a><br>
</font></span></blockquote></div><br></div>