From: "Richard W.M. Jones" <rjones@redhat.com>
To: cocci@systeme.lip6.fr
Subject: [Cocci] A few build failures with OCaml 4.12.0
Date: Tue, 2 Mar 2021 11:42:08 +0000 [thread overview]
Message-ID: <20210302114208.GA1818@redhat.com> (raw)
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
next reply other threads:[~2021-03-02 11:42 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-02 11:42 Richard W.M. Jones [this message]
2021-03-02 11:59 ` [Cocci] A few build failures with OCaml 4.12.0 Julia Lawall
2021-03-02 14:52 ` Julia Lawall
2021-03-02 15:07 ` Richard W.M. Jones
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20210302114208.GA1818@redhat.com \
--to=rjones@redhat.com \
--cc=cocci@systeme.lip6.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).