Skip to content

Instantly share code, notes, and snippets.

@Blaisorblade

Blaisorblade/elpi-5488-6af0b5.out

Created March 27, 2022 13:33
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save Blaisorblade/3bfadf8bbf45030dac539211f8e188ca to your computer and use it in GitHub Desktop.
Save Blaisorblade/3bfadf8bbf45030dac539211f8e188ca to your computer and use it in GitHub Desktop.
Download ZIP
Elpi 1.14.3 vs OCaml 4.14.0 trunk — compile errors
Raw
elpi-5488-6af0b5.out
dune build -p elpi -j 11 @all
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Parser.cmi -c -intf src/parser.pp.mli)
File "src/parser.mli", line 34, characters 89-102:
34 | val parse_program_from_stream : parser_state -> print_accumulated_files:bool -> Loc.t -> char Stream.t -> Program.t
^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/parser.mli", line 36, characters 43-56:
36 | val parse_goal_from_stream : ?loc:Loc.t -> char Stream.t -> Goal.t
^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__API.cmi -c -intf src/API.pp.mli)
File "src/API.mli", line 93, characters 22-30:
93 | Ast.Loc.t -> char Stream.t -> Ast.program
^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/API.mli", line 98, characters 43-51:
98 | val goal_from_stream : Ast.Loc.t -> char Stream.t -> Ast.query
^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Parser.cmo -c -impl src/parser.pp.ml)
File "src/parser.ml", line 39, characters 16-28:
39 | | s -> raise (Stream.Error ("invalid fixity: " ^ s))
^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/parser.ml", line 140, characters 36-53:
140 | let res = Grammar.Entry.parse e (Stream.of_channel ch)in
^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/parser.ml", line 140, characters 35-57:
140 | let res = Grammar.Entry.parse e (Stream.of_channel ch)in
^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type char Stdlib.Stream.t
but an expression was expected of type char Stream/1.t
Stream/1.t is abstract because no corresponding cmi file was found in path.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -w -40 -g -bin-annot -I tests/sources/.sepcomp.objs/byte -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I src/.elpi.objs/public_cmi -I trace/runtime/.trace_ppx_runtime.objs/byte -no-alias-deps -open Sepcomp -o tests/sources/.sepcomp.objs/byte/sepcomp__Sepcomp_template.cmo -c -impl tests/sources/sepcomp_template.ml)
File "tests/sources/sepcomp_template.ml", line 9, characters 7-23:
9 | (Stream.of_string u))
^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "tests/sources/sepcomp_template.ml", line 13, characters 73-89:
13 | let q = Compile.query p (Parse.goal_from_stream (Ast.Loc.initial "g") (Stream.of_string "main")) in
^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -w -40 -g -bin-annot -I .elpi_REPL.eobjs/byte -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I src/.elpi.objs/public_cmi -I trace/runtime/.trace_ppx_runtime.objs/byte -no-alias-deps -o .elpi_REPL.eobjs/byte/dune__exe__Elpi_REPL.cmo -c -impl elpi_REPL.ml)
File "elpi_REPL.ml", line 176, characters 16-33:
176 | let strm = Stream.of_channel stdin in
^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -w -40 -g -bin-annot -I tests/sources/.sepcomp_perf.eobjs/byte -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I src/.elpi.objs/public_cmi -I tests/sources/.sepcomp.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/byte -no-alias-deps -o tests/sources/.sepcomp_perf.eobjs/byte/dune__exe__Sepcomp_perf.cmo -c -impl tests/sources/sepcomp_perf.ml)
File "tests/sources/sepcomp_perf.ml", line 36, characters 73-89:
36 | let q = Compile.query p (Parse.goal_from_stream (Ast.Loc.initial "g") (Stream.of_string "main")) in
^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Ast.cmo -c -impl src/ast.pp.ml)
File "src/ast.ml", line 245, characters 19-37:
245 | data_compare = Pervasives.compare (*Float.compare*);
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Data.cmo -c -impl src/data.pp.ml)
File "src/data.ml", line 647, characters 14-28:
647 | (Obj.(extension_name (extension_constructor x)))
^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_name
use Obj.Extension_constructor.name
File "src/data.ml", line 647, characters 30-51:
647 | (Obj.(extension_name (extension_constructor x)))
^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_constructor
use Obj.Extension_constructor.of_val
File "src/data.ml", line 648, characters 14-28:
648 | (Obj.(extension_name (extension_constructor (Unify(dummy,dummy)))))
^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_name
use Obj.Extension_constructor.name
File "src/data.ml", line 648, characters 30-51:
648 | (Obj.(extension_name (extension_constructor (Unify(dummy,dummy)))))
^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_constructor
use Obj.Extension_constructor.of_val
File "src/data.ml", line 649, characters 14-28:
649 | (Obj.(extension_name (extension_constructor (RawGoal dummy)))))
^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_name
use Obj.Extension_constructor.name
File "src/data.ml", line 649, characters 30-51:
649 | (Obj.(extension_name (extension_constructor (RawGoal dummy)))))
^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_constructor
use Obj.Extension_constructor.of_val
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Builtin.cmo -c -impl src/builtin.ml)
File "src/builtin.ml", line 758, characters 18-35:
758 | let strm = Stream.of_channel i in
^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/builtin.ml", line 1522, characters 83-99:
1522 | let ast = API.Parse.program_from_stream ~elpi (API.Ast.Loc.initial "(checker)") (Stream.of_string Builtin_checker.code) in
^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlopt.opt -linkall -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Ast.cmx -c -impl src/ast.pp.ml)
File "src/ast.ml", line 245, characters 19-37:
245 | data_compare = Pervasives.compare (*Float.compare*);
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlopt.opt -linkall -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Parser.cmx -c -impl src/parser.pp.ml)
File "src/parser.ml", line 39, characters 16-28:
39 | | s -> raise (Stream.Error ("invalid fixity: " ^ s))
^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/parser.ml", line 140, characters 36-53:
140 | let res = Grammar.Entry.parse e (Stream.of_channel ch)in
^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/parser.ml", line 140, characters 35-57:
140 | let res = Grammar.Entry.parse e (Stream.of_channel ch)in
^^^^^^^^^^^^^^^^^^^^^^
Error: This expression has type char Stdlib.Stream.t
but an expression was expected of type char Stream/1.t
Stream/1.t is abstract because no corresponding cmi file was found in path.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlopt.opt -linkall -g -I src/.elpi.objs/byte -I src/.elpi.objs/native -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -I trace/runtime/.trace_ppx_runtime.objs/native -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/native/elpi__Data.cmx -c -impl src/data.pp.ml)
File "src/data.ml", line 647, characters 14-28:
647 | (Obj.(extension_name (extension_constructor x)))
^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_name
use Obj.Extension_constructor.name
File "src/data.ml", line 647, characters 30-51:
647 | (Obj.(extension_name (extension_constructor x)))
^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_constructor
use Obj.Extension_constructor.of_val
File "src/data.ml", line 648, characters 14-28:
648 | (Obj.(extension_name (extension_constructor (Unify(dummy,dummy)))))
^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_name
use Obj.Extension_constructor.name
File "src/data.ml", line 648, characters 30-51:
648 | (Obj.(extension_name (extension_constructor (Unify(dummy,dummy)))))
^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_constructor
use Obj.Extension_constructor.of_val
File "src/data.ml", line 649, characters 14-28:
649 | (Obj.(extension_name (extension_constructor (RawGoal dummy)))))
^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_name
use Obj.Extension_constructor.name
File "src/data.ml", line 649, characters 30-51:
649 | (Obj.(extension_name (extension_constructor (RawGoal dummy)))))
^^^^^^^^^^^^^^^^^^^^^
Alert deprecated: Stdlib.Obj.extension_constructor
use Obj.Extension_constructor.of_val
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__API.cmo -c -impl src/API.pp.ml)
File "src/API.ml", line 45, characters 17-33:
45 | let strm = Stream.of_string text in
^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Stream
Use the camlp-streams library instead.
File "src/API.ml", line 355, characters 80-98:
355 | let float = snd @@ RawOpaqueData.conversion_of_cdata ~name:"float" ~compare:Pervasives.compare (*Float.compare*) ~pp:(fun fmt x -> Util.CData.pp fmt (ED.C.float.Util.CData.cin x)) ED.C.float
^^^^^^^^^^^^^^^^^^
Alert deprecated: module Stdlib.Pervasives
Use Stdlib instead.
If you need to stay compatible with OCaml < 4.07, you can use the
stdlib-shims library: https://github.com/ocaml/stdlib-shims
File "src/API.ml", line 400, characters 8-20:
400 | R.Pp.uppterm d [] d ED.empty_env fmt t);
^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/API.ml", line 458, characters 8-20:
458 | R.Pp.uppterm 0 [] 0 [||] fmt (ED.mkUVar ub 0 0)
^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/API.ml", line 786, characters 6-28:
786 | E2H.filter_map_inplace (fun e (v,d) -> if f v e d then Some(v,d) else None) e2h;
^^^^^^^^^^^^^^^^^^^^^^
Alert old_ephemeron_api: E2H.filter_map_inplace
This function won't be available in 5.0
File "src/API.ml", line 787, characters 6-28:
787 | H2E.filter_map_inplace (fun v (e,d) -> if f v e d then Some(e,d) else None) h2e
^^^^^^^^^^^^^^^^^^^^^^
Alert old_ephemeron_api: H2E.filter_map_inplace
This function won't be available in 5.0
File "src/API.ml", line 797, characters 6-14:
797 | H2E.fold (fun k (uk,d) acc -> f k uk (get_val uk) d acc) h2e acc
^^^^^^^^
Alert old_ephemeron_api: H2E.fold
This function won't be available in 5.0
File "src/API.ml", line 817, characters 8-16:
817 | H2E.iter (fun v (e,d) -> H2E.add r.h2e v (Elpi.compilation_is_over ~args e,d)) h2e;
^^^^^^^^
Alert old_ephemeron_api: H2E.iter
This function won't be available in 5.0
File "src/API.ml", line 818, characters 8-16:
818 | E2H.iter (fun e (v,d) -> E2H.add r.e2h (Elpi.compilation_is_over ~args e) (v,d)) e2h;
^^^^^^^^
Alert old_ephemeron_api: E2H.iter
This function won't be available in 5.0
File "src/API.ml", line 1087, characters 4-16:
1087 | R.Pp.uppterm depth [] 0 ED.empty_env fmt t
^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/API.ml", line 1098, characters 6-17:
1098 | R.Pp.ppterm depth [] 0 ED.empty_env fmt t
^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime_trace_off.cmo -c -impl src/runtime_trace_off.pp.ml)
File "src/runtime_trace_off.ml", line 1708, characters 14-31:
1708 | match eta_contract_flex depth adepth bdepth e a with
^^^^^^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 1728, characters 14-31:
1728 | match eta_contract_flex depth bdepth bdepth e b with
^^^^^^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 1774, characters 15-22:
1774 | match is_flex (adepth+depth) other with
^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 1790, characters 28-35:
1790 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 1803, characters 15-22:
1803 | match is_flex (adepth+depth) other with
^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 1846, characters 8-25:
1846 | match eta_contract_flex depth adepth adepth e a with
^^^^^^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 1856, characters 8-25:
1856 | match eta_contract_flex depth bdepth adepth e b with
^^^^^^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 3495, characters 21-32:
3495 | let clauses = get_clauses depth k g p in
^^^^^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 3499, characters 21-32:
3499 | let clauses = get_clauses depth k g p in
^^^^^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime_trace_off.ml", line 3538, characters 19-25:
3538 | | false -> T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
^^^^^^
Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
(cd _build/default && /Users/pgiarrusso1/.opam/4.14.0+trunk/bin/ocamlc.opt -linkall -g -bin-annot -I src/.elpi.objs/byte -I src/.elpi.objs/public_cmi -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/camlp5 -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/ppx_deriving/runtime -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/re/str -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/result -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/seq -I /Users/pgiarrusso1/.opam/4.14.0+trunk/lib/stdlib-shims -I trace/runtime/.trace_ppx_runtime.objs/byte -intf-suffix .ml -no-alias-deps -open Elpi__ -o src/.elpi.objs/byte/elpi__Runtime.cmo -c -impl src/runtime.pp.ml)
File "src/runtime.ml", line 1708, characters 14-31:
1708 | match eta_contract_flex depth adepth bdepth e a with
^^^^^^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/runtime.ml", line 1728, characters 14-31:
1728 | match eta_contract_flex depth bdepth bdepth e b with
^^^^^^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/runtime.ml", line 1774, characters 15-22:
1774 | match is_flex (adepth+depth) other with
^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime.ml", line 1790, characters 28-35:
1790 | let blockers = match is_flex (bdepth+depth) other with | None -> [r] | Some r' -> [r;r'] in
^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime.ml", line 1803, characters 15-22:
1803 | match is_flex (adepth+depth) other with
^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime.ml", line 1846, characters 8-25:
1846 | match eta_contract_flex depth adepth adepth e a with
^^^^^^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/runtime.ml", line 1856, characters 8-25:
1856 | match eta_contract_flex depth bdepth adepth e b with
^^^^^^^^^^^^^^^^^
Warning 6 [labels-omitted]: label argsdepth was omitted in the application of this function.
File "src/runtime.ml", line 3495, characters 21-32:
3495 | let clauses = get_clauses depth k g p in
^^^^^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime.ml", line 3499, characters 21-32:
3499 | let clauses = get_clauses depth k g p in
^^^^^^^^^^^
Warning 6 [labels-omitted]: label depth was omitted in the application of this function.
File "src/runtime.ml", line 3538, characters 19-25:
3538 | | false -> T.undo old_trail (); [%tcall backchain depth p (k, arg, args_of_g, gs) (gid[@trace]) next alts cutto_alts cs]
^^^^^^
Warning 6 [labels-omitted]: label old_trail was omitted in the application of this function.
make: *** [Makefile:31: build] Error 1
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment