<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 18 July 2014 10:43, Christopher Jenkins <span dir="ltr">&lt;<a href="mailto:cjenkin1@trinity.edu" target="_blank">cjenkin1@trinity.edu</a>&gt;</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 &quot;src/full/Agda/Syntax/Position.hs&quot; with the following error:<br>    Could not deduce (Num (NonNegative Integer))<br>


      arising from a use of `arbitrary&#39;<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&#39;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>