<div dir="ltr"><div>Andres,<br><br></div>Thanks, that fixed it entirely!<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Jul 18, 2014 at 10:49 AM, Andrés Sicard-Ramírez <span dir="ltr"><<a href="mailto:asr@eafit.edu.co" target="_blank">asr@eafit.edu.co</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"><div><div class="h5"><div class="gmail_extra"><br><div class="gmail_quote">On 18 July 2014 10:43, Christopher Jenkins <span dir="ltr"><<a href="mailto:cjenkin1@trinity.edu" target="_blank">cjenkin1@trinity.edu</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>I recently installed Linux Mint 17 on a new computer and ran the following commands to install Agda:<br>
<br></div><div># apt-get update<br></div><div># apt-get install haskell-platform libncurses5-dev<br>
</div><div># cabal update<br></div><div># cabal install agda<br><br></div><div>Agda gets stuck compiling "src/full/Agda/Syntax/Position.hs" with the following error:<br> Could not deduce (Num (NonNegative Integer))<br>
arising from a use of `arbitrary'<br> from the context (Arbitrarlly a)<br> bound by the instance declaration<br> at src/full/Agda/Syntax/Position.hs:492:10-47<br><br></div><div>(full text of error in pastebin: <a href="http://pastebin.com/8izELMCB" target="_blank">http://pastebin.com/8izELMCB</a>)<br>
<br></div><div>Has anyone seen this before, or is using LM17 and was able to get Agda working? My GHC is v7.6.3.<br></div></blockquote></div><br></div></div></div><div class="gmail_extra">Agda 2.4.0.1 doesn't compile with QuickCheck 2.7.6 (it is fixed in the upstream version). For installing Agda 2.4.0.1 using QuickCheck 2.7.5 you can use the following command:<br>
<br> $ cabal install Agda --constraint=QuickCheck==2.7.5</div><span class="HOEnZb"><font color="#888888"><div class="gmail_extra"><br>-- <br><div dir="ltr">Andrés<br></div>
</div></font></span></div>
</blockquote></div><br><br clear="all"><br>-- <br><div dir="ltr"><div>Christopher Jenkins<br>Computer Science 2013<br>Trinity University</div></div>
</div>