[Agda] Strange error when trying to install Agda 2.4.0.1 from cabal
Christopher Jenkins
cjenkin1 at trinity.edu
Fri Jul 18 17:43:22 CEST 2014
Hello all,
I recently installed Linux Mint 17 on a new computer and ran the following
commands to install Agda:
# apt-get update
# apt-get install haskell-platform libncurses5-dev
# cabal update
# cabal install agda
Agda gets stuck compiling "src/full/Agda/Syntax/Position.hs" with the
following error:
Could not deduce (Num (NonNegative Integer))
arising from a use of `arbitrary'
from the context (Arbitrarlly a)
bound by the instance declaration
at src/full/Agda/Syntax/Position.hs:492:10-47
(full text of error in pastebin: http://pastebin.com/8izELMCB)
Has anyone seen this before, or is using LM17 and was able to get Agda
working? My GHC is v7.6.3.
Thanks.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140718/449057e5/attachment.html
More information about the Agda
mailing list