<div dir="ltr">I fixed this, so now Agda compiles with 7.2.2 again.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Mar 19, 2014 at 4:08 PM, Dirk Ullrich <span dir="ltr">&lt;<a href="mailto:dirk.ullrich@gmail.com" target="_blank">dirk.ullrich@gmail.com</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello,<br><div class="gmail_extra"><br><br><div class="gmail_quote">2014-03-19 15:51 GMT+01:00 Andreas Abel <span dir="ltr">&lt;<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>&gt;</span>:<div class="">

<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I did not introduce this incompatibility by intention, but since I switched to ghc 7.6 a while ago I did not notice.<br>



<br>
If anyone cares for compiling with ghc 7.2 I can easily remove the offending type class instance.<br>
<br></blockquote></div><div>I do care: if it is not to costly I would like to have ghc 7.2 support, too.<br></div><div class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


debian stable (wheezy) has now haskell-platform (2012.2.0.0) which is based on ghc 7.4.1.  So maybe it is sufficient to support ghc 7.4 as oldest version.<br>
<br>
Funnily, according to the docs of ghc 7.6.3, this should still be an error.<br>
<br>
<br>
<a href="http://www.haskell.org/ghc/docs/7.6.3/html/users_guide/other-type-extensions.html#implicit-parameters" target="_blank">http://www.haskell.org/ghc/<u></u>docs/7.6.3/html/users_guide/<u></u>other-type-extensions.html#<u></u>implicit-parameters</a><br>



<br>
 You can&#39;t have an implicit parameter in the context of a class or instance declaration. For example, both these declarations are illegal:<br>
<br>
  class (?x::Int) =&gt; C a where ...<br>
  instance (?x::a) =&gt; Foo [a] where ...<br>
<br>
That&#39;s a lie, obviously.<br></blockquote></div><div>When trying to hunt the ghc 7.2 compile bug I&#39;ve read this, too, and was irritated. <br></div><div class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">



<br>
How can I find out when this feature entered ghc?  Does Agda compile on 7.4?<br></blockquote></div><div>Here it does compile on  ghc 7.4.<br></div><div><div class="h5"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">



<br>
Cheers,<br>
Andreas<div><br>
<br>
On 19.03.2014 13:53, Dirk Ullrich wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>
Hello,<br>
<br>
<br>
2014-03-19 13:15 GMT+01:00 Mateusz Kowalczyk &lt;<a href="mailto:fuuzetsu@fuuzetsu.co.uk" target="_blank">fuuzetsu@fuuzetsu.co.uk</a><br></div>
&lt;mailto:<a href="mailto:fuuzetsu@fuuzetsu.co.uk" target="_blank">fuuzetsu@fuuzetsu.co.<u></u>uk</a>&gt;&gt;:<div><div><br>
<br>
    On 19/03/14 10:54, Dirk Ullrich wrote:<br>
     &gt; Hello,<br>
     &gt;<br>
     &gt; [...]<br>
     &gt; Is GHC 7.2 not supported any longer?<br>
     &gt;<br>
     &gt; Dirk<br>
     &gt;<br>
     &gt;<br>
<br>
    7.2 is nearly 4 stable releases old, I&#39;d be very surprised if it was<br>
    still supported. You should really get at least 7.6.3 and 7.8 is coming<br>
    out soon too.<br>
<br>
    --<br>
    Mateusz K.<br>
<br>
Before the last updates I could Agda even compile by GHC 7.0 (with some<br>
trivial patching).<br>
Moreover the current `Agda.cabal&#39; says:<br>
<br>
tested-with:   GHC == 7.2.2<br>
                     GHC == 7.4.2<br>
                     GHC == 7.6.3<br>
<br>
<br>
Dirk<br>
<br>
<br>
<br></div></div><div>
______________________________<u></u>_________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/<u></u>mailman/listinfo/agda</a><br>
<br>
</div></blockquote><span><font color="#888888">
<br>
<br>
-- <br>
Andreas Abel  &lt;&gt;&lt;      Du bist der geliebte Mensch.<br>
<br>
Department of Computer Science and Engineering<br>
Chalmers and Gothenburg University, Sweden<br>
<br>
<a href="mailto:andreas.abel@gu.se" target="_blank">andreas.abel@gu.se</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~<u></u>abel/</a><br>
</font></span></blockquote></div></div></div><br></div></div>
<br>_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
<br></blockquote></div><br></div>