Bug#1040537: marked as done (frama-c FTBFS: Error: This expression has type ... but an expression was expected of type)
Your message dated Thu, 13 Jul 2023 07:49:32 +0000
with message-id <E1qJr4u-009kni-CL@fasolo.debian.org>
and subject line Bug#1040537: fixed in frama-c 20220511-manganese-4
has caused the Debian Bug report #1040537,
regarding frama-c FTBFS: Error: This expression has type ... but an expression was expected of type
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 owner@bugs.debian.org
immediately.)
--
1040537: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1040537
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message ---
Source: frama-c
Version: 20220511-manganese-3
Severity: serious
Tags: ftbfs trixie sid
https://buildd.debian.org/status/fetch.php?pkg=frama-c&arch=amd64&ver=20220511-manganese-3%2Bb6&stamp=1688693485&raw=0
...
ocamlfind ocamlc -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -package yojson -package bigarray -package ppx_import -package ppx_deriving.eq -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/ast_building -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /<<PKGBUILDDIR>>/lib/plugins src/kernel_services/ast_printing/logic_print.mli
File "src/libraries/utils/json.mll", line 374, characters 8-16:
Error: This expression has type
(string list -> Yojson.Basic.t -> Yojson.Basic.t option,
[> `Assoc of (String.t * Yojson.Basic.t) list
| `List of Yojson.Basic.t list ]
as 'a)
Hashtbl.t =
(string list -> Yojson.Basic.t -> Yojson.Basic.t option, 'a)
Hashtbl.t
but an expression was expected of type
(Filepath.Normalized.t, Yojson.Basic.t) Hashtbl.t
Type string list -> Yojson.Basic.t -> Yojson.Basic.t option
is not compatible with type Filepath.Normalized.t
make[1]: *** [share/Makefile.generic:88: src/libraries/utils/json.cmx] Error 2
make[1]: *** Waiting for unfinished jobs....
--- End Message ---
--- Begin Message ---
Source: frama-c
Source-Version: 20220511-manganese-4
Done: Stéphane Glondu <glondu@debian.org>
We believe that the bug you reported is fixed in the latest version of
frama-c, 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 1040537@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated frama-c 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 ftpmaster@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 13 Jul 2023 09:10:19 +0200
Source: frama-c
Architecture: source
Version: 20220511-manganese-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1040537
Changes:
frama-c (20220511-manganese-4) unstable; urgency=medium
.
[ Stéphane Glondu ]
* Team upload
* Fix compilation with recent yojson (Closes: #1040537)
.
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
Checksums-Sha1:
181bab74f9ade5567d05424e9ac2961fe6655cbc 2212 frama-c_20220511-manganese-4.dsc
523803caa46c1e83d5e54ae3dec5d47d61a53140 16828 frama-c_20220511-manganese-4.debian.tar.xz
Checksums-Sha256:
066a24e898f3fffc080b80ad39bf7cdc8ad0009abf44012977233f2bf85d8a85 2212 frama-c_20220511-manganese-4.dsc
a5a5a982e252bf1d29189c6434be0496610c7c5915d3db4d9f2621a381567131 16828 frama-c_20220511-manganese-4.debian.tar.xz
Files:
616104dd24226e60f3a09350860d0c2c 2212 devel optional frama-c_20220511-manganese-4.dsc
053a00a954b2d036930a96e825889f8e 16828 devel optional frama-c_20220511-manganese-4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSvpT8SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBN+UH/2Fy1WNvh4sr05a/3FB4VjtaYh7tl0eb
pwVEz/OE+PB7EFC4Ze+UtNm5mzptHMrOjCTXkx/pcTNPH3aVYZ8q0CECn7us/AzK
o6qEq8F1lepSc71Y9TCOPNudn+i1D+9q9hCW0aINRPW+bWnOY5XrRlP3/9dLmovG
sFzGsa3X5r5rIo3N6+yCaHXhYBO+lMOFvWi9362DVD3x5HG2eO05iZo3cSNEIpdt
+qryrBQg6+/6UIEIZT5K9NZ3VQZATLouCfe8YpW42Zf9pchVMkjp3cGFjde40T2Z
S7FZ5BLIrNCZGdR58VByuvUl3v6NUDrh6Dbu2Rvu2boVfslN8fJ85FE=
=qcZP
-----END PGP SIGNATURE-----
--- End Message ---
Reply to: