<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"><<a href="mailto:dirk.ullrich@gmail.com" target="_blank">dirk.ullrich@gmail.com</a>></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"><<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>></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'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) => C a where ...<br>
instance (?x::a) => Foo [a] where ...<br>
<br>
That's a lie, obviously.<br></blockquote></div><div>When trying to hunt the ghc 7.2 compile bug I'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 <<a href="mailto:fuuzetsu@fuuzetsu.co.uk" target="_blank">fuuzetsu@fuuzetsu.co.uk</a><br></div>
<mailto:<a href="mailto:fuuzetsu@fuuzetsu.co.uk" target="_blank">fuuzetsu@fuuzetsu.co.<u></u>uk</a>>>:<div><div><br>
<br>
On 19/03/14 10:54, Dirk Ullrich wrote:<br>
> Hello,<br>
><br>
> [...]<br>
> Is GHC 7.2 not supported any longer?<br>
><br>
> Dirk<br>
><br>
><br>
<br>
7.2 is nearly 4 stable releases old, I'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' 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 <>< 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>