<div dir="ltr"><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 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><div class="gmail_extra"><br>-- <br><div dir="ltr">Andrés<br></div>
</div></div>