Bug#876605: agda FTBFS: Couldn't match type ‘t13’ with ‘()’

[Adrian Bunk]

Source: agda
Version: 2.5.2-2
Severity: serious

https://buildd.debian.org/status/package.php?p=agda&suite=sid

...
dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2441:19: error:
    • Couldn't match type ‘t13’ with ‘()’
      ‘t13’ is a rigid type variable bound by
        the type signature for:
          happyReduce_114 :: forall t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 t84.
                             Happy_GHC_Exts.Int#
                             -> Token
                             -> Happy_GHC_Exts.Int#
                             -> Happy_IntList
                             -> HappyStk
                                  (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 
t54 t55 t84)
                             -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 
t46 t54 t55 t84)
        at dist-ghc/build/Agda/Syntax/Parser/Parser.hs:2440:20
      Expected type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 t55 
t84)
                     -> Parser (HappyAbsSyn t13 t14 t15 t38 t41 t44 t45 t46 t54 
t55 t84)
        Actual type: Happy_GHC_Exts.Int#
                     -> Token
                     -> Happy_GHC_Exts.Int#
                     -> Happy_IntList
                     -> HappyStk
                          (HappyAbsSyn () t14 t15 t38 t41 t44 t45 t46 t54 t55 
t84)
                     -> Parser (HappyAbsSyn () t14 t15 t38 t41 t44 t45 t46 t54 
t55 t84)
...