<br><br><div class="gmail_quote">On Tue, Nov 13, 2012 at 9:35 AM, Nils Anders Danielsson <span dir="ltr">&lt;<a href="mailto:nad@chalmers.se" target="_blank">nad@chalmers.se</a>&gt;</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&#39;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&#39;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>