<div dir="ltr"><div>Hello all,<br><br></div><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">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><br></div><div>Thanks.<br></div><div><br></div></div>