[Agda] Agda fails to build on GHC 7.8

Jan Stolarek jan.stolarek at p.lodz.pl
Wed Mar 5 15:50:54 CET 2014


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


More information about the Agda mailing list