### Starting build.
# Target: src/stop.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/stop.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/stop.ml > src/stop.ml.depends
# Target: src/analysis.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/analysis.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/analysis.ml > src/analysis.ml.depends
# Target: src/ast.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/ast.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/ast.ml > src/ast.ml.depends
# Target: src/exceptions.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/exceptions.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/exceptions.ml > src/exceptions.ml.depends
# Target: src/generator.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/generator.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/generator.ml > src/generator.ml.depends
# Target: src/exceptions.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/exceptions.cmo, file:src/exceptions.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/exceptions.cmo src/exceptions.ml
+ ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/exceptions.cmo src/exceptions.ml
File "src/exceptions.ml", line 67, characters 0-37:
Warning 38: unused extension constructor InvalidStructType.
# Target: src/parser.mly, tags: { bin_annot, debug, extension:mly, file:src/parser.mly, infer, ocaml, ocamlyacc, package(core), package(llvm), package(llvm.analysis), parser, ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
/home/barriosj/.opam/4.02.3/bin/ocamlyacc src/parser.mly
# Target: src/parser.mli.depends, tags: { bin_annot, debug, extension:mli, file:src/parser.mli, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/parser.mli > src/parser.mli.depends
# Target: src/ast.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/ast.cmo, file:src/ast.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/ast.cmo src/ast.ml
# Target: src/scanner.mll, tags: { bin_annot, debug, extension:mll, file:src/scanner.mll, lexer, ocaml, ocamllex, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
/home/barriosj/.opam/4.02.3/bin/ocamllex.opt -q src/scanner.mll
# Target: src/scanner.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/scanner.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/scanner.ml > src/scanner.ml.depends
# Target: src/parser.cmi, tags: { bin_annot, byte, compile, debug, extension:mli, file:src/parser.mli, interf, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/parser.cmi src/parser.mli
# Target: src/scanner.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/scanner.cmo, file:src/scanner.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/scanner.cmo src/scanner.ml
# Target: src/sast.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/sast.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/sast.ml > src/sast.ml.depends
# Target: src/utils.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/utils.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/utils.ml > src/utils.ml.depends
# Target: src/sast.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/sast.cmo, file:src/sast.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/sast.cmo src/sast.ml
# Target: src/generator.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/generator.cmo, file:src/generator.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/generator.cmo src/generator.ml
# Target: src/utils.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/utils.cmo, file:src/utils.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/utils.cmo src/utils.ml
+ ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/utils.cmo src/utils.ml
File "src/utils.ml", line 137, characters 29-337:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
NoFunctiontype
# Target: src/codegen.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/codegen.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/codegen.ml > src/codegen.ml.depends
# Target: src/analysis.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/analysis.cmo, file:src/analysis.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/analysis.cmo src/analysis.ml
+ ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/analysis.cmo src/analysis.ml
File "src/analysis.ml", line 136, characters 30-1029:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
This
File "src/analysis.ml", line 385, characters 30-98:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Arraytype (_, _)|Functiontype (_, _)|NoFunctiontype|Any)
File "src/analysis.ml", line 387, characters 40-108:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Arraytype (_, _)|Functiontype (_, _)|NoFunctiontype|Any)
File "src/analysis.ml", line 401, characters 16-63:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SObjAccess (_, _, _)|SArrayAccess (_, _, _)|
SArrayCreate (_, _, _)|SThis _|SNoexpr)
File "src/analysis.ml", line 741, characters 32-134:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
Many _
File "src/analysis.ml", line 841, characters 12-21:
Warning 42: this use of overrides required disambiguation.
File "src/analysis.ml", line 870, characters 17-26:
Warning 42: this use of overrides required disambiguation.
File "src/analysis.ml", line 917, characters 32-41:
Warning 42: this use of overrides required disambiguation.
File "src/analysis.ml", line 1012, characters 32-41:
Warning 42: this use of overrides required disambiguation.
File "src/analysis.ml", line 232, characters 13-16:
Warning 27: unused variable env.
File "src/analysis.ml", line 259, characters 8-9:
Warning 11: this match case is unused.
File "src/analysis.ml", line 308, characters 16-28:
Warning 26: unused variable record_class.
File "src/analysis.ml", line 327, characters 8-27:
Warning 26: unused variable check_access_params.
File "src/analysis.ml", line 339, characters 8-30:
Warning 26: unused variable check_num_dims_indices.
File "src/analysis.ml", line 348, characters 8-27:
Warning 26: unused variable check_access_params.
File "src/analysis.ml", line 377, characters 8-14:
Warning 26: unused variable e.
File "src/analysis.ml", line 399, characters 8-16:
Warning 26: unused variable lhs_type.
File "src/analysis.ml", line 876, characters 18-24:
Warning 27: unused variable data_t.
File "src/analysis.ml", line 879, characters 8-18:
Warning 26: unused variable env_params.
File "src/analysis.ml", line 972, characters 8-20:
Warning 26: unused variable srecord_vars.
File "src/analysis.ml", line 1039, characters 49-68:
Warning 27: unused variable higher_order_fdecls.
File "src/analysis.ml", line 1055, characters 12-19:
Warning 26: unused variable crecord.
File "src/analysis.ml", line 1081, characters 21-22:
Warning 27: unused variable k.
File "src/analysis.ml", line 1103, characters 12-20:
Warning 27: unused variable filename.
File "src/analysis.ml", line 1104, characters 12-20:
Warning 27: unused variable includes.
File "src/analysis.ml", line 1104, characters 22-27:
Warning 27: unused variable specs.
# Target: src/codegen.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/codegen.cmo, file:src/codegen.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/codegen.cmo src/codegen.ml
+ ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/codegen.cmo src/codegen.ml
File "src/codegen.ml", line 176, characters 18-31:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 208, characters 4-267:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SArrayAccess (_, _, _)|SArrayCreate (_, _, _)|SThis _|
SNoexpr)
File "src/codegen.ml", line 267, characters 24-156:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SArrayAccess (_, _, _)|SArrayCreate (_, _, _)|SThis _|
SNoexpr)
File "src/codegen.ml", line 272, characters 23-172:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SArrayAccess (_, _, _)|SArrayCreate (_, _, _)|SThis _|
SNoexpr)
File "src/codegen.ml", line 276, characters 21-66:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SObjAccess (_, _, _)|SArrayAccess (_, _, _)|
SArrayCreate (_, _, _)|SThis _|SNoexpr)
File "src/codegen.ml", line 279, characters 21-68:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SObjAccess (_, _, _)|SArrayAccess (_, _, _)|
SArrayCreate (_, _, _)|SThis _|SNoexpr)
File "src/codegen.ml", line 333, characters 31-44:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 343, characters 19-32:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 350, characters 12-24:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 356, characters 12-24:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 376, characters 12-25:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 407, characters 12-25:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 412, characters 19-32:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 428, characters 16-29:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 439, characters 16-29:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 565, characters 28-46:
Warning 5: this function application is partial,
maybe some arguments are missing.
File "src/codegen.ml", line 569, characters 24-42:
Warning 5: this function application is partial,
maybe some arguments are missing.
File "src/codegen.ml", line 586, characters 12-24:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 120, characters 8-13:
Warning 26: unused variable type1.
File "src/codegen.ml", line 121, characters 8-13:
Warning 26: unused variable type2.
File "src/codegen.ml", line 143, characters 12-13:
Warning 11: this match case is unused.
File "src/codegen.ml", line 178, characters 25-30:
Warning 27: unused variable llval.
File "src/codegen.ml", line 266, characters 40-46:
Warning 27: unused variable data_t.
File "src/codegen.ml", line 279, characters 8-18:
Warning 26: unused variable field_type.
File "src/codegen.ml", line 300, characters 31-40:
Warning 27: unused variable llbuilder.
# Target: src/stop.cmo, tags: { bin_annot, byte, compile, debug, extension:cmo, extension:ml, file:src/stop.cmo, file:src/stop.ml, implem, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlc -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/stop.cmo src/stop.ml
# Target: src/exceptions.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/exceptions.cmx, file:src/exceptions.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/exceptions.cmx src/exceptions.ml
+ ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/exceptions.cmx src/exceptions.ml
File "src/exceptions.ml", line 67, characters 0-37:
Warning 38: unused extension constructor InvalidStructType.
# Target: src/parser.ml.depends, tags: { bin_annot, debug, extension:ml, file:src/parser.ml, ocaml, ocamldep, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamldep -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -modules src/parser.ml > src/parser.ml.depends
# Target: src/ast.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/ast.cmx, file:src/ast.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/ast.cmx src/ast.ml
# Target: src/parser.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/parser.cmx, file:src/parser.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/parser.cmx src/parser.ml
+ ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/parser.cmx src/parser.ml
File "src/parser.mly", line 332, characters 52-57:
Warning 42: this use of Equal required disambiguation.
File "src/parser.mly", line 334, characters 52-56:
Warning 42: this use of Less required disambiguation.
File "src/parser.mly", line 336, characters 52-59:
Warning 42: this use of Greater required disambiguation.
# Target: src/scanner.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/scanner.cmx, file:src/scanner.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/scanner.cmx src/scanner.ml
# Target: src/sast.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/sast.cmx, file:src/sast.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/sast.cmx src/sast.ml
# Target: src/generator.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/generator.cmx, file:src/generator.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/generator.cmx src/generator.ml
# Target: src/utils.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/utils.cmx, file:src/utils.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/utils.cmx src/utils.ml
+ ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/utils.cmx src/utils.ml
File "src/utils.ml", line 137, characters 29-337:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
NoFunctiontype
# Target: src/analysis.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/analysis.cmx, file:src/analysis.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/analysis.cmx src/analysis.ml
+ ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/analysis.cmx src/analysis.ml
File "src/analysis.ml", line 136, characters 30-1029:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
This
File "src/analysis.ml", line 385, characters 30-98:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Arraytype (_, _)|Functiontype (_, _)|NoFunctiontype|Any)
File "src/analysis.ml", line 387, characters 40-108:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(Arraytype (_, _)|Functiontype (_, _)|NoFunctiontype|Any)
File "src/analysis.ml", line 401, characters 16-63:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SObjAccess (_, _, _)|SArrayAccess (_, _, _)|
SArrayCreate (_, _, _)|SThis _|SNoexpr)
File "src/analysis.ml", line 741, characters 32-134:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
Many _
File "src/analysis.ml", line 841, characters 12-21:
Warning 42: this use of overrides required disambiguation.
File "src/analysis.ml", line 870, characters 17-26:
Warning 42: this use of overrides required disambiguation.
File "src/analysis.ml", line 917, characters 32-41:
Warning 42: this use of overrides required disambiguation.
File "src/analysis.ml", line 1012, characters 32-41:
Warning 42: this use of overrides required disambiguation.
File "src/analysis.ml", line 232, characters 13-16:
Warning 27: unused variable env.
File "src/analysis.ml", line 259, characters 8-9:
Warning 11: this match case is unused.
File "src/analysis.ml", line 308, characters 16-28:
Warning 26: unused variable record_class.
File "src/analysis.ml", line 327, characters 8-27:
Warning 26: unused variable check_access_params.
File "src/analysis.ml", line 339, characters 8-30:
Warning 26: unused variable check_num_dims_indices.
File "src/analysis.ml", line 348, characters 8-27:
Warning 26: unused variable check_access_params.
File "src/analysis.ml", line 377, characters 8-14:
Warning 26: unused variable e.
File "src/analysis.ml", line 399, characters 8-16:
Warning 26: unused variable lhs_type.
File "src/analysis.ml", line 876, characters 18-24:
Warning 27: unused variable data_t.
File "src/analysis.ml", line 879, characters 8-18:
Warning 26: unused variable env_params.
File "src/analysis.ml", line 972, characters 8-20:
Warning 26: unused variable srecord_vars.
File "src/analysis.ml", line 1039, characters 49-68:
Warning 27: unused variable higher_order_fdecls.
File "src/analysis.ml", line 1055, characters 12-19:
Warning 26: unused variable crecord.
File "src/analysis.ml", line 1081, characters 21-22:
Warning 27: unused variable k.
File "src/analysis.ml", line 1103, characters 12-20:
Warning 27: unused variable filename.
File "src/analysis.ml", line 1104, characters 12-20:
Warning 27: unused variable includes.
File "src/analysis.ml", line 1104, characters 22-27:
Warning 27: unused variable specs.
# Target: src/codegen.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/codegen.cmx, file:src/codegen.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/codegen.cmx src/codegen.ml
+ ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/codegen.cmx src/codegen.ml
File "src/codegen.ml", line 176, characters 18-31:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 208, characters 4-267:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SArrayAccess (_, _, _)|SArrayCreate (_, _, _)|SThis _|
SNoexpr)
File "src/codegen.ml", line 267, characters 24-156:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SArrayAccess (_, _, _)|SArrayCreate (_, _, _)|SThis _|
SNoexpr)
File "src/codegen.ml", line 272, characters 23-172:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SArrayAccess (_, _, _)|SArrayCreate (_, _, _)|SThis _|
SNoexpr)
File "src/codegen.ml", line 276, characters 21-66:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SObjAccess (_, _, _)|SArrayAccess (_, _, _)|
SArrayCreate (_, _, _)|SThis _|SNoexpr)
File "src/codegen.ml", line 279, characters 21-68:
Warning 8: this pattern-matching is not exhaustive.
Here is an example of a value that is not matched:
(SIntLit _|SFloatLit _|SBoolLit _|SCharLit _|SStringLit _|
SFunctionLit (_, _)|SUnop (_, _, _)|SBinop (_, _, _, _)|SAssign (_, _, _)|
SCall (_, _, _, _)|SObjAccess (_, _, _)|SArrayAccess (_, _, _)|
SArrayCreate (_, _, _)|SThis _|SNoexpr)
File "src/codegen.ml", line 333, characters 31-44:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 343, characters 19-32:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 350, characters 12-24:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 356, characters 12-24:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 376, characters 12-25:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 407, characters 12-25:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 412, characters 19-32:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 428, characters 16-29:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 439, characters 16-29:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 565, characters 28-46:
Warning 5: this function application is partial,
maybe some arguments are missing.
File "src/codegen.ml", line 569, characters 24-42:
Warning 5: this function application is partial,
maybe some arguments are missing.
File "src/codegen.ml", line 586, characters 12-24:
Warning 6: labels were omitted in the application of this function.
File "src/codegen.ml", line 120, characters 8-13:
Warning 26: unused variable type1.
File "src/codegen.ml", line 121, characters 8-13:
Warning 26: unused variable type2.
File "src/codegen.ml", line 143, characters 12-13:
Warning 11: this match case is unused.
File "src/codegen.ml", line 178, characters 25-30:
Warning 27: unused variable llval.
File "src/codegen.ml", line 266, characters 40-46:
Warning 27: unused variable data_t.
File "src/codegen.ml", line 279, characters 8-18:
Warning 26: unused variable field_type.
File "src/codegen.ml", line 300, characters 31-40:
Warning 27: unused variable llbuilder.
# Target: src/stop.cmx, tags: { bin_annot, compile, debug, extension:cmx, extension:ml, file:src/stop.cmx, file:src/stop.ml, implem, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -c -w A-4-33-40-41-42-43-34-44 -strict-sequence -w +a-4-44-45 -g -bin-annot -short-paths -thread -package llvm.analysis -package llvm -package core -ppx 'ppx-jane -as-ppx' -I src -o src/stop.cmx src/stop.ml
# Target: src/stop.native, tags: { bin_annot, debug, dont_link_with, extension:native, file:src/stop.native, link, native, ocaml, package(core), package(llvm), package(llvm.analysis), ppx(ppx-jane -as-ppx), program, quiet, short_paths, thread, traverse }
ocamlfind ocamlopt -linkpkg -g -thread -package llvm.analysis -package llvm -package core src/ast.cmx src/exceptions.cmx src/parser.cmx src/scanner.cmx src/generator.cmx src/sast.cmx src/utils.cmx src/analysis.cmx src/codegen.cmx src/stop.cmx -o src/stop.native
# Compilation successful.
