The following actions will be performed: - install gpx 1.1.0 =-=- Gathering sources =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [gpx: http] Command started [gpx: http] Command started [gpx.1.1.0] https://github.com/rundat/ocaml-gpx/archive/1.1.0.tar.gz downloaded =-=- Processing actions -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= [gpx: make src] Command started + make "-C" "src" "build" (CWD=/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0) - make: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - ocamlfind ocamlc -package str -package xml-light -package ISO8601 -c gpx.mli - File "gpx.mli", line 31, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and metadata. - File "gpx.mli", line 37, characters 3-26: - Warning 30: the label time is defined in both types metadata and wpt. - File "gpx.mli", line 41, characters 3-23: - Warning 30: the label name is defined in both types metadata and wpt. - File "gpx.mli", line 43, characters 3-23: - Warning 30: the label desc is defined in both types metadata and wpt. - File "gpx.mli", line 45, characters 3-19: - Warning 30: the label link is defined in both types metadata and wpt. - File "gpx.mli", line 55, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and wpt. - File "gpx.mli", line 59, characters 3-23: - Warning 30: the label name is defined in both types metadata and rte. - File "gpx.mli", line 60, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and rte. - File "gpx.mli", line 61, characters 3-23: - Warning 30: the label desc is defined in both types metadata and rte. - File "gpx.mli", line 62, characters 3-22: - Warning 30: the label src is defined in both types wpt and rte. - File "gpx.mli", line 63, characters 3-19: - Warning 30: the label link is defined in both types metadata and rte. - File "gpx.mli", line 65, characters 3-22: - Warning 30: the label typ is defined in both types wpt and rte. - File "gpx.mli", line 66, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and rte. - File "gpx.mli", line 71, characters 3-23: - Warning 30: the label name is defined in both types metadata and trk. - File "gpx.mli", line 72, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and trk. - File "gpx.mli", line 73, characters 3-23: - Warning 30: the label desc is defined in both types metadata and trk. - File "gpx.mli", line 74, characters 3-22: - Warning 30: the label src is defined in both types wpt and trk. - File "gpx.mli", line 75, characters 3-19: - Warning 30: the label link is defined in both types metadata and trk. - File "gpx.mli", line 76, characters 3-22: - Warning 30: the label number is defined in both types rte and trk. - File "gpx.mli", line 77, characters 3-22: - Warning 30: the label typ is defined in both types wpt and trk. - File "gpx.mli", line 78, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trk. - File "gpx.mli", line 86, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trkseg. - File "gpx.mli", line 90, characters 3-18: - Warning 30: the label author is defined in both types metadata and copyright. - File "gpx.mli", line 98, characters 3-22: - Warning 30: the label typ is defined in both types wpt and link. - File "gpx.mli", line 107, characters 3-23: - Warning 30: the label name is defined in both types metadata and person. - File "gpx.mli", line 109, characters 3-21: - Warning 30: the label link is defined in both types metadata and person. - ocamlfind ocamlc -package str -package xml-light -package ISO8601 -a -o gpx.cma gpx.ml - File "gpx.ml", line 20, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and metadata. - File "gpx.ml", line 26, characters 3-26: - Warning 30: the label time is defined in both types metadata and wpt. - File "gpx.ml", line 30, characters 3-23: - Warning 30: the label name is defined in both types metadata and wpt. - File "gpx.ml", line 32, characters 3-23: - Warning 30: the label desc is defined in both types metadata and wpt. - File "gpx.ml", line 34, characters 3-19: - Warning 30: the label link is defined in both types metadata and wpt. - File "gpx.ml", line 44, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and wpt. - File "gpx.ml", line 48, characters 3-23: - Warning 30: the label name is defined in both types metadata and rte. - File "gpx.ml", line 49, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and rte. - File "gpx.ml", line 50, characters 3-23: - Warning 30: the label desc is defined in both types metadata and rte. - File "gpx.ml", line 51, characters 3-22: - Warning 30: the label src is defined in both types wpt and rte. - File "gpx.ml", line 52, characters 3-19: - Warning 30: the label link is defined in both types metadata and rte. - File "gpx.ml", line 54, characters 3-22: - Warning 30: the label typ is defined in both types wpt and rte. - File "gpx.ml", line 55, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and rte. - File "gpx.ml", line 60, characters 3-23: - Warning 30: the label name is defined in both types metadata and trk. - File "gpx.ml", line 61, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and trk. - File "gpx.ml", line 62, characters 3-23: - Warning 30: the label desc is defined in both types metadata and trk. - File "gpx.ml", line 63, characters 3-22: - Warning 30: the label src is defined in both types wpt and trk. - File "gpx.ml", line 64, characters 3-19: - Warning 30: the label link is defined in both types metadata and trk. - File "gpx.ml", line 65, characters 3-22: - Warning 30: the label number is defined in both types rte and trk. - File "gpx.ml", line 66, characters 3-22: - Warning 30: the label typ is defined in both types wpt and trk. - File "gpx.ml", line 67, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trk. - File "gpx.ml", line 75, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trkseg. - File "gpx.ml", line 79, characters 3-18: - Warning 30: the label author is defined in both types metadata and copyright. - File "gpx.ml", line 87, characters 3-22: - Warning 30: the label typ is defined in both types wpt and link. - File "gpx.ml", line 96, characters 3-23: - Warning 30: the label name is defined in both types metadata and person. - File "gpx.ml", line 98, characters 3-21: - Warning 30: the label link is defined in both types metadata and person. - File "gpx.ml", line 152, characters 24-162: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - File "gpx.ml", line 280, characters 6-43: - Error: This function has type float -> string - It is applied to too many arguments; maybe you forgot a `;'. - Makefile:18: recipe for target 'build' failed - make: *** [build] Error 2 - make: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - make: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - ocamlfind ocamlc -package str -package xml-light -package ISO8601 -c gpx.mli - File "gpx.mli", line 31, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and metadata. - File "gpx.mli", line 37, characters 3-26: - Warning 30: the label time is defined in both types metadata and wpt. - File "gpx.mli", line 41, characters 3-23: - Warning 30: the label name is defined in both types metadata and wpt. - File "gpx.mli", line 43, characters 3-23: - Warning 30: the label desc is defined in both types metadata and wpt. - File "gpx.mli", line 45, characters 3-19: - Warning 30: the label link is defined in both types metadata and wpt. - File "gpx.mli", line 55, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and wpt. - File "gpx.mli", line 59, characters 3-23: - Warning 30: the label name is defined in both types metadata and rte. - File "gpx.mli", line 60, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and rte. - File "gpx.mli", line 61, characters 3-23: - Warning 30: the label desc is defined in both types metadata and rte. - File "gpx.mli", line 62, characters 3-22: - Warning 30: the label src is defined in both types wpt and rte. - File "gpx.mli", line 63, characters 3-19: - Warning 30: the label link is defined in both types metadata and rte. - File "gpx.mli", line 65, characters 3-22: - Warning 30: the label typ is defined in both types wpt and rte. - File "gpx.mli", line 66, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and rte. - File "gpx.mli", line 71, characters 3-23: - Warning 30: the label name is defined in both types metadata and trk. - File "gpx.mli", line 72, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and trk. - File "gpx.mli", line 73, characters 3-23: - Warning 30: the label desc is defined in both types metadata and trk. - File "gpx.mli", line 74, characters 3-22: - Warning 30: the label src is defined in both types wpt and trk. - File "gpx.mli", line 75, characters 3-19: - Warning 30: the label link is defined in both types metadata and trk. - File "gpx.mli", line 76, characters 3-22: - Warning 30: the label number is defined in both types rte and trk. - File "gpx.mli", line 77, characters 3-22: - Warning 30: the label typ is defined in both types wpt and trk. - File "gpx.mli", line 78, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trk. - File "gpx.mli", line 86, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trkseg. - File "gpx.mli", line 90, characters 3-18: - Warning 30: the label author is defined in both types metadata and copyright. - File "gpx.mli", line 98, characters 3-22: - Warning 30: the label typ is defined in both types wpt and link. - File "gpx.mli", line 107, characters 3-23: - Warning 30: the label name is defined in both types metadata and person. - File "gpx.mli", line 109, characters 3-21: - Warning 30: the label link is defined in both types metadata and person. - ocamlfind ocamlc -package str -package xml-light -package ISO8601 -a -o gpx.cma gpx.ml - File "gpx.ml", line 20, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and metadata. - File "gpx.ml", line 26, characters 3-26: - Warning 30: the label time is defined in both types metadata and wpt. - File "gpx.ml", line 30, characters 3-23: - Warning 30: the label name is defined in both types metadata and wpt. - File "gpx.ml", line 32, characters 3-23: - Warning 30: the label desc is defined in both types metadata and wpt. - File "gpx.ml", line 34, characters 3-19: - Warning 30: the label link is defined in both types metadata and wpt. - File "gpx.ml", line 44, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and wpt. - File "gpx.ml", line 48, characters 3-23: - Warning 30: the label name is defined in both types metadata and rte. - File "gpx.ml", line 49, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and rte. - File "gpx.ml", line 50, characters 3-23: - Warning 30: the label desc is defined in both types metadata and rte. - File "gpx.ml", line 51, characters 3-22: - Warning 30: the label src is defined in both types wpt and rte. - File "gpx.ml", line 52, characters 3-19: - Warning 30: the label link is defined in both types metadata and rte. - File "gpx.ml", line 54, characters 3-22: - Warning 30: the label typ is defined in both types wpt and rte. - File "gpx.ml", line 55, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and rte. - File "gpx.ml", line 60, characters 3-23: - Warning 30: the label name is defined in both types metadata and trk. - File "gpx.ml", line 61, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and trk. - File "gpx.ml", line 62, characters 3-23: - Warning 30: the label desc is defined in both types metadata and trk. - File "gpx.ml", line 63, characters 3-22: - Warning 30: the label src is defined in both types wpt and trk. - File "gpx.ml", line 64, characters 3-19: - Warning 30: the label link is defined in both types metadata and trk. - File "gpx.ml", line 65, characters 3-22: - Warning 30: the label number is defined in both types rte and trk. - File "gpx.ml", line 66, characters 3-22: - Warning 30: the label typ is defined in both types wpt and trk. - File "gpx.ml", line 67, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trk. - File "gpx.ml", line 75, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trkseg. - File "gpx.ml", line 79, characters 3-18: - Warning 30: the label author is defined in both types metadata and copyright. - File "gpx.ml", line 87, characters 3-22: - Warning 30: the label typ is defined in both types wpt and link. - File "gpx.ml", line 96, characters 3-23: - Warning 30: the label name is defined in both types metadata and person. - File "gpx.ml", line 98, characters 3-21: - Warning 30: the label link is defined in both types metadata and person. - File "gpx.ml", line 152, characters 24-162: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - File "gpx.ml", line 280, characters 6-43: - Error: This function has type float -> string - It is applied to too many arguments; maybe you forgot a `;'. - Makefile:18: recipe for target 'build' failed - make: *** [build] Error 2 - make: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' [ERROR] The compilation of gpx failed at "make -C src build". [gpx: make src] Command started + make "-C" "src" "uninstall" (CWD=/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0) - make: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - ocamlfind ocamlc -package str -package xml-light -package ISO8601 -c gpx.mli - File "gpx.mli", line 31, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and metadata. - File "gpx.mli", line 37, characters 3-26: - Warning 30: the label time is defined in both types metadata and wpt. - File "gpx.mli", line 41, characters 3-23: - Warning 30: the label name is defined in both types metadata and wpt. - File "gpx.mli", line 43, characters 3-23: - Warning 30: the label desc is defined in both types metadata and wpt. - File "gpx.mli", line 45, characters 3-19: - Warning 30: the label link is defined in both types metadata and wpt. - File "gpx.mli", line 55, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and wpt. - File "gpx.mli", line 59, characters 3-23: - Warning 30: the label name is defined in both types metadata and rte. - File "gpx.mli", line 60, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and rte. - File "gpx.mli", line 61, characters 3-23: - Warning 30: the label desc is defined in both types metadata and rte. - File "gpx.mli", line 62, characters 3-22: - Warning 30: the label src is defined in both types wpt and rte. - File "gpx.mli", line 63, characters 3-19: - Warning 30: the label link is defined in both types metadata and rte. - File "gpx.mli", line 65, characters 3-22: - Warning 30: the label typ is defined in both types wpt and rte. - File "gpx.mli", line 66, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and rte. - File "gpx.mli", line 71, characters 3-23: - Warning 30: the label name is defined in both types metadata and trk. - File "gpx.mli", line 72, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and trk. - File "gpx.mli", line 73, characters 3-23: - Warning 30: the label desc is defined in both types metadata and trk. - File "gpx.mli", line 74, characters 3-22: - Warning 30: the label src is defined in both types wpt and trk. - File "gpx.mli", line 75, characters 3-19: - Warning 30: the label link is defined in both types metadata and trk. - File "gpx.mli", line 76, characters 3-22: - Warning 30: the label number is defined in both types rte and trk. - File "gpx.mli", line 77, characters 3-22: - Warning 30: the label typ is defined in both types wpt and trk. - File "gpx.mli", line 78, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trk. - File "gpx.mli", line 86, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trkseg. - File "gpx.mli", line 90, characters 3-18: - Warning 30: the label author is defined in both types metadata and copyright. - File "gpx.mli", line 98, characters 3-22: - Warning 30: the label typ is defined in both types wpt and link. - File "gpx.mli", line 107, characters 3-23: - Warning 30: the label name is defined in both types metadata and person. - File "gpx.mli", line 109, characters 3-21: - Warning 30: the label link is defined in both types metadata and person. - ocamlfind ocamlc -package str -package xml-light -package ISO8601 -a -o gpx.cma gpx.ml - File "gpx.ml", line 20, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and metadata. - File "gpx.ml", line 26, characters 3-26: - Warning 30: the label time is defined in both types metadata and wpt. - File "gpx.ml", line 30, characters 3-23: - Warning 30: the label name is defined in both types metadata and wpt. - File "gpx.ml", line 32, characters 3-23: - Warning 30: the label desc is defined in both types metadata and wpt. - File "gpx.ml", line 34, characters 3-19: - Warning 30: the label link is defined in both types metadata and wpt. - File "gpx.ml", line 44, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and wpt. - File "gpx.ml", line 48, characters 3-23: - Warning 30: the label name is defined in both types metadata and rte. - File "gpx.ml", line 49, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and rte. - File "gpx.ml", line 50, characters 3-23: - Warning 30: the label desc is defined in both types metadata and rte. - File "gpx.ml", line 51, characters 3-22: - Warning 30: the label src is defined in both types wpt and rte. - File "gpx.ml", line 52, characters 3-19: - Warning 30: the label link is defined in both types metadata and rte. - File "gpx.ml", line 54, characters 3-22: - Warning 30: the label typ is defined in both types wpt and rte. - File "gpx.ml", line 55, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and rte. - File "gpx.ml", line 60, characters 3-23: - Warning 30: the label name is defined in both types metadata and trk. - File "gpx.ml", line 61, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and trk. - File "gpx.ml", line 62, characters 3-23: - Warning 30: the label desc is defined in both types metadata and trk. - File "gpx.ml", line 63, characters 3-22: - Warning 30: the label src is defined in both types wpt and trk. - File "gpx.ml", line 64, characters 3-19: - Warning 30: the label link is defined in both types metadata and trk. - File "gpx.ml", line 65, characters 3-22: - Warning 30: the label number is defined in both types rte and trk. - File "gpx.ml", line 66, characters 3-22: - Warning 30: the label typ is defined in both types wpt and trk. - File "gpx.ml", line 67, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trk. - File "gpx.ml", line 75, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trkseg. - File "gpx.ml", line 79, characters 3-18: - Warning 30: the label author is defined in both types metadata and copyright. - File "gpx.ml", line 87, characters 3-22: - Warning 30: the label typ is defined in both types wpt and link. - File "gpx.ml", line 96, characters 3-23: - Warning 30: the label name is defined in both types metadata and person. - File "gpx.ml", line 98, characters 3-21: - Warning 30: the label link is defined in both types metadata and person. - File "gpx.ml", line 152, characters 24-162: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - File "gpx.ml", line 280, characters 6-43: - Error: This function has type float -> string - It is applied to too many arguments; maybe you forgot a `;'. - Makefile:18: recipe for target 'build' failed - make: *** [build] Error 2 - make: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - make: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - ocamlfind remove gpx - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/gpx/META - make: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - make: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - ocamlfind ocamlc -package str -package xml-light -package ISO8601 -c gpx.mli - File "gpx.mli", line 31, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and metadata. - File "gpx.mli", line 37, characters 3-26: - Warning 30: the label time is defined in both types metadata and wpt. - File "gpx.mli", line 41, characters 3-23: - Warning 30: the label name is defined in both types metadata and wpt. - File "gpx.mli", line 43, characters 3-23: - Warning 30: the label desc is defined in both types metadata and wpt. - File "gpx.mli", line 45, characters 3-19: - Warning 30: the label link is defined in both types metadata and wpt. - File "gpx.mli", line 55, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and wpt. - File "gpx.mli", line 59, characters 3-23: - Warning 30: the label name is defined in both types metadata and rte. - File "gpx.mli", line 60, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and rte. - File "gpx.mli", line 61, characters 3-23: - Warning 30: the label desc is defined in both types metadata and rte. - File "gpx.mli", line 62, characters 3-22: - Warning 30: the label src is defined in both types wpt and rte. - File "gpx.mli", line 63, characters 3-19: - Warning 30: the label link is defined in both types metadata and rte. - File "gpx.mli", line 65, characters 3-22: - Warning 30: the label typ is defined in both types wpt and rte. - File "gpx.mli", line 66, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and rte. - File "gpx.mli", line 71, characters 3-23: - Warning 30: the label name is defined in both types metadata and trk. - File "gpx.mli", line 72, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and trk. - File "gpx.mli", line 73, characters 3-23: - Warning 30: the label desc is defined in both types metadata and trk. - File "gpx.mli", line 74, characters 3-22: - Warning 30: the label src is defined in both types wpt and trk. - File "gpx.mli", line 75, characters 3-19: - Warning 30: the label link is defined in both types metadata and trk. - File "gpx.mli", line 76, characters 3-22: - Warning 30: the label number is defined in both types rte and trk. - File "gpx.mli", line 77, characters 3-22: - Warning 30: the label typ is defined in both types wpt and trk. - File "gpx.mli", line 78, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trk. - File "gpx.mli", line 86, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trkseg. - File "gpx.mli", line 90, characters 3-18: - Warning 30: the label author is defined in both types metadata and copyright. - File "gpx.mli", line 98, characters 3-22: - Warning 30: the label typ is defined in both types wpt and link. - File "gpx.mli", line 107, characters 3-23: - Warning 30: the label name is defined in both types metadata and person. - File "gpx.mli", line 109, characters 3-21: - Warning 30: the label link is defined in both types metadata and person. - ocamlfind ocamlc -package str -package xml-light -package ISO8601 -a -o gpx.cma gpx.ml - File "gpx.ml", line 20, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and metadata. - File "gpx.ml", line 26, characters 3-26: - Warning 30: the label time is defined in both types metadata and wpt. - File "gpx.ml", line 30, characters 3-23: - Warning 30: the label name is defined in both types metadata and wpt. - File "gpx.ml", line 32, characters 3-23: - Warning 30: the label desc is defined in both types metadata and wpt. - File "gpx.ml", line 34, characters 3-19: - Warning 30: the label link is defined in both types metadata and wpt. - File "gpx.ml", line 44, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and wpt. - File "gpx.ml", line 48, characters 3-23: - Warning 30: the label name is defined in both types metadata and rte. - File "gpx.ml", line 49, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and rte. - File "gpx.ml", line 50, characters 3-23: - Warning 30: the label desc is defined in both types metadata and rte. - File "gpx.ml", line 51, characters 3-22: - Warning 30: the label src is defined in both types wpt and rte. - File "gpx.ml", line 52, characters 3-19: - Warning 30: the label link is defined in both types metadata and rte. - File "gpx.ml", line 54, characters 3-22: - Warning 30: the label typ is defined in both types wpt and rte. - File "gpx.ml", line 55, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and rte. - File "gpx.ml", line 60, characters 3-23: - Warning 30: the label name is defined in both types metadata and trk. - File "gpx.ml", line 61, characters 3-22: - Warning 30: the label cmt is defined in both types wpt and trk. - File "gpx.ml", line 62, characters 3-23: - Warning 30: the label desc is defined in both types metadata and trk. - File "gpx.ml", line 63, characters 3-22: - Warning 30: the label src is defined in both types wpt and trk. - File "gpx.ml", line 64, characters 3-19: - Warning 30: the label link is defined in both types metadata and trk. - File "gpx.ml", line 65, characters 3-22: - Warning 30: the label number is defined in both types rte and trk. - File "gpx.ml", line 66, characters 3-22: - Warning 30: the label typ is defined in both types wpt and trk. - File "gpx.ml", line 67, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trk. - File "gpx.ml", line 75, characters 3-32: - Warning 30: the label extensions is defined in both types gpx and trkseg. - File "gpx.ml", line 79, characters 3-18: - Warning 30: the label author is defined in both types metadata and copyright. - File "gpx.ml", line 87, characters 3-22: - Warning 30: the label typ is defined in both types wpt and link. - File "gpx.ml", line 96, characters 3-23: - Warning 30: the label name is defined in both types metadata and person. - File "gpx.ml", line 98, characters 3-21: - Warning 30: the label link is defined in both types metadata and person. - File "gpx.ml", line 152, characters 24-162: - Warning 8: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: - "" - File "gpx.ml", line 280, characters 6-43: - Error: This function has type float -> string - It is applied to too many arguments; maybe you forgot a `;'. - Makefile:18: recipe for target 'build' failed - make: *** [build] Error 2 - make: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - make: Entering directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' - ocamlfind remove gpx - ocamlfind: [WARNING] No such file: /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/lib/gpx/META - make: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' #=== ERROR while installing gpx.1.1.0 =========================================# # opam-version 1.2.2+dd (3852ba0a7708d4dc37f64dd4cd00f873bf317ac0) # os linux # command make -C src build # path /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0 # compiler 4.07.0+pr2051 # exit-code 2 # env-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/gpx-12937.env # stdout-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/gpx-12937.out # stderr-file /home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/gpx-12937.out ### stdout ### # [...] # File "gpx.ml", line 152, characters 24-162: # Warning 8: this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # "" # File "gpx.ml", line 280, characters 6-43: # Error: This function has type float -> string # It is applied to too many arguments; maybe you forgot a `;'. # Makefile:18: recipe for target 'build' failed # make: *** [build] Error 2 # make: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' ### stderr ### # [...] # File "gpx.ml", line 152, characters 24-162: # Warning 8: this pattern-matching is not exhaustive. # Here is an example of a case that is not matched: # "" # File "gpx.ml", line 280, characters 6-43: # Error: This function has type float -> string # It is applied to too many arguments; maybe you forgot a `;'. # Makefile:18: recipe for target 'build' failed # make: *** [build] Error 2 # make: Leaving directory '/home/doligez/opamcheck/sandbox2/opamstate/4.07.0+pr2051/dotopam/4.07.0+pr2051/build/gpx.1.1.0/src' =-=- Error report -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The following actions failed - install gpx 1.1.0 No changes have been performed 'opam install gpx.1.1.0' failed.