Your message dated Mon, 23 Oct 2017 22:04:14 +0000
with message-id <e1e6kps-0003o7...@fasolo.debian.org>
and subject line Bug#876605: fixed in happy 1.19.8-1
has caused the Debian Bug report #876605,
regarding Monadic grammar, threaded lexer, -a enabled, but no type signature,
fails to compile
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
876605: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876605
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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)
...
--- End Message ---
--- Begin Message ---
Source: happy
Source-Version: 1.19.8-1
We believe that the bug you reported is fixed in the latest version of
happy, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 876...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ilias Tsitsimpis <ilias...@debian.org> (supplier of updated happy package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 24 Oct 2017 00:46:34 +0300
Source: happy
Binary: happy
Architecture: source
Version: 1.19.8-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Haskell Group
<pkg-haskell-maintain...@lists.alioth.debian.org>
Changed-By: Ilias Tsitsimpis <ilias...@debian.org>
Description:
happy - Parser generator for Haskell
Closes: 876605
Changes:
happy (1.19.8-1) unstable; urgency=medium
.
* New upstream release (Closes: #876605)
Checksums-Sha1:
da0cf3541bcb669bfa35d48c88c20415c9755232 2152 happy_1.19.8-1.dsc
53a7c4e3d2e0ebacc9bb205f6fc041fc918bcbe3 179814 happy_1.19.8.orig.tar.gz
a5ca1d438a44cd6fa6a0b488234c7db191fbf02e 8748 happy_1.19.8-1.debian.tar.xz
c42c26918bf323cebf476864d206a5ffe90c6635 9560 happy_1.19.8-1_amd64.buildinfo
Checksums-Sha256:
d5308276746cef39c66ccce1926a52afd81ae369701095644da5bd72c9e0f9e5 2152
happy_1.19.8-1.dsc
4df739965d559e48a9b0044fa6140241c07e8f3c794c6c0a6323024fd7f0d3a0 179814
happy_1.19.8.orig.tar.gz
cacc9fec341b920364becabe9a4891d465c7a292cab870604685b41efbcac74a 8748
happy_1.19.8-1.debian.tar.xz
db1e53c89f0c0a9f743e571c88011cf19964c759d4ed07993e8e861bb126ff32 9560
happy_1.19.8-1_amd64.buildinfo
Files:
eb6c12c470d7518043483c06307429b5 2152 haskell extra happy_1.19.8-1.dsc
1a3d15f90bb20b3b00ebf55e55728dce 179814 haskell extra happy_1.19.8.orig.tar.gz
a1ce1ed25d1224463a22e39c0e00600a 8748 haskell extra
happy_1.19.8-1.debian.tar.xz
aaa5d63d7c00cad47bd8fa752935c3aa 9560 haskell extra
happy_1.19.8-1_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJIBAEBCgAyFiEEJ9c8pfW11+AaUTb116hngMxkQDwFAlnuZdYUHGlsaWFzdHNp
QGRlYmlhbi5vcmcACgkQ16hngMxkQDwn1RAAnwxnq/XFjIxEm2j7FHWhmn1RY8L/
wh/+So8iUBYKnSLKgEPdtnkVqPWcLD5IhhDYvekZDc1zqHdaEumqQYVbbNefVi37
mLJs0iHNVBV90Hl8NYK0j1Bn5dSW+HDnEGAtDvCCJQkvzoQcPN8zwPZmBRc9SQm0
U97Gg+8kC2VVmgWvvq5USvKkrILU7cTWD1PgxWjw0EBvGNOi30yPeOZ61+eebfUs
D1eoOSYKCcB3XnacBo3f8oYPc+WlLdc/vvnaQfJYpEHG7RVXoM1qtEamAkrAD12G
qs9MUtiCbIBjxfUslcAgXH97VfM9UAkN01INZz/Xfv2wJADVaLh9tzrmC5K68ioj
gARH/opgJ2tm2f2nS+ea3YiIJXVxNrE0ovRAj0wPaZGdafWseeX8ryiHrWlOA0II
Bre6xofmyG/N0O0MBRCSAV/AYI8rWXhwvV0wJgtsz2MTK5kX4MUixnmzbSQ8xegy
ZlLljA4LMRKgjy6t3cA98wOH07iTg5gGr3wQdNpOGYO6rM2DGE+cnZ6rC3SCLvZa
MiNWcQAaEgs+K0Xgo2OFVScf4QC8w2/z8Ns2IX8DABKKTXBeEKlIctnmUHlmsf70
pnhjEsopuzZK262mDcyoxX5PM7u+ASP5bULmkGIYl+BpBPGx3iVaMiac4PXaCcgK
gIF9zxT1Z8XdAJo=
=qYGC
-----END PGP SIGNATURE-----
--- End Message ---
