<div dir="ltr">Hi, Jason.<br><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Sep 2, 2013 at 3:06 PM, Jason Dagit <span dir="ltr">&lt;<a href="mailto:dagitj@gmail.com" target="_blank">dagitj@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote"><div class="im">On Mon, Sep 2, 2013 at 12:36 PM, Aaron Stump <span dir="ltr">&lt;<a href="mailto:aaron-stump@uiowa.edu" target="_blank">aaron-stump@uiowa.edu</a>&gt;</span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><br></div></div></blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div dir="ltr"><div>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).</div>

</div></blockquote><div><br></div></div><div>Do you remember why you couldn&#39;t use the latest Haskell platform? Perhaps understanding this could turn into a valuable improvement for the HP.</div></div></div></div></blockquote>
<div><br></div><div>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 2.3.0.1 via cabal.  It seems the problem is that the installed base library (containing the Prelude, it seems) is too recent for Agda 2.3.0.1, and apparently the Haskell Platform is not allowing installation of a version of the base library that satisfies the constraints in Agda.cabal for 2.3.0.1.  As I said in my original email, I worked around this by installing an older Haskell Platform, but this took some effort.</div>
<div><br></div><div>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!</div>
<div><br></div><div>Aaron</div><div>-----------------------------------------------------------------</div><div>ephesus:~$ cabal install Agda-2.3.0.1<br>Resolving dependencies...<br>cabal: Could not resolve dependencies:<br>
rejecting: Agda-2.3.2.1, 2.3.2/installed-781..., 2.3.2 (global constraint<br>requires ==2.3.0.1)<br>trying: Agda-2.3.0.1<br>trying: Agda-2.3.0.1:+use-locale<br>rejecting: base-3.0.3.2, 3.0.3.1 (global constraint requires installed<br>
instance)<br>rejecting: base-4.6.0.1/installed-8aa... (conflict: Agda-2.3.0.1:use-locale =&gt;<br>base&gt;=4.2 &amp;&amp; &lt;4.6)<br>rejecting: base-4.6.0.1, 4.6.0.0, 4.5.1.0, 4.5.0.0, 4.4.1.0, 4.4.0.0, 4.3.1.0,<br>4.3.0.0, 4.2.0.2, 4.2.0.1, 4.2.0.0, 4.1.0.0, 4.0.0.0 (global constraint<br>
requires installed instance)</div><div><br>ephesus:~$ ghc-pkg list<br>/usr/local/lib/ghc-7.6.3/package.conf.d:<br>    Cabal-1.16.0<br>    GLURaw-1.3.0.0<br>    GLUT-2.4.0.0<br>    HTTP-4000.2.8<br>    HUnit-1.2.5.2<br>    OpenGL-2.8.0.0<br>
    OpenGLRaw-1.3.0.0<br>    QuickCheck-2.6<br>    array-0.4.0.1<br>    async-2.0.1.4<br>    attoparsec-0.10.4.0<br>    base-4.6.0.1<br>    bin-package-db-0.0.0.0<br>    binary-0.5.1.1<br>    bytestring-0.10.0.2<br>    case-insensitive-1.0.0.1<br>
    cgi-3001.1.7.5<br>    containers-0.5.0.0<br>    deepseq-1.3.0.1<br>    directory-1.2.0.1<br>    fgl-5.4.2.4<br>    filepath-1.3.0.1<br>    (ghc-7.6.3)<br>    ghc-prim-0.3.0.0<br>    hashable-1.1.2.5<br>    haskell-platform-2013.2.0.0<br>
    haskell-src-1.0.1.5<br>    (haskell2010-1.1.1.0)<br>    (haskell98-2.0.0.2)<br>    hoopl-3.9.0.0<br>    hpc-0.6.0.0<br>    html-1.0.1.2<br>    integer-gmp-0.5.0.0<br>    mtl-2.1.2<br>    network-2.4.1.2<br>    old-locale-1.0.0.5<br>
    old-time-1.1.0.1<br>    parallel-3.2.0.3<br>    parsec-3.1.3<br>    pretty-1.1.1.0<br>    primitive-0.5.0.1<br>    process-1.1.0.2<br>    random-1.0.1.1<br>    regex-base-0.93.2<br>    regex-compat-0.95.1<br>    regex-posix-0.95.2<br>
    rts-1.0<br>    split-0.2.2<br>    stm-2.4.2<br>    syb-0.4.0<br>    template-haskell-2.8.0.0<br>    text-0.11.3.1<br>    time-1.4.0.1<br>    transformers-0.3.0.0<br>    unix-2.6.0.1<br>    unordered-containers-0.2.3.0<br>
    vector-0.10.0.1<br>    xhtml-3000.2.1<br>    zlib-0.5.4.1<br><br>ephesus:~$ ghc --version<br>The Glorious Glasgow Haskell Compilation System, version 7.6.3</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><span class=""><font color="#888888"><div><br></div><div>Jason</div>
</font></span></div></div></div>
</blockquote></div><br></div></div>