<div dir="ltr">Whoops from me also... <div><br></div><div>It was mine instance. Sorry for the noise.</div><div><br></div><div>Thanks!</div></div><div class="gmail_extra"><br><div class="gmail_quote">2016-03-07 18:24 GMT+03:00 Adam Bergmark <span dir="ltr"><<a href="mailto:adam@bergmark.nl" target="_blank">adam@bergmark.nl</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><img style="border:none;background:none" src="https://welovepg.polymail.io/v1/z/a/0R9N0dp2zXvoobSt/riwidaSMZtYDG6991gEhC4mPh5YmN_hSbnLc7-j6RCaBCfwz_fSCs0CvW-2ioy2h4hhp9uqE-9Dl5FtPJ878pfcATFylOoBBa3SjgofT5W44WQDzbO2M.png" alt="" width="0px" height="0px" border="0"><br>Whoops, didn’t reply-all!<div><br></div><div><span class="">One instance is in Data.Aeson.Types.Instances, where are you getting the other one from?<br><br></span><span class="HOEnZb"><font color="#888888"><div><div>Adam Bergmark</div><div><br></div></div></font></span></div><div class="gmail_extra"><br><div class="gmail_quote"><span class=""><div dir="ltr">On Mon 07 Mar 2016 at 15:37 Dmitry Olshansky <u></u> <<a href="mailto:Dmitry+Olshansky+%3Colshanskydr@gmail.com%3E" target="_blank">Dmitry Olshansky <u></u><u></u></a>> wrote:<br><u></u></div></span><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div><div class="h5"><div dir="ltr"><div>Hello,</div><div><br></div><div>I tried to compile my project with GHC 8 (from HEAD).</div><div><br></div><div>And I got</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">    • Overlapping instances for aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON<br>...<br>        arising from a use of ‘serve’<br>      Matching instances:<br>        two instances involving out-of-scope types<br>          instance aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON b =><br>                   aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON<br>                     (Data.Tagged.Tagged a b)<br>            -- Defined in ‘aeson-0.11.1.0:Data.Aeson.Types.Instances’<br>          instance forall k x (r :: k).<br>                   aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON x =><br>                   aeson-0.11.1.0:Data.Aeson.Types.Class.ToJSON<br>                     (Data.Tagged.Tagged r x)</blockquote><div><div><br></div></div><div>One of instances should be removed probably. </div><div>I suppose that instance for removing should be instance in Data.Tagged. </div><div>But version in Aeson should be PolyKinded.</div><div><br></div><div>What do you think?</div><div><br></div><div>Best regards,</div><div>Dmitry </div></div>
</div></div><p>_______________________________________________
<br><span class="">Haskell-Cafe mailing list
<br><a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a>
<br><a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe" target="_blank">http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe</a>
<br></span></p></blockquote></div><br></div></blockquote></div><br></div>