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)
...
_______________________________________________
Pkg-haskell-maintainers mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-haskell-maintainers
