<div dir="ltr">You always need the template-haskell that comes with the compiler, so you should change Agda.cabal to allow your installed template-haskell.<div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><br>
<div class="gmail_quote">On Sun, Mar 30, 2014 at 5:57 PM, Mateusz Kowalczyk <span dir="ltr"><<a href="mailto:fuuzetsu@fuuzetsu.co.uk" target="_blank">fuuzetsu@fuuzetsu.co.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi,<br>
<br>
I'm trying to look into <a href="http://trac.haskell.org/haddock/ticket/295" target="_blank">http://trac.haskell.org/haddock/ticket/295</a> but I<br>
can't build darcs version of Agda with GHC 7.9 so that I can actually<br>
try and fix the issue with current Haddock.<br>
<br>
Does anyone have tips on getting Agda to compile? Is there just no<br>
incentive to have Agda compile with 7.9 at all? I am using darcs version<br>
of Agda, the Hackage version would not even begin to compile due to<br>
version bounds.<br>
<br>
The error is below:<br>
<br>
Preprocessing library template-haskell-2.8.0.0...<br>
[1 of 6] Compiling Language.Haskell.TH.Syntax (<br>
Language/Haskell/TH/Syntax.hs,<br>
dist/dist-sandbox-a07c4207/build/Language/Haskell/TH/Syntax.o )<br>
<br>
Language/Haskell/TH/Syntax.hs:721:37:<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>
(NameU u1) `compare` (NameU u2)<br>
| u1 <# u2 = LT<br>
| u1 ==# u2 = EQ<br>
| otherwise = GT<br>
<br>
Language/Haskell/TH/Syntax.hs:722:37:<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>
(NameU u1) `compare` (NameU u2)<br>
| u1 <# u2 = LT<br>
| u1 ==# u2 = EQ<br>
| otherwise = GT<br>
<br>
Language/Haskell/TH/Syntax.hs:729:37:<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>
Language/Haskell/TH/Syntax.hs:730:37:<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>
Failed to install template-haskell-2.8.0.0<br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Mateusz K.<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>
</font></span></blockquote></div><br></div>