<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Tue, Sep 3, 2013 at 11:41 AM, Jason Dagit <span dir="ltr"><<a href="mailto:dagitj@gmail.com" target="_blank">dagitj@gmail.com</a>></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 Tue, Sep 3, 2013 at 9:29 AM, Aaron Stump <span dir="ltr"><<a href="mailto:aaron-stump@uiowa.edu" target="_blank">aaron-stump@uiowa.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hi, Jason.<br><div class="gmail_extra"><br><br><div class="gmail_quote"><div><div>On Mon, Sep 2, 2013 at 3:06 PM, Jason Dagit <span dir="ltr"><<a href="mailto:dagitj@gmail.com" target="_blank">dagitj@gmail.com</a>></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>On Mon, Sep 2, 2013 at 12:36 PM, Aaron Stump <span dir="ltr"><<a href="mailto:aaron-stump@uiowa.edu" target="_blank">aaron-stump@uiowa.edu</a>></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'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></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></div></div></blockquote><div><br></div></div><div>Thank you for providing more detailed information.</div><div><br></div><div>I misunderstood before. I thought that there was an issue installing the HP 2013.2.0.0. I see now that the problem is with installing Agda.</div>
</div></div></div></blockquote><div><br></div><div>Yes, exactly.</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">
<div><br></div><div>For what it's worth, I bet you could `cabal unpack Agda` and edit the cabal file to relax the constraint on base. If that works you might be able to build your own windows installer.</div></div></div>
</div></blockquote><div><br></div><div>I tried doing some of this, but ended up editing source files, and got stuck at src/full/Agda/Interaction/Imports.hs with ClockTime versus UTCTime. So I gave up at that point -- not to say something along those lines couldn't work out.</div>
<div><br></div><div>Aaron</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"><div><br>
</div><div>Thanks,</div><div>Jason</div></div></div></div>
</blockquote></div><br></div></div>