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:
Thanks for the feedback and the fix attempt. I hope that this can be
fixed on our side shortly.
julia
>
> 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
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
