Bug#1040537: frama-c FTBFS: Error: This expression has type ... but an expression was expected of type
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....
Reply to: