[Agda] Agda fails to build on GHC 7.8

Ulf Norell ulf.norell at gmail.com
Wed Mar 5 16:37:56 CET 2014


I believe the problem is geniplate which hasn't yet been updated to work
with the new template-haskell version.

/ Ulf


On Wed, Mar 5, 2014 at 3:50 PM, Jan Stolarek <jan.stolarek at p.lodz.pl> wrote:

> It looks like Agda does not build with GHC 7.8 (tested on RC2):
>
> - stable version on Hackage fails with:
>
> cabal: Could not resolve dependencies:
> trying: Agda-2.3.2.2 (user goal)
> next goal: base (dependency of Agda-2.3.2.2)
> rejecting: base-4.7.0.0/installed-eb2... (conflict: Agda => base>=4.2 &&
> <4.7)
> 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,
> 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
> constraint requires installed instance)
> Dependency tree exhaustively searched.
>
> - development version fails because it tries to install
> template-haskell-2.8.0.0 which does not
> work with GHC 7.8:
>
> Failed to install template-haskell-2.8.0.0
> Last 10 lines of the build log (
> /home/killy/.cabal/logs/template-haskell-2.8.0.0.log ):
>     Couldn't match expected type ‘Bool’ with actual type ‘Int#’
>     In the expression: u1 ==# u2
>     In a stmt of a pattern guard for
>                    an equation for ‘compare’:
>       u1 ==# u2
>     In an equation for ‘compare’:
>         (NameL u1) `compare` (NameL u2)
>           | u1 <# u2 = LT
>           | u1 ==# u2 = EQ
>           | otherwise = GT
>
> Janek
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140305/ad4f923b/attachment.html


More information about the Agda mailing list