<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 16 November 2014 07:36, Twan van Laarhoven <span dir="ltr"><<a href="mailto:twanvl@gmail.com" target="_blank">twanvl@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":1lz" class="" style="overflow:hidden">On Windows I get a compile error when installing Agda-2.4.2.1:<br>
<br>
> cabal install agda<br>
Building Agda-2.4.2.1...<br>
....<br>
src\full\Agda\Utils\FileName.<u></u>hs:79:32:<br>
Not in scope: type constructor or class `Propertty'<br>
Perhaps you meant `Property' (imported fromfrom Agda.Utils.QuickCheck)<br>
<br>
After fixing this typo, agda compiled correctly.</div></blockquote></div><br></div><div class="gmail_extra">It was my fault. I'll wait a couple of days to see if we get more bug reports on Agda 2.4.2.1 before releasing a bug-fix version.<br></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature"><div dir="ltr">Andrés<br></div></div>
</div></div>