<div dir="ltr">I believe the problem is geniplate which hasn't yet been updated to work with the new template-haskell version.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Wed, Mar 5, 2014 at 3:50 PM, Jan Stolarek <span dir="ltr"><<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
It looks like Agda does not build with GHC 7.8 (tested on RC2):<br>
<br>
- stable version on Hackage fails with:<br>
<br>
cabal: Could not resolve dependencies:<br>
trying: Agda-2.3.2.2 (user goal)<br>
next goal: base (dependency of Agda-2.3.2.2)<br>
rejecting: base-4.7.0.0/installed-eb2... (conflict: Agda => base>=4.2 && <4.7)<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, 3.0.3.2, 3.0.3.1 (global<br>
constraint requires installed instance)<br>
Dependency tree exhaustively searched.<br>
<br>
- development version fails because it tries to install template-haskell-2.8.0.0 which does not<br>
work with GHC 7.8:<br>
<br>
Failed to install template-haskell-2.8.0.0<br>
Last 10 lines of the build log ( /home/killy/.cabal/logs/template-haskell-2.8.0.0.log ):<br>
Couldn't match expected type ‘Bool’ with actual type ‘Int#’<br>
In the expression: u1 ==# u2<br>
In a stmt of a pattern guard for<br>
an equation for ‘compare’:<br>
u1 ==# u2<br>
In an equation for ‘compare’:<br>
(NameL u1) `compare` (NameL u2)<br>
| u1 <# u2 = LT<br>
| u1 ==# u2 = EQ<br>
| otherwise = GT<br>
<br>
Janek<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div><br></div>