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