[Agda] Windows/Linux versions of Agda
aaron-stump at uiowa.edu
Tue Sep 3 18:29:16 CEST 2013
On Mon, Sep 2, 2013 at 3:06 PM, Jason Dagit <dagitj at gmail.com> wrote:
> On Mon, Sep 2, 2013 at 12:36 PM, Aaron Stump <aaron-stump at uiowa.edu>wrote:
>> This took about a day to do (with my light knowledge of the Haskell
>> platform), because I had to install an old version of the Haskell platform
>> (haskell-platform-2012.4.0.0), which in turn required an older ghc (7.4.2).
> Do you remember why you couldn't use the latest Haskell platform? Perhaps
> understanding this could turn into a valuable improvement for the HP.
Yes, see the transcript below for what happens when I try to use Haskell
Platform 2013.2.0.0 with GHC 7.6.3 to install Agda 188.8.131.52 via cabal. It
seems the problem is that the installed base library (containing the
Prelude, it seems) is too recent for Agda 184.108.40.206, and apparently the
Haskell Platform is not allowing installation of a version of the base
library that satisfies the constraints in Agda.cabal for 220.127.116.11. As I
said in my original email, I worked around this by installing an older
Haskell Platform, but this took some effort.
Keeping the Windows installer in synch with Linux (and Mac, which is also
at the most recent version it seems) would really help for using Agda in
teaching, and thus promoting adoption of the tool!
ephesus:~$ cabal install Agda-18.104.22.168
cabal: Could not resolve dependencies:
rejecting: Agda-22.214.171.124, 2.3.2/installed-781..., 2.3.2 (global constraint
rejecting: base-126.96.36.199, 188.8.131.52 (global constraint requires installed
rejecting: base-184.108.40.206/installed-8aa... (conflict: Agda-220.127.116.11:use-locale
base>=4.2 && <4.6)
rejecting: base-18.104.22.168, 22.214.171.124, 126.96.36.199, 188.8.131.52, 184.108.40.206, 220.127.116.11,
18.104.22.168, 22.214.171.124, 126.96.36.199, 188.8.131.52, 184.108.40.206, 220.127.116.11 (global constraint
requires installed instance)
ephesus:~$ ghc-pkg list
ephesus:~$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.6.3
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda