The following actions will be performed: - install statverif 1.97pl1 =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [statverif: http] Command started [statverif: http] Command started [statverif.1.97pl1] https://github.com/rittere/statverif/archive/1.97pl1.tar.gz downloaded =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [statverif: make] Command started + make (CWD=/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1) - make -C src all - make[1]: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - Warning 3: deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", line 26, characters 4-137: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - make -C src all - make[1]: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - Warning 3: deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", line 26, characters 4-137: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", line 908, characters 56-124: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", line 910, characters 67-178: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, [])|([], _)) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", line 37, characters 31-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 37, characters 15-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 1949, characters 10-1338: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", line 2441, characters 2-7062: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /usr/bin/ocamllex -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /usr/bin/ocamlyacc pitparser.mly - + /usr/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", line 908, characters 56-124: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", line 910, characters 67-178: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, [])|([], _)) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", line 37, characters 31-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 37, characters 15-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 1949, characters 10-1338: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", line 2441, characters 2-7062: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /usr/bin/ocamllex -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /usr/bin/ocamlyacc pitparser.mly - + /usr/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", line 63, characters 28-1372: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", line 430, characters 23-1036: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - File "reduction_helper.ml", line 506, characters 2-1762: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", line 63, characters 28-1372: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", line 430, characters 23-1036: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - File "reduction_helper.ml", line 506, characters 2-1762: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /usr/bin/ocamllex -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /usr/bin/ocamlyacc piparser.mly - + /usr/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", line 55, characters 67-251: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_::_::_|_::[]|[]) - File "rules.ml", line 112, characters 6-351: - Warning 8: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", line 232, characters 8-245: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 703, characters 3-266: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rule (_, _, _, Out (_, _), _)|Removed (_, _, _)|Any (_, _)|Empty _| - HEquation (_, _, _, _)|Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 818, characters 2-364: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /usr/bin/ocamllex -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /usr/bin/ocamlyacc piparser.mly - + /usr/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", line 55, characters 67-251: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_::_::_|_::[]|[]) - File "rules.ml", line 112, characters 6-351: - Warning 8: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", line 232, characters 8-245: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 703, characters 3-266: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rule (_, _, _, Out (_, _), _)|Removed (_, _, _)|Any (_, _)|Empty _| - HEquation (_, _, _, _)|Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 818, characters 2-364: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", line 1188, characters 7-239: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, None::_, [])|(_::_, Some _::_, [])|(_::_, [], _)|([], [], _::_)| - ([], _::_, _)) - File "simplify.ml", line 1195, characters 7-340: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, _::_, [])|(_::_, [], _)|([], [], _::_)|([], _::_, _)) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", line 994, characters 29-1051: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", line 1188, characters 7-239: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, None::_, [])|(_::_, Some _::_, [])|(_::_, [], _)|([], [], _::_)| - ([], _::_, _)) - File "simplify.ml", line 1195, characters 7-340: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, _::_, [])|(_::_, [], _)|([], [], _::_)|([], _::_, _)) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", line 994, characters 29-1051: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", line 1674, characters 36-10044: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", line 3096, characters 6-624: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "pitsyntax.ml", line 3109, characters 6-780: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", line 1674, characters 36-10044: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", line 3096, characters 6-624: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "pitsyntax.ml", line 3109, characters 6-780: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /usr/bin/ocamllex -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /usr/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /usr/bin/ocamllex -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /usr/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", line 127, characters 20-227: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (OutputPBin _::_::_|InputPBin _::_::_|TableBin _::_::_|MessBin (_, _)::_::_| - AttackerBin (_, _)::_::_| - (Attacker (_, _)|Mess (_, _)|Seq _|Reach _|InputP _|OutputP _|ReachBin _| - SeqBin _|AttackerGuess _|Compromise _|Equal _|Table _|TestUnifP _| - PolymPred (_, _, _))::_|[]) - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", line 127, characters 20-227: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (OutputPBin _::_::_|InputPBin _::_::_|TableBin _::_::_|MessBin (_, _)::_::_| - AttackerBin (_, _)::_::_| - (Attacker (_, _)|Mess (_, _)|Seq _|Reach _|InputP _|OutputP _|ReachBin _| - SeqBin _|AttackerGuess _|Compromise _|Equal _|Table _|TestUnifP _| - PolymPred (_, _, _))::_|[]) - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - + ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - File "spassout.ml", line 58, characters 6-37: - Warning 3: deprecated: Stdlib.String.set - Use Bytes.set instead. - File "spassout.ml", line 58, characters 6-7: - Error: This expression has type string but an expression was expected of type - bytes - Command exited with code 2. - Makefile:4: recipe for target 'all' failed - make[1]: *** [all] Error 10 - make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - Makefile:4: recipe for target 'all' failed - make: *** [all] Error 2 - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - + ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - File "spassout.ml", line 58, characters 6-37: - Warning 3: deprecated: Stdlib.String.set - Use Bytes.set instead. - File "spassout.ml", line 58, characters 6-7: - Error: This expression has type string but an expression was expected of type - bytes - Command exited with code 2. - Makefile:4: recipe for target 'all' failed - make[1]: *** [all] Error 10 - make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - Makefile:4: recipe for target 'all' failed - make: *** [all] Error 2 [ERROR] The compilation of statverif failed at "make". [statverif: ocamlfind remove] Command started + ocamlfind "remove" "statverif" (CWD=/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1) - make -C src all - make[1]: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - Warning 3: deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", line 26, characters 4-137: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", line 908, characters 56-124: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", line 910, characters 67-178: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, [])|([], _)) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", line 37, characters 31-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 37, characters 15-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 1949, characters 10-1338: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", line 2441, characters 2-7062: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /usr/bin/ocamllex -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /usr/bin/ocamlyacc pitparser.mly - + /usr/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", line 63, characters 28-1372: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", line 430, characters 23-1036: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - File "reduction_helper.ml", line 506, characters 2-1762: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /usr/bin/ocamllex -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /usr/bin/ocamlyacc piparser.mly - + /usr/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", line 55, characters 67-251: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_::_::_|_::[]|[]) - File "rules.ml", line 112, characters 6-351: - Warning 8: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", line 232, characters 8-245: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 703, characters 3-266: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rule (_, _, _, Out (_, _), _)|Removed (_, _, _)|Any (_, _)|Empty _| - HEquation (_, _, _, _)|Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 818, characters 2-364: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", line 1188, characters 7-239: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, None::_, [])|(_::_, Some _::_, [])|(_::_, [], _)|([], [], _::_)| - ([], _::_, _)) - File "simplify.ml", line 1195, characters 7-340: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, _::_, [])|(_::_, [], _)|([], [], _::_)|([], _::_, _)) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", line 994, characters 29-1051: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", line 1674, characters 36-10044: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", line 3096, characters 6-624: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "pitsyntax.ml", line 3109, characters 6-780: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /usr/bin/ocamllex -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /usr/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", line 127, characters 20-227: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (OutputPBin _::_::_|InputPBin _::_::_|TableBin _::_::_|MessBin (_, _)::_::_| - AttackerBin (_, _)::_::_| - (Attacker (_, _)|Mess (_, _)|Seq _|Reach _|InputP _|OutputP _|ReachBin _| - SeqBin _|AttackerGuess _|Compromise _|Equal _|Table _|TestUnifP _| - PolymPred (_, _, _))::_|[]) - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - + ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - File "spassout.ml", line 58, characters 6-37: - Warning 3: deprecated: Stdlib.String.set - Use Bytes.set instead. - File "spassout.ml", line 58, characters 6-7: - Error: This expression has type string but an expression was expected of type - bytes - Command exited with code 2. - Makefile:4: recipe for target 'all' failed - make[1]: *** [all] Error 10 - make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - Makefile:4: recipe for target 'all' failed - make: *** [all] Error 2 - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/lib/statverif/META - make -C src all - make[1]: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - Warning 3: deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", line 26, characters 4-137: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", line 908, characters 56-124: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", line 910, characters 67-178: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, [])|([], _)) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", line 37, characters 31-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 37, characters 15-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 1949, characters 10-1338: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", line 2441, characters 2-7062: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /usr/bin/ocamllex -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /usr/bin/ocamlyacc pitparser.mly - + /usr/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", line 63, characters 28-1372: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", line 430, characters 23-1036: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - File "reduction_helper.ml", line 506, characters 2-1762: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /usr/bin/ocamllex -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /usr/bin/ocamlyacc piparser.mly - + /usr/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", line 55, characters 67-251: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_::_::_|_::[]|[]) - File "rules.ml", line 112, characters 6-351: - Warning 8: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", line 232, characters 8-245: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 703, characters 3-266: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rule (_, _, _, Out (_, _), _)|Removed (_, _, _)|Any (_, _)|Empty _| - HEquation (_, _, _, _)|Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 818, characters 2-364: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", line 1188, characters 7-239: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, None::_, [])|(_::_, Some _::_, [])|(_::_, [], _)|([], [], _::_)| - ([], _::_, _)) - File "simplify.ml", line 1195, characters 7-340: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, _::_, [])|(_::_, [], _)|([], [], _::_)|([], _::_, _)) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", line 994, characters 29-1051: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", line 1674, characters 36-10044: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", line 3096, characters 6-624: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "pitsyntax.ml", line 3109, characters 6-780: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /usr/bin/ocamllex -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /usr/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", line 127, characters 20-227: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (OutputPBin _::_::_|InputPBin _::_::_|TableBin _::_::_|MessBin (_, _)::_::_| - AttackerBin (_, _)::_::_| - (Attacker (_, _)|Mess (_, _)|Seq _|Reach _|InputP _|OutputP _|ReachBin _| - SeqBin _|AttackerGuess _|Compromise _|Equal _|Table _|TestUnifP _| - PolymPred (_, _, _))::_|[]) - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - + ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - File "spassout.ml", line 58, characters 6-37: - Warning 3: deprecated: Stdlib.String.set - Use Bytes.set instead. - File "spassout.ml", line 58, characters 6-7: - Error: This expression has type string but an expression was expected of type - bytes - Command exited with code 2. - Makefile:4: recipe for target 'all' failed - make[1]: *** [all] Error 10 - make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - Makefile:4: recipe for target 'all' failed - make: *** [all] Error 2 - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/lib/statverif/META [statverif: rm] Command started + rm "-f" "/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/bin/statverif" (CWD=/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1) - make -C src all - make[1]: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - Warning 3: deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", line 26, characters 4-137: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", line 908, characters 56-124: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", line 910, characters 67-178: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, [])|([], _)) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", line 37, characters 31-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 37, characters 15-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 1949, characters 10-1338: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", line 2441, characters 2-7062: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /usr/bin/ocamllex -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /usr/bin/ocamlyacc pitparser.mly - + /usr/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", line 63, characters 28-1372: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", line 430, characters 23-1036: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - File "reduction_helper.ml", line 506, characters 2-1762: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /usr/bin/ocamllex -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /usr/bin/ocamlyacc piparser.mly - + /usr/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", line 55, characters 67-251: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_::_::_|_::[]|[]) - File "rules.ml", line 112, characters 6-351: - Warning 8: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", line 232, characters 8-245: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 703, characters 3-266: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rule (_, _, _, Out (_, _), _)|Removed (_, _, _)|Any (_, _)|Empty _| - HEquation (_, _, _, _)|Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 818, characters 2-364: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", line 1188, characters 7-239: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, None::_, [])|(_::_, Some _::_, [])|(_::_, [], _)|([], [], _::_)| - ([], _::_, _)) - File "simplify.ml", line 1195, characters 7-340: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, _::_, [])|(_::_, [], _)|([], [], _::_)|([], _::_, _)) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", line 994, characters 29-1051: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", line 1674, characters 36-10044: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", line 3096, characters 6-624: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "pitsyntax.ml", line 3109, characters 6-780: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /usr/bin/ocamllex -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /usr/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", line 127, characters 20-227: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (OutputPBin _::_::_|InputPBin _::_::_|TableBin _::_::_|MessBin (_, _)::_::_| - AttackerBin (_, _)::_::_| - (Attacker (_, _)|Mess (_, _)|Seq _|Reach _|InputP _|OutputP _|ReachBin _| - SeqBin _|AttackerGuess _|Compromise _|Equal _|Table _|TestUnifP _| - PolymPred (_, _, _))::_|[]) - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - + ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - File "spassout.ml", line 58, characters 6-37: - Warning 3: deprecated: Stdlib.String.set - Use Bytes.set instead. - File "spassout.ml", line 58, characters 6-7: - Error: This expression has type string but an expression was expected of type - bytes - Command exited with code 2. - Makefile:4: recipe for target 'all' failed - make[1]: *** [all] Error 10 - make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - Makefile:4: recipe for target 'all' failed - make: *** [all] Error 2 - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/lib/statverif/META - make -C src all - make[1]: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - Warning 3: deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", line 26, characters 4-137: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", line 908, characters 56-124: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", line 910, characters 67-178: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, [])|([], _)) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", line 37, characters 31-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 37, characters 15-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 1949, characters 10-1338: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", line 2441, characters 2-7062: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /usr/bin/ocamllex -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /usr/bin/ocamlyacc pitparser.mly - + /usr/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", line 63, characters 28-1372: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", line 430, characters 23-1036: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - File "reduction_helper.ml", line 506, characters 2-1762: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /usr/bin/ocamllex -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /usr/bin/ocamlyacc piparser.mly - + /usr/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", line 55, characters 67-251: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_::_::_|_::[]|[]) - File "rules.ml", line 112, characters 6-351: - Warning 8: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", line 232, characters 8-245: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 703, characters 3-266: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rule (_, _, _, Out (_, _), _)|Removed (_, _, _)|Any (_, _)|Empty _| - HEquation (_, _, _, _)|Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 818, characters 2-364: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", line 1188, characters 7-239: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, None::_, [])|(_::_, Some _::_, [])|(_::_, [], _)|([], [], _::_)| - ([], _::_, _)) - File "simplify.ml", line 1195, characters 7-340: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, _::_, [])|(_::_, [], _)|([], [], _::_)|([], _::_, _)) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", line 994, characters 29-1051: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", line 1674, characters 36-10044: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", line 3096, characters 6-624: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "pitsyntax.ml", line 3109, characters 6-780: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /usr/bin/ocamllex -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /usr/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", line 127, characters 20-227: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (OutputPBin _::_::_|InputPBin _::_::_|TableBin _::_::_|MessBin (_, _)::_::_| - AttackerBin (_, _)::_::_| - (Attacker (_, _)|Mess (_, _)|Seq _|Reach _|InputP _|OutputP _|ReachBin _| - SeqBin _|AttackerGuess _|Compromise _|Equal _|Table _|TestUnifP _| - PolymPred (_, _, _))::_|[]) - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - + ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - File "spassout.ml", line 58, characters 6-37: - Warning 3: deprecated: Stdlib.String.set - Use Bytes.set instead. - File "spassout.ml", line 58, characters 6-7: - Error: This expression has type string but an expression was expected of type - bytes - Command exited with code 2. - Makefile:4: recipe for target 'all' failed - make[1]: *** [all] Error 10 - make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - Makefile:4: recipe for target 'all' failed - make: *** [all] Error 2 - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/lib/statverif/META [statverif: rm] Command started + rm "-f" "/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/bin/statveriftotex" (CWD=/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1) - make -C src all - make[1]: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - Warning 3: deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", line 26, characters 4-137: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", line 908, characters 56-124: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", line 910, characters 67-178: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, [])|([], _)) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", line 37, characters 31-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 37, characters 15-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 1949, characters 10-1338: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", line 2441, characters 2-7062: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /usr/bin/ocamllex -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /usr/bin/ocamlyacc pitparser.mly - + /usr/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", line 63, characters 28-1372: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", line 430, characters 23-1036: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - File "reduction_helper.ml", line 506, characters 2-1762: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /usr/bin/ocamllex -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /usr/bin/ocamlyacc piparser.mly - + /usr/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", line 55, characters 67-251: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_::_::_|_::[]|[]) - File "rules.ml", line 112, characters 6-351: - Warning 8: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", line 232, characters 8-245: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 703, characters 3-266: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rule (_, _, _, Out (_, _), _)|Removed (_, _, _)|Any (_, _)|Empty _| - HEquation (_, _, _, _)|Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 818, characters 2-364: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", line 1188, characters 7-239: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, None::_, [])|(_::_, Some _::_, [])|(_::_, [], _)|([], [], _::_)| - ([], _::_, _)) - File "simplify.ml", line 1195, characters 7-340: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, _::_, [])|(_::_, [], _)|([], [], _::_)|([], _::_, _)) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", line 994, characters 29-1051: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", line 1674, characters 36-10044: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", line 3096, characters 6-624: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "pitsyntax.ml", line 3109, characters 6-780: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /usr/bin/ocamllex -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /usr/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", line 127, characters 20-227: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (OutputPBin _::_::_|InputPBin _::_::_|TableBin _::_::_|MessBin (_, _)::_::_| - AttackerBin (_, _)::_::_| - (Attacker (_, _)|Mess (_, _)|Seq _|Reach _|InputP _|OutputP _|ReachBin _| - SeqBin _|AttackerGuess _|Compromise _|Equal _|Table _|TestUnifP _| - PolymPred (_, _, _))::_|[]) - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - + ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - File "spassout.ml", line 58, characters 6-37: - Warning 3: deprecated: Stdlib.String.set - Use Bytes.set instead. - File "spassout.ml", line 58, characters 6-7: - Error: This expression has type string but an expression was expected of type - bytes - Command exited with code 2. - Makefile:4: recipe for target 'all' failed - make[1]: *** [all] Error 10 - make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - Makefile:4: recipe for target 'all' failed - make: *** [all] Error 2 - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/lib/statverif/META - make -C src all - make[1]: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - ocamlbuild -use-ocamlfind main.native - ocamlfind ocamldep -modules main.ml > main.ml.depends - ocamlfind ocamldep -modules destructor.mli > destructor.mli.depends - ocamlfind ocamldep -modules types.mli > types.mli.depends - ocamlfind ocamldep -modules stringmap.mli > stringmap.mli.depends - ocamlfind ocamlc -c -g -annot -o stringmap.cmi stringmap.mli - ocamlfind ocamlc -c -g -annot -o types.cmi types.mli - ocamlfind ocamldep -modules display.mli > display.mli.depends - ocamlfind ocamldep -modules pitypes.mli > pitypes.mli.depends - ocamlfind ocamlc -c -g -annot -o pitypes.cmi pitypes.mli - ocamlfind ocamldep -modules history.mli > history.mli.depends - ocamlfind ocamldep -modules param.mli > param.mli.depends - ocamlfind ocamldep -modules parsing_helper.mli > parsing_helper.mli.depends - ocamlfind ocamldep -modules ptree.mli > ptree.mli.depends - ocamlfind ocamlc -c -g -annot -o parsing_helper.cmi parsing_helper.mli - ocamlfind ocamlc -c -g -annot -o ptree.cmi ptree.mli - ocamlfind ocamldep -modules piauth.mli > piauth.mli.depends - ocamlfind ocamldep -modules pisyntax.mli > pisyntax.mli.depends - ocamlfind ocamldep -modules piptree.mli > piptree.mli.depends - ocamlfind ocamlc -c -g -annot -o piptree.cmi piptree.mli - ocamlfind ocamldep -modules pitransl.mli > pitransl.mli.depends - ocamlfind ocamldep -modules pitranslweak.mli > pitranslweak.mli.depends - ocamlfind ocamldep -modules pitsyntax.mli > pitsyntax.mli.depends - ocamlfind ocamldep -modules pitptree.mli > pitptree.mli.depends - ocamlfind ocamlc -c -g -annot -o pitptree.cmi pitptree.mli - ocamlfind ocamldep -modules proswapper.mli > proswapper.mli.depends - ocamlfind ocamldep -modules reduction.mli > reduction.mli.depends - ocamlfind ocamlc -c -g -annot -o history.cmi history.mli - ocamlfind ocamldep -modules reduction_bipro.mli > reduction_bipro.mli.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.mli > reduction_helper.mli.depends - ocamlfind ocamldep -modules rules.mli > rules.mli.depends - ocamlfind ocamldep -modules selfun.mli > selfun.mli.depends - ocamlfind ocamldep -modules pvqueue.mli > pvqueue.mli.depends - ocamlfind ocamlc -c -g -annot -o pvqueue.cmi pvqueue.mli - ocamlfind ocamldep -modules simplify.mli > simplify.mli.depends - ocamlfind ocamldep -modules spassout.mli > spassout.mli.depends - ocamlfind ocamldep -modules syntax.mli > syntax.mli.depends - ocamlfind ocamldep -modules terms.mli > terms.mli.depends - ocamlfind ocamldep -modules termsEq.mli > termsEq.mli.depends - ocamlfind ocamldep -modules tsyntax.mli > tsyntax.mli.depends - ocamlfind ocamlc -c -g -annot -o destructor.cmi destructor.mli - ocamlfind ocamlc -c -g -annot -o display.cmi display.mli - ocamlfind ocamlc -c -g -annot -o param.cmi param.mli - ocamlfind ocamlc -c -g -annot -o piauth.cmi piauth.mli - ocamlfind ocamlc -c -g -annot -o pisyntax.cmi pisyntax.mli - ocamlfind ocamlc -c -g -annot -o pitransl.cmi pitransl.mli - ocamlfind ocamlc -c -g -annot -o pitranslweak.cmi pitranslweak.mli - ocamlfind ocamlc -c -g -annot -o pitsyntax.cmi pitsyntax.mli - ocamlfind ocamlc -c -g -annot -o proswapper.cmi proswapper.mli - ocamlfind ocamlc -c -g -annot -o reduction.cmi reduction.mli - ocamlfind ocamlc -c -g -annot -o reduction_bipro.cmi reduction_bipro.mli - ocamlfind ocamlc -c -g -annot -package str -package unix -o reduction_helper.cmi reduction_helper.mli - ocamlfind ocamlc -c -g -annot -o rules.cmi rules.mli - ocamlfind ocamlc -c -g -annot -o selfun.cmi selfun.mli - ocamlfind ocamlc -c -g -annot -o simplify.cmi simplify.mli - ocamlfind ocamlc -c -g -annot -o spassout.cmi spassout.mli - ocamlfind ocamlc -c -g -annot -o syntax.cmi syntax.mli - ocamlfind ocamlc -c -g -annot -o terms.cmi terms.mli - ocamlfind ocamlc -c -g -annot -o termsEq.cmi termsEq.mli - ocamlfind ocamlc -c -g -annot -o tsyntax.cmi tsyntax.mli - ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - + ocamlfind ocamlc -c -g -annot -o main.cmo main.ml - File "main.ml", line 339, characters 14-30: - Warning 3: deprecated: Stdlib.String.uppercase - Use String.uppercase_ascii instead. - ocamlfind ocamldep -modules destructor.ml > destructor.ml.depends - ocamlfind ocamldep -modules display.ml > display.ml.depends - ocamlfind ocamldep -modules debug.ml > debug.ml.depends - ocamlfind ocamlc -c -g -annot -o debug.cmo debug.ml - ocamlfind ocamldep -modules param.ml > param.ml.depends - ocamlfind ocamldep -modules parsing_helper.ml > parsing_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -o parsing_helper.cmx parsing_helper.ml - ocamlfind ocamldep -modules stringmap.ml > stringmap.ml.depends - ocamlfind ocamlopt -c -g -annot -o stringmap.cmx stringmap.ml - ocamlfind ocamlopt -c -g -annot -o param.cmx param.ml - ocamlfind ocamldep -modules misc.ml > misc.ml.depends - ocamlfind ocamldep -modules misc.mli > misc.mli.depends - ocamlfind ocamlc -c -g -annot -o misc.cmi misc.mli - ocamlfind ocamldep -modules terms.ml > terms.ml.depends - ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - + ocamlfind ocamlopt -c -g -annot -o misc.cmx misc.ml - File "misc.ml", line 26, characters 4-137: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (1, _) - (However, some guarded clause may match this value.) - ocamlfind ocamldep -modules termslinks.ml > termslinks.ml.depends - ocamlfind ocamldep -modules termslinks.mli > termslinks.mli.depends - ocamlfind ocamlc -c -g -annot -o termslinks.cmi termslinks.mli - ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - + ocamlfind ocamlopt -c -g -annot -o terms.cmx terms.ml - File "terms.ml", line 908, characters 56-124: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "terms.ml", line 910, characters 67-178: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, [])|([], _)) - ocamlfind ocamlopt -c -g -annot -o debug.cmx debug.ml - ocamlfind ocamlopt -c -g -annot -o termslinks.cmx termslinks.ml - ocamlfind ocamldep -modules termsEq.ml > termsEq.ml.depends - ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - + ocamlfind ocamlopt -c -g -annot -o display.cmx display.ml - File "display.ml", line 37, characters 31-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 37, characters 15-81: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "display.ml", line 1949, characters 10-1338: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "display.ml", line 2441, characters 2-7062: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rread|Rwrite _) - /usr/bin/ocamllex -q pitlexer.mll - ocamlfind ocamldep -modules pitlexer.ml > pitlexer.ml.depends - /usr/bin/ocamlyacc pitparser.mly - + /usr/bin/ocamlyacc pitparser.mly - 56 shift/reduce conflicts. - ocamlfind ocamldep -modules pitparser.mli > pitparser.mli.depends - ocamlfind ocamlc -c -g -annot -o pitparser.cmi pitparser.mli - ocamlfind ocamlc -c -g -annot -o pitlexer.cmo pitlexer.ml - ocamlfind ocamldep -modules pitparser.ml > pitparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitparser.cmx pitparser.ml - ocamlfind ocamldep -modules pvqueue.ml > pvqueue.ml.depends - ocamlfind ocamlopt -c -g -annot -o pitlexer.cmx pitlexer.ml - ocamlfind ocamlopt -c -g -annot -o pvqueue.cmx pvqueue.ml - ocamlfind ocamlopt -c -g -annot -o termsEq.cmx termsEq.ml - ocamlfind ocamldep -modules history.ml > history.ml.depends - ocamlfind ocamldep -package str -package unix -modules reduction_helper.ml > reduction_helper.ml.depends - ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - + ocamlfind ocamlopt -c -g -annot -package str -package unix -o reduction_helper.cmx reduction_helper.ml - File "reduction_helper.ml", line 63, characters 28-1372: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Lock (_, _, _)|Unlock (_, _, _)|Open (_, _, _)|ReadAs (_, _, _)| - Assign (_, _, _)) - File "reduction_helper.ml", line 430, characters 23-1036: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (SequenceTag|ReachTag|OpenTag _|AssignTag (_, _)|KnowledgeProgressTag _| - ReadAsTag (_, _)) - File "reduction_helper.ml", line 506, characters 2-1762: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamldep -modules piauth.ml > piauth.ml.depends - ocamlfind ocamldep -modules funmap.ml > funmap.ml.depends - ocamlfind ocamldep -modules funmap.mli > funmap.mli.depends - ocamlfind ocamlc -c -g -annot -o funmap.cmi funmap.mli - ocamlfind ocamlopt -c -g -annot -o history.cmx history.ml - ocamlfind ocamldep -modules pievent.ml > pievent.ml.depends - ocamlfind ocamldep -modules pievent.mli > pievent.mli.depends - ocamlfind ocamlc -c -g -annot -o pievent.cmi pievent.mli - ocamlfind ocamldep -modules pitransl.ml > pitransl.ml.depends - ocamlfind ocamlopt -c -g -annot -o funmap.cmx funmap.ml - ocamlfind ocamlopt -c -g -annot -o pievent.cmx pievent.ml - ocamlfind ocamldep -modules pisyntax.ml > pisyntax.ml.depends - /usr/bin/ocamllex -q pilexer.mll - ocamlfind ocamldep -modules pilexer.ml > pilexer.ml.depends - /usr/bin/ocamlyacc piparser.mly - + /usr/bin/ocamlyacc piparser.mly - 10 shift/reduce conflicts. - ocamlfind ocamldep -modules piparser.mli > piparser.mli.depends - ocamlfind ocamlc -c -g -annot -o piparser.cmi piparser.mli - ocamlfind ocamlc -c -g -annot -o pilexer.cmo pilexer.ml - ocamlfind ocamldep -modules piparser.ml > piparser.ml.depends - ocamlfind ocamlopt -c -g -annot -o piparser.cmx piparser.ml - ocamlfind ocamldep -modules rules.ml > rules.ml.depends - ocamlfind ocamldep -modules noninterf.ml > noninterf.ml.depends - ocamlfind ocamldep -modules noninterf.mli > noninterf.mli.depends - ocamlfind ocamlc -c -g -annot -o noninterf.cmi noninterf.mli - ocamlfind ocamldep -modules selfun.ml > selfun.ml.depends - ocamlfind ocamlopt -c -g -annot -o noninterf.cmx noninterf.ml - ocamlfind ocamldep -modules weaksecr.ml > weaksecr.ml.depends - ocamlfind ocamldep -modules weaksecr.mli > weaksecr.mli.depends - ocamlfind ocamlc -c -g -annot -o weaksecr.cmi weaksecr.mli - ocamlfind ocamlopt -c -g -annot -o weaksecr.cmx weaksecr.ml - ocamlfind ocamlopt -c -g -annot -o selfun.cmx selfun.ml - ocamlfind ocamlopt -c -g -annot -o pilexer.cmx pilexer.ml - ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - + ocamlfind ocamlopt -c -g -annot -o rules.cmx rules.ml - File "rules.ml", line 55, characters 67-251: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (_::_::_::_|_::[]|[]) - File "rules.ml", line 112, characters 6-351: - Warning 8: this pattern-matching is not exhaustive. - All clauses in this pattern-matching are guarded. - File "rules.ml", line 234, characters 14-50: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Out (_, _) - File "rules.ml", line 232, characters 8-245: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 703, characters 3-266: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Rule (_, _, _, Out (_, _), _)|Removed (_, _, _)|Any (_, _)|Empty _| - HEquation (_, _, _, _)|Resolution (_, _, _)|TestUnifTrue (_, _)) - File "rules.ml", line 818, characters 2-364: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (Removed (_, _, _)|Any (_, _)|Empty _|HEquation (_, _, _, _)| - Resolution (_, _, _)|TestUnifTrue (_, _)) - ocamlfind ocamldep -modules pitsyntax.ml > pitsyntax.ml.depends - ocamlfind ocamldep -modules simplify.ml > simplify.ml.depends - ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - + ocamlfind ocamlopt -c -g -annot -o simplify.cmx simplify.ml - File "simplify.ml", line 1188, characters 7-239: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, None::_, [])|(_::_, Some _::_, [])|(_::_, [], _)|([], [], _::_)| - ([], _::_, _)) - File "simplify.ml", line 1195, characters 7-340: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - ((_::_, _::_, [])|(_::_, [], _)|([], [], _::_)|([], _::_, _)) - ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pisyntax.cmx pisyntax.ml - File "pisyntax.ml", line 994, characters 29-1051: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - Open (_, _, _) - ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - + ocamlfind ocamlopt -c -g -annot -o pitsyntax.cmx pitsyntax.ml - File "pitsyntax.ml", line 1674, characters 36-10044: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - PBarrier (_, _, _) - File "pitsyntax.ml", line 3096, characters 6-624: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - File "pitsyntax.ml", line 3109, characters 6-780: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - [] - ocamlfind ocamldep -modules reduction.ml > reduction.ml.depends - ocamlfind ocamldep -modules evaluation_helper.ml > evaluation_helper.ml.depends - ocamlfind ocamldep -modules evaluation_helper.mli > evaluation_helper.mli.depends - ocamlfind ocamlc -c -g -annot -o evaluation_helper.cmi evaluation_helper.mli - ocamlfind ocamlopt -c -g -annot -o evaluation_helper.cmx evaluation_helper.ml - ocamlfind ocamlopt -c -g -annot -o pitransl.cmx pitransl.ml - ocamlfind ocamlopt -c -g -annot -o reduction.cmx reduction.ml - ocamlfind ocamldep -modules pitranslweak.ml > pitranslweak.ml.depends - ocamlfind ocamldep -modules proswapper.ml > proswapper.ml.depends - ocamlfind ocamldep -modules reduction_bipro.ml > reduction_bipro.ml.depends - ocamlfind ocamldep -modules spassout.ml > spassout.ml.depends - ocamlfind ocamldep -modules syntax.ml > syntax.ml.depends - /usr/bin/ocamllex -q lexer.mll - ocamlfind ocamldep -modules lexer.ml > lexer.ml.depends - /usr/bin/ocamlyacc parser.mly - ocamlfind ocamldep -modules parser.mli > parser.mli.depends - ocamlfind ocamlc -c -g -annot -o parser.cmi parser.mli - ocamlfind ocamlc -c -g -annot -o lexer.cmo lexer.ml - ocamlfind ocamldep -modules parser.ml > parser.ml.depends - ocamlfind ocamlopt -c -g -annot -o parser.cmx parser.ml - ocamlfind ocamlopt -c -g -annot -o lexer.cmx lexer.ml - ocamlfind ocamldep -modules tsyntax.ml > tsyntax.ml.depends - ocamlfind ocamlopt -c -g -annot -o destructor.cmx destructor.ml - ocamlfind ocamlopt -c -g -annot -o piauth.cmx piauth.ml - ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - + ocamlfind ocamlopt -c -g -annot -o pitranslweak.cmx pitranslweak.ml - File "pitranslweak.ml", line 127, characters 20-227: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - (OutputPBin _::_::_|InputPBin _::_::_|TableBin _::_::_|MessBin (_, _)::_::_| - AttackerBin (_, _)::_::_| - (Attacker (_, _)|Mess (_, _)|Seq _|Reach _|InputP _|OutputP _|ReachBin _| - SeqBin _|AttackerGuess _|Compromise _|Equal _|Table _|TestUnifP _| - PolymPred (_, _, _))::_|[]) - ocamlfind ocamlopt -c -g -annot -o proswapper.cmx proswapper.ml - ocamlfind ocamlopt -c -g -annot -o reduction_bipro.cmx reduction_bipro.ml - ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - + ocamlfind ocamlopt -c -g -annot -o spassout.cmx spassout.ml - File "spassout.ml", line 58, characters 6-37: - Warning 3: deprecated: Stdlib.String.set - Use Bytes.set instead. - File "spassout.ml", line 58, characters 6-7: - Error: This expression has type string but an expression was expected of type - bytes - Command exited with code 2. - Makefile:4: recipe for target 'all' failed - make[1]: *** [all] Error 10 - make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' - Makefile:4: recipe for target 'all' failed - make: *** [all] Error 2 - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/lib/statverif/META #=== ERROR while installing statverif.1.97pl1 =================================# # opam-version 1.2.2+dd (3852ba0a7708d4dc37f64dd4cd00f873bf317ac0) # os linux # command make # path /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1 # compiler 4.07.0+24fac73 # exit-code 2 # env-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/statverif-9804.env # stdout-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/statverif-9804.out # stderr-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/statverif-9804.out ### stdout ### # [...] # Use Bytes.set instead. # File "spassout.ml", line 58, characters 6-7: # Error: This expression has type string but an expression was expected of type # bytes # Command exited with code 2. # Makefile:4: recipe for target 'all' failed # make[1]: *** [all] Error 10 # make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' # Makefile:4: recipe for target 'all' failed # make: *** [all] Error 2 ### stderr ### # [...] # Use Bytes.set instead. # File "spassout.ml", line 58, characters 6-7: # Error: This expression has type string but an expression was expected of type # bytes # Command exited with code 2. # Makefile:4: recipe for target 'all' failed # make[1]: *** [all] Error 10 # make[1]: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+24fac73/dotopam/4.07.0+24fac73/build/statverif.1.97pl1/src' # Makefile:4: recipe for target 'all' failed # make: *** [all] Error 2 =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The following actions failed - install statverif 1.97pl1 No changes have been performed 'opam install statverif.1.97pl1' failed.