<br><br><div class="gmail_quote">On Tue, Nov 13, 2012 at 9:35 AM, Nils Anders Danielsson <span dir="ltr"><<a href="mailto:nad@chalmers.se" target="_blank">nad@chalmers.se</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On 2012-11-13 14:28, Cezar Ionescu wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
/usr/local/bin/ghc is version 7.4.2<br>
</blockquote>
<br>
I tried to compile Agda 2.3.2 using GHC 7.4.2, and didn't get this<br>
behaviour. Then I made sure to use exactly the same versions of the<br>
dependencies as you used, and then I /did/ get this behaviour.<br>
<br>
Differences:<br>
<br>
Works: Broken:<br>
<br>
cpphs-1.13.3 cpphs-1.14<br>
hashable-1.1.2.3 hashable-1.1.2.5<br>
haskeline-0.7.0.2 haskeline-0.7.0.3<br>
haskell-src-exts-1.13.3 haskell-src-exts-1.11.1<br>
mtl-2.1.1 mtl-2.1<br>
terminfo-0.3.2.3 terminfo-0.3.2.5<br>
text-0.11.2.1 text-0.11.2.0<br>
unordered-containers-0.2.1.0 unordered-containers-0.2.2.1<span><font color="#888888"><br>
<br></font></span></blockquote><div><br>In my case using Cezar's dependencies with the following exceptions it works:<br><br>Works Broken<br><br>mtl-2.1.1 mtl-2.1 <br>
haskell-src-exts-1.13.5 haskell-src-exts-1.11.1 <br>hashtables-1.0.1.8 hashtables-1.0.1.6 <br>QuickCheck-2.5 QuickCheck-2.4.2 <br><br></div></div>-- <br>Andrés<br>
<br>