Re: [Cocci] A few build failures with OCaml 4.12.0

2021-03-02 Thread Julia Lawall
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

Re: [Cocci] A few build failures with OCaml 4.12.0

2021-03-02 Thread Richard W.M. Jones
On Tue, Mar 02, 2021 at 03:52:21PM +0100, Julia Lawall wrote: > This problem is fixed now in the github version. Yup, can confirm it now works with git @ 3dc5d027b448 Thanks, Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and

Re: [Cocci] Checking evolution according to version 1.1.0

2021-03-02 Thread Richard W.M. Jones
On Sun, Feb 28, 2021 at 09:01:54PM +0100, Markus Elfring wrote: > > A new version 1.1.0 has been released. > > Thanks. > > I have dared to activate also a current OCaml version by the command > “opam switch create 4.12.0”. > I have tried to rebuild your software accordingly. > >

[Cocci] A few build failures with OCaml 4.12.0

2021-03-02 Thread Richard W.M. Jones
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)

Re: [Cocci] A few build failures with OCaml 4.12.0

2021-03-02 Thread Julia Lawall
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 |

[Cocci] linux-kernel janitorial RFP: Mark static arrays as const

2021-03-02 Thread Joe Perches
Here is a possible opportunity to reduce data usage in the kernel. $ git grep -P -n '^static\s+(?!const|struct)(?:\w+\s+){1,3}\w+\s*\[\s*\]' drivers/ | \ grep -v __initdata | \ wc -l 3250 Meaning there are ~3000 declarations of arrays with what appears to be file static const content that

Re: [Cocci] linux-kernel janitorial RFP: Mark static arrays as const

2021-03-02 Thread Julia Lawall
On Tue, 2 Mar 2021, Joe Perches wrote: > Here is a possible opportunity to reduce data usage in the kernel. Does it actually reduce data usage? julia > > $ git grep -P -n '^static\s+(?!const|struct)(?:\w+\s+){1,3}\w+\s*\[\s*\]' > drivers/ | \ > grep -v __initdata | \ > wc -l > 3250 > >