[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