This problem is fixed now in the github version. Thanks again Richard and Markus for the report.
julia On Tue, 2 Mar 2021, Richard W.M. Jones wrote: > ocamlfind ocamlopt -c -package result -package seq -bin-annot -no-alias-deps > -I . -alert -deprecated stdcompat__arg_s.mli -o stdcompat__arg_s.cmi > File "stdcompat__arg_s.mli", lines 3-17, characters 0-38: > 3 | type spec = Arg.spec = > 4 | | Unit of (unit -> unit) > 5 | | Bool of (bool -> unit) > 6 | | Set of bool ref > 7 | | Clear of bool ref > ... > 14 | | Tuple of spec list > 15 | | Symbol of string list * (string -> unit) > 16 | | Rest of (string -> unit) > 17 | | Expand of (string -> string array). > Error: This variant or record definition does not match that of type Arg.spec > Constructors number 14 have different names, Rest_all and Expand. > > There is a new Rest_all constructor: > > https://github.com/ocaml/ocaml/blob/500d8dc8296d09305b5413f140c63ffee1de111d/stdlib/arg.mli#L92 > > ---------------------------------------------------------------------- > > ocamlfind ocamlopt -c -package result -package seq -bin-annot -no-alias-deps > -I . -alert -deprecated stdcompat__spacetime_s.mli -o > stdcompat__spacetime_s.cmi > File "stdcompat__spacetime_s.mli", line 3, characters 16-32: > 3 | module Series = Spacetime.Series > ^^^^^^^^^^^^^^^^ > Error: Unbound module Spacetime > > This module was removed in OCaml commit > 540996d21ee3793a1cecce252c81fb76a6b9fd61. > > ---------------------------------------------------------------------- > > ocamlfind ocamlc -c -package result -package seq -bin-annot -no-alias-deps -I > . -alert -deprecated stdcompat__ephemeron.ml -o stdcompat__ephemeron.cmo > File "stdcompat__ephemeron.ml", line 1: > Error: The implementation stdcompat__ephemeron.ml > does not match the interface stdcompat__ephemeron.cmi: > ... > At position module type S = <here> > Type declarations do not match: > type 'a t > is not included in > type !'a t > Their variances do not agree. > File "hashtbl.mli", line 335, characters 4-14: Expected declaration > File "stdcompat__ephemeron_s.mli", line 6, characters 4-13: > Actual declaration > > Not sure about this one but AFAICT cocci doesn't use this module. > > ---------------------------------------------------------------------- > > I made a patch to workaround the issues in Fedora, but it's a pure hack: > > https://src.fedoraproject.org/rpms/coccinelle/tree/rawhide > > Rich. > > -- > Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones > Read my programming and virtualization blog: http://rwmj.wordpress.com > libguestfs lets you edit virtual machines. Supports shell scripting, > bindings from many languages. http://libguestfs.org > > _______________________________________________ > Cocci mailing list > Cocci@systeme.lip6.fr > https://systeme.lip6.fr/mailman/listinfo/cocci > _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
