<div dir="ltr">Hello,<br><div><div class="gmail_extra"><br><br><div class="gmail_quote">2014-03-19 13:15 GMT+01:00 Mateusz Kowalczyk <span dir="ltr"><<a href="mailto:fuuzetsu@fuuzetsu.co.uk" target="_blank">fuuzetsu@fuuzetsu.co.uk</a>></span>:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div class=""><div class="h5">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></div></div>
<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>
<span class=""><font color="#888888"><br>
--<br>
Mateusz K.</font></span><br></blockquote></div>Before the last updates I could Agda even compile by GHC 7.0 (with some 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></div><div class="gmail_extra">Dirk<br><br></div></div></div>