=>> Building lang/ott build started at Thu Dec 11 09:12:05 EST 2025 port directory: /usr/ports/lang/ott package name: ott-0.33 building for: FreeBSD pkg.DaveG.ca 13.5-RELEASE-p7 FreeBSD 13.5-RELEASE-p7 1305000 amd64 maintained by: domagoj.stolfa@cl.cam.ac.uk Makefile datestamp: -rw-r--r-- 1 root wheel 617 Jan 23 2025 /usr/ports/lang/ott/Makefile Ports top last git commit: 62d8b1999233 Ports top unclean checkout: no Port dir last git commit: 832d5688f656 Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1305000 Job Id: 06 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1305000 UNAME_v=FreeBSD 13.5-RELEASE-p7 1305000 UNAME_r=13.5-RELEASE-p7 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_13_5_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_13_5_x64-HEAD-ALL/06/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_13_5_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_13_5_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- domagoj.stolfa@cl.cam.ac.uk --End MAINTAINER-- --CONFIGURE_ARGS-- --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=/usr/local/bin/gmake XDG_DATA_HOME=/wrkdirs/usr/ports/lang/ott/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/ott/work XDG_CACHE_HOME=/wrkdirs/usr/ports/lang/ott/work/.cache HOME=/wrkdirs/usr/ports/lang/ott/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/ott/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/lang/ott/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/lang/ott/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/lang/ott/work XDG_CACHE_HOME=/wrkdirs/usr/ports/lang/ott/work/.cache HOME=/wrkdirs/usr/ports/lang/ott/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/lang/ott/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/lang/ott/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OCAML_SITELIBDIR="lib/ocaml/site-lib" OSREL=13.5 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/ott" EXAMPLESDIR="share/examples/ott" DATADIR="share/ott" WWWDIR="www/ott" ETCDIR="etc/ott" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/ott DOCSDIR=/usr/local/share/doc/ott EXAMPLESDIR=/usr/local/share/examples/ott WWWDIR=/usr/local/www/ott ETCDIR=/usr/local/etc/ott --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ott-0.33 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.4.2_1.pkg [pkg.DaveG.ca] Installing pkg-2.4.2_1... [pkg.DaveG.ca] Extracting pkg-2.4.2_1: .......... done ===> ott-0.33 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of ott-0.33 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ott-0.33 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ott-0.33 for building => SHA256 Checksum OK for ott-lang-ott-0.33_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ott-0.33 depends on file: /usr/local/bin/ocamlc - not found ===> Installing existing package /packages/All/ocaml-4.14.2.pkg [pkg.DaveG.ca] Installing ocaml-4.14.2... [pkg.DaveG.ca] Extracting ocaml-4.14.2: .......... done ===> ott-0.33 depends on file: /usr/local/bin/ocamlc - found ===> Returning to build of ott-0.33 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by ott-0.33 for building ===> Extracting for ott-0.33 => SHA256 Checksum OK for ott-lang-ott-0.33_GH0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ott-0.33 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for ott-0.33 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ott-0.33 depends on file: /usr/local/bin/ocamlfind - not found ===> Installing existing package /packages/All/ocaml-findlib-1.9.6_3.pkg [pkg.DaveG.ca] Installing ocaml-findlib-1.9.6_3... [pkg.DaveG.ca] `-- Installing ocaml-labltk-8.06.12_1... [pkg.DaveG.ca] | `-- Installing tcl86-8.6.17... [pkg.DaveG.ca] | `-- Extracting tcl86-8.6.17: .......... done [pkg.DaveG.ca] | `-- Installing tk86-8.6.17... [pkg.DaveG.ca] | | `-- Installing fontconfig-2.15.0_3,1... [pkg.DaveG.ca] | | `-- Installing expat-2.7.3... [pkg.DaveG.ca] | | `-- Extracting expat-2.7.3: .......... done [pkg.DaveG.ca] | | `-- Installing freetype2-2.14.1... [pkg.DaveG.ca] | | | `-- Installing brotli-1.2.0,1... [pkg.DaveG.ca] | | | `-- Extracting brotli-1.2.0,1: .......... done [pkg.DaveG.ca] | | | `-- Installing png-1.6.50... [pkg.DaveG.ca] | | | `-- Extracting png-1.6.50: .......... done [pkg.DaveG.ca] | | `-- Extracting freetype2-2.14.1: .......... done [pkg.DaveG.ca] | | `-- Extracting fontconfig-2.15.0_3,1: .......... done [pkg.DaveG.ca] | | `-- Installing libX11-1.8.12,1... [pkg.DaveG.ca] | | `-- Installing libxcb-1.17.0... [pkg.DaveG.ca] | | | `-- Installing libXau-1.0.12... [pkg.DaveG.ca] | | | `-- Extracting libXau-1.0.12: .......... done [pkg.DaveG.ca] | | | `-- Installing libXdmcp-1.1.5... [pkg.DaveG.ca] | | | `-- Installing xorgproto-2024.1... [pkg.DaveG.ca] | | | `-- Extracting xorgproto-2024.1: .......... done [pkg.DaveG.ca] | | | `-- Extracting libXdmcp-1.1.5: ...... done [pkg.DaveG.ca] | | `-- Extracting libxcb-1.17.0: .......... done [pkg.DaveG.ca] | | `-- Extracting libX11-1.8.12,1: .......... done [pkg.DaveG.ca] | | `-- Installing libXScrnSaver-1.2.4_1... [pkg.DaveG.ca] | | `-- Installing libXext-1.3.6,1... [pkg.DaveG.ca] | | `-- Extracting libXext-1.3.6,1: .......... done [pkg.DaveG.ca] | | `-- Extracting libXScrnSaver-1.2.4_1: .......... done [pkg.DaveG.ca] | | `-- Installing libXft-2.3.8... [pkg.DaveG.ca] | | `-- Installing libXrender-0.9.12... [pkg.DaveG.ca] | | `-- Extracting libXrender-0.9.12: ....... done [pkg.DaveG.ca] | | `-- Extracting libXft-2.3.8: .......... done [pkg.DaveG.ca] | `-- Extracting tk86-8.6.17: .......... done [pkg.DaveG.ca] `-- Extracting ocaml-labltk-8.06.12_1: .......... done [pkg.DaveG.ca] Extracting ocaml-findlib-1.9.6_3: .......... done ==> Running trigger: fontconfig.ucl Running fc-cache to build fontconfig cache... ===== Message from freetype2-2.14.1: -- The 2.7.x series now uses the new subpixel hinting mode (V40 port's option) as the default, emulating a modern version of ClearType. This change inevitably leads to different rendering results, and you might change port's options to adapt it to your taste (or use the new "FREETYPE_PROPERTIES" environment variable). The environment variable "FREETYPE_PROPERTIES" can be used to control the driver properties. Example: FREETYPE_PROPERTIES=truetype:interpreter-version=35 \ cff:no-stem-darkening=1 \ autofitter:warping=1 This allows to select, say, the subpixel hinting mode at runtime for a given application. If LONG_PCF_NAMES port's option was enabled, the PCF family names may include the foundry and information whether they contain wide characters. For example, "Sony Fixed" or "Misc Fixed Wide", instead of "Fixed". This can be disabled at run time with using pcf:no-long-family-names property, if needed. Example: FREETYPE_PROPERTIES=pcf:no-long-family-names=1 How to recreate fontconfig cache with using such environment variable, if needed: # env FREETYPE_PROPERTIES=pcf:no-long-family-names=1 fc-cache -fsv The controllable properties are listed in the section "Controlling FreeType Modules" in the reference's table of contents (/usr/local/share/doc/freetype2/reference/index.html, if documentation was installed). ===> ott-0.33 depends on file: /usr/local/bin/ocamlfind - found ===> Returning to build of ott-0.33 ===> ott-0.33 depends on package: ocaml-ocamlgraph>=0 - not found ===> Installing existing package /packages/All/ocaml-ocamlgraph-2.1.0.pkg [pkg.DaveG.ca] Installing ocaml-ocamlgraph-2.1.0... [pkg.DaveG.ca] Extracting ocaml-ocamlgraph-2.1.0: .......... done ===> ott-0.33 depends on package: ocaml-ocamlgraph>=0 - found ===> Returning to build of ott-0.33 ===> ott-0.33 depends on package: gmake>=4.4.1 - not found ===> Installing existing package /packages/All/gmake-4.4.1.pkg [pkg.DaveG.ca] Installing gmake-4.4.1... [pkg.DaveG.ca] `-- Installing gettext-runtime-0.23.1... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] `-- Extracting gettext-runtime-0.23.1: .......... done [pkg.DaveG.ca] Extracting gmake-4.4.1: .......... done ===> ott-0.33 depends on package: gmake>=4.4.1 - found ===> Returning to build of ott-0.33 ===> ott-0.33 depends on file: /usr/local/bin/ocamlc - found ===> ott-0.33 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> ott-0.33 depends on file: /usr/local/bin/ccache - found ===> Returning to build of ott-0.33 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for ott-0.33 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for ott-0.33 cd src; /usr/local/bin/gmake install gmake[1]: Entering directory '/wrkdirs/usr/ports/lang/ott/work/ott-0.33/src' ocamllex grammar_lexer.mll ocamlyacc -v grammar_parser.mly ocamlyacc -v grammar_parser.mly 2 rules never reduced 2 rules never reduced 374 states, 16439 transitions, table size 68000 bytes 3397 additional bytes used for bindings ocamldep location.ml types.ml auxl.ml merge.ml global_option.ml grammar_lexer.ml grammar_parser.mli grammar_parser.ml version.ml grammar_pp.ml parse_table.ml glr.ml new_term_parser.ml term_parser.ml dependency.ml bounds.ml context_pp.ml quotient_rules.ml grammar_typecheck.ml transform.ml substs_pp.ml subrules_pp.ml embed_pp.ml defns.ml ln_transform.ml coq_induct.ml system_pp.ml lex_menhir_pp.ml align.ml main.ml align.mli bounds.mli coq_induct.mli defns.mli dependency.mli embed_pp.mli grammar_typecheck.mli merge.mli subrules_pp.mli substs_pp.mli system_pp.mli lex_menhir_pp.mli transform.mli term_parser.mli > .depend mkdir ../bin /usr/local/bin/gmake opt gmake[2]: Entering directory '/wrkdirs/usr/ports/lang/ott/work/ott-0.33/src' ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c location.ml ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c location.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c version.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c parse_table.ml sed -e 's/__VERSION__/0.33/' \ -e '/__DATE__/r tmp_date.txt' \ -e '/__DATE__/d' version.tex ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c types.ml File "parse_table.ml", line 914, characters 42-56: 914 | prod_action = (fun [r] -> r); ^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::_::_ ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c types.ml ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c merge.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c grammar_parser.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c term_parser.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c dependency.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c bounds.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c grammar_typecheck.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c transform.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c substs_pp.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c subrules_pp.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c embed_pp.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c defns.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c coq_induct.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c system_pp.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c lex_menhir_pp.mli ocamlfind ocamlc -package str -package ocamlgraph -linkpkg -g -dtypes -c align.mli ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c auxl.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c global_option.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c align.ml File "auxl.ml", lines 405-412, characters 7-19: 405 | .......( match hse with 406 | | Hom_index _ | Hom_terminal _ -> [] 407 | | Hom_string s -> 408 | let strs = Str.split (Str.regexp "[ \t]+") s in 409 | let ntrs_hom = List.filter (fun st -> List.mem st defined_ntrs) strs in 410 | if promote 411 | then List.map (promote_ntr xd) ntrs_hom 412 | else ntrs_hom ). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Hom_ln_free_index (_, _) File "auxl.ml", lines 467-471, characters 7-59: 467 | .......( match hse with 468 | | Hom_index _ | Hom_terminal _ -> [] 469 | | Hom_string s -> 470 | let strs = Str.split (Str.regexp "[ \t]+") s in 471 | List.filter (fun st -> List.mem st defined_mvrs) strs ). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Hom_ln_free_index (_, _) ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c glr.ml File "auxl.ml", lines 1839-1854, characters 4-42: 1839 | ....( match stre with 1840 | | Struct_md mvr -> "metavar def: "^mvr 1841 | | Struct_rs ntrs -> "rule def: "^(String.concat " " ntrs) 1842 | | Struct_srs xs -> "subrule def: "^ 1843 | (String.concat " " ... 1851 | | Struct_axs xs -> "aux def: "^ 1852 | (String.concat " " xs) 1853 | | Struct_fun_or_defnclass s -> "fundefn_class def: "^s 1854 | | Struct_embed (_,h,_) -> "embed: "^h) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Struct_crs _ ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c merge.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_parser.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_pp.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c dependency.ml File "dependency.ml", lines 571-579, characters 2-74: 571 | ..match m with 572 | | Isa io when io.ppi_isa_primrec -> isa_primrec_collapse m xd funcs 573 | | Isa io when not io.ppi_isa_primrec -> isa_fun_collapse m xd funcs 574 | | Hol _ -> hol_collapse m xd funcs 575 | | Lem _ -> lem_collapse m xd funcs 576 | | Coq _ -> coq_collapse m xd funcs 577 | | Twf _ -> twf_collapse m xd funcs 578 | | Caml _ -> caml_collapse m xd funcs 579 | | Tex _ | Ascii _ -> Auxl.error None "internal: collapse of Tex-Ascii\n" Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Isa _|Lex _|Menhir _) (However, some guarded clause may match this value.) File "dependency.ml", lines 584-714, characters 2-53: 584 | ..match m with 585 | | Tex _ | Ascii _ -> Auxl.error None "internal: print of Tex-Ascii\n" 586 | | Isa io -> 587 | let print_lemma block = 588 | if ( List.exists ... 711 | (* (List.map (fun (_,((h1,h2,h3),s,_)) -> h1 ^ "FOO1" ^ h2 ^ "FOO2"^ h3 ^ "FOO3"^s) block))*) 712 | (List.map (fun (_,((h1,h2,h3),s,_)) -> h1 ^ h2 ^ h3 ^ s ^ " end\n") block)) 713 | ^ "\n") in 714 | String.concat "" (List.map print_block sorting) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Lex _|Menhir _) File "grammar_pp.ml", lines 1875-2131, characters 6-25: 1875 | ......( match m with 1876 | | Lex _ | Menhir _ -> Auxl.errorm m "pp_mse" 1877 | | Ascii ao -> 1878 | pp_auxfn m xd f ^ ""^pp_LPAREN ^ "" 1879 | ^ pp_ntlist ... 2128 | else 2129 | ( "(flat_map (fun "^pat_fun^" => "^pp_body^ pat_fun_end ^ ") " 2130 | ^ de1i.de1_compound_id 2131 | ^ ")", [], [] ) ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Coq _|Isa _) (However, some guarded clause may match this value.) ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_lexer.ml File "grammar_pp.ml", lines 4022-4025, characters 16-45: 4022 | ................(match hse with 4023 | | Hom_string _ -> arity_of_homspec hs' 4024 | | Hom_index i -> max (1+i) (arity_of_homspec hs') 4025 | | Hom_terminal _ -> arity_of_homspec hs') Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Hom_ln_free_index (_, _) ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c new_term_parser.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c bounds.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c quotient_rules.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c transform.ml File "new_term_parser.ml", lines 150-177, characters 10-30: 150 | ..........(function 151 | | "[" -> "lbrac" 152 | | "]" -> "rbrac" 153 | | "!" -> "excl" 154 | | "\"" -> "doublequote" ... 174 | | "}" -> "rcurly" 175 | | "|" -> "bar" 176 | | "~" -> "tilde" 177 | | "-" -> "minus") Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: "" File "new_term_parser.ml", lines 289-290, characters 14-18: 289 | ..............[Res_char c; Res_charl l] = 290 | Res_charl (c::l).. Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_char _::Res_charl _::_::_ File "new_term_parser.ml", lines 292-293, characters 20-46: 292 | ....................[Res_char c; Res_charl l] = 293 | Res_string (Auxl.string_of_char_list (c::l)).. Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_char _::Res_charl _::_::_ File "new_term_parser.ml", line 295, characters 14-58: 295 | let res_stlil [Res_stli a; Res_stlil b] = Res_stlil (a::b);; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_stli _::Res_stlil _::_::_ File "new_term_parser.ml", lines 342-346, characters 67-66: 342 | ...................................................................function 343 | [] -> [] 344 | | Res_ignore::rl -> process_prod_res rl 345 | | Res_ste ste::rl -> ste::process_prod_res rl 346 | | Res_st st::rl -> Ste_st (dummy_loc, st)::process_prod_res rl Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Res_none|Res_stli _|Res_stlil _|Res_char _|Res_charl _|Res_string _| Res_int _|Res_si _|Res_sil _)::_ File "new_term_parser.ml", line 382, characters 14-42: 382 | (fun [Res_stlil x] -> elc x); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_stlil _::_::_ File "new_term_parser.ml", line 401, characters 8-42: 401 | (fun [Res_stli x]-> Res_stlil [x]); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_stli _::_::_ File "new_term_parser.ml", line 416, characters 16-51: 416 | (fun [x; _; y] -> res_stlil [x; y]) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::_::_::_::_ File "new_term_parser.ml", lines 463-467, characters 26-65: 463 | ..........................(fun [Res_stli (Stli_single (_, es1)); 464 | _; 465 | Res_int n'; 466 | Res_stli (Stli_single (_, es2))] -> 467 | process_dot_listform_res es1 n' es2). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_stli (Stli_single (_, _))::_::Res_int _::Res_stli (Stli_single (_, _)):: _::_ File "new_term_parser.ml", lines 476-482, characters 26-65: 476 | ..........................(fun [Res_stli (Stli_single (_, es1)); 477 | _; 478 | _; 479 | Res_int n'; 480 | _; 481 | Res_stli (Stli_single (_, es2))] -> 482 | process_dot_listform_res es1 n' es2) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_stli (Stli_single (_, _))::_::_::Res_int _::_:: Res_stli (Stli_single (_, _))::_::_ File "new_term_parser.ml", lines 488-500, characters 18-53: 488 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; 489 | _] -> 490 | let es'' = 491 | List.map 492 | (Merge.abstract_indexvar_symterm_element ivr 0) ... 497 | stl_elements = es''; 498 | stl_loc = dummy_loc} 499 | in 500 | Res_stli (Stli_listform stlb)). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::_ File "new_term_parser.ml", lines 508-523, characters 18-53: 508 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; 509 | _; 510 | _; Res_string ivr'; 511 | _] -> 512 | let es'' = ... 520 | let stlb = {stl_bound = b; 521 | stl_elements = es''; 522 | stl_loc = dummy_loc} in 523 | Res_stli (Stli_listform stlb)). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::Res_string _::_:: _::_ File "new_term_parser.ml", lines 536-557, characters 18-53: 536 | ..................(fun [_; Res_stli (Stli_single (_, es)); _; _; Res_string ivr; 537 | _; 538 | _; 539 | Res_string lower; 540 | _; ... 554 | let stlb = {stl_bound = b; 555 | stl_elements = es''; 556 | stl_loc = dummy_loc} in 557 | Res_stli (Stli_listform stlb)). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_stli (Stli_single (_, _))::_::_::Res_string _::_::_::Res_string _::_:: Res_int _::_::Res_si _::_::_::_ File "new_term_parser.ml", line 560, characters 18-53: 560 | (fun [Res_stli x] -> Res_stlil [x])); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_stli _::_::_ File "new_term_parser.ml", line 574, characters 24-59: 574 | (fun [x; _; y] -> res_stlil [x; y])); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::_::_::_::_ File "new_term_parser.ml", line 603, characters 15-44: 603 | (fun (_::rl) -> build_res rl) in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: [] File "new_term_parser.ml", line 609, characters 15-44: 609 | (fun (_::rl) -> build_res rl) in ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: [] File "new_term_parser.ml", line 628, characters 12-29: 628 | (fun [_; x] -> x) ^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::_::_::_ File "new_term_parser.ml", lines 638-639, characters 13-63: 638 | .............(fun [_; Res_sil l] -> 639 | Res_st (St_nonterm (dummy_loc, ntr, (nt', l)))). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_sil _::_::_ File "new_term_parser.ml", lines 649-653, characters 18-55: 649 | ..................(fun [_; Res_sil l] -> 650 | Res_st (St_nontermsub (dummy_loc, 651 | ntl, 652 | Auxl.promote_ntr xd ntr, 653 | (nt', l)))). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_sil _::_::_ File "new_term_parser.ml", lines 664-665, characters 6-59: 664 | ......(fun [_; Res_sil x] -> 665 | Res_ste (Ste_metavar (dummy_loc, name, (mvr, x)))) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_sil _::_::_ File "new_term_parser.ml", line 695, characters 14-100: 695 | (fun (_::Res_string s::_) -> Res_ste (Ste_metavar (dummy_loc, mvd.mvd_name, (s, [])))) ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _:: (Res_ignore|Res_none|Res_st _|Res_ste _|Res_stli _|Res_stlil _|Res_char _| Res_charl _|Res_int _|Res_si _|Res_sil _)::_ File "new_term_parser.ml", lines 703-707, characters 16-68: 703 | ................(fun [_; Res_string s] -> 704 | if is_tm s then 705 | raise Reject_parse 706 | else 707 | Res_ste (Ste_var (dummy_loc, mvd.mvd_name, s))). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_string _::_::_ File "new_term_parser.ml", lines 710-711, characters 16-66: 710 | ................(fun [_; Res_string s] -> 711 | Res_ste (Ste_var (dummy_loc, mvd.mvd_name, s))). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_string _::_::_ File "new_term_parser.ml", lines 715-719, characters 16-23: 715 | ................(fun [((Res_ste (Ste_var (_, _, s))) as x)] -> 716 | if is_tm s then 717 | raise Reject_parse 718 | else 719 | x) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_ste (Ste_var (_, _, _))::_::_ File "new_term_parser.ml", line 742, characters 6-41: 742 | (fun [Res_char c] -> Res_charl [c]); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_char _::_::_ File "new_term_parser.ml", line 748, characters 6-68: 748 | (fun [Res_charl s] -> Res_string (Auxl.string_of_char_list s)); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_charl _::_::_ File "new_term_parser.ml", line 761, characters 6-53: 761 | (fun [Res_si s; Res_sil sl] -> Res_sil (s::sl)); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_si _::Res_sil _::_::_ File "new_term_parser.ml", line 767, characters 6-73: 767 | (fun [Res_charl l] -> Res_si (Si_num (Auxl.string_of_char_list l))); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_charl _::_::_ File "new_term_parser.ml", line 771, characters 6-24: 771 | (fun [rsi] -> rsi); ^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::_::_ File "new_term_parser.ml", line 794, characters 6-47: 794 | (fun [Res_charl c] -> Res_charl ('_'::c)); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_charl _::_::_ File "new_term_parser.ml", line 796, characters 6-48: 796 | (fun [Res_charl c] -> Res_charl ('\''::c)); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_charl _::_::_ File "new_term_parser.ml", line 831, characters 6-52: 831 | (fun [Res_string s] -> Res_si (Si_var (s, 0))); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_string _::_::_ File "new_term_parser.ml", line 835, characters 6-53: 835 | (fun [Res_string s] -> Res_si (Si_var (s, -1))); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: Res_string _::_::_ File "new_term_parser.ml", lines 846-847, characters 13-61: 846 | .............(fun [_; Res_sil x] -> 847 | Res_st (St_nonterm (dummy_loc, "", (nt, x)))). Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::Res_sil _::_::_ File "new_term_parser.ml", line 858, characters 13-27: 858 | (fun [x] -> x); ^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: _::_::_ ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c coq_induct.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c term_parser.ml File "term_parser.ml", lines 1139-1172, characters 2-11: 1139 | ..let Ascii oldopts = pp_ascii_opts_default in 1140 | let opts = Ascii {oldopts with ppa_colour = !Auxl.colour} in 1141 | let sts = parse_complete lookup ntr concrete s in 1142 | let sts = transform sts in 1143 | match sts with ... 1169 | begin 1170 | report_error (Some l) (sstart ^ concat "" intermed); 1171 | St_uninterpreted(l, "multiple parses") 1172 | end Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Coq {coq_quantified_vars_from_de=_; coq_non_local_hyp_defn=_; coq_non_local_hyp_defn_vars=_; coq_list_types=_; coq_list_aux_defns={defined=_; newly_defined=_}; coq_library={contents=(_, _)}; coq_locally_nameless=_; _ }| Isa {isa_library={contents=(_, _)}; _ }|Hol {hol_library={contents=(_, _)}}| Lem {lem_library={contents=(_, _)}}| Twf {twf_current_defn=_; twf_library={contents=(_, _)}}|Tex _| Caml {caml_library={contents=(_, _)}; _ }| Lex {ppm_caml_opts={caml_library={contents=(_, _)}; _ }; _ }| Menhir {ppm_caml_opts={caml_library={contents=(_, _)}; _ }; _ }) File "term_parser.ml", line 1222, characters 25-54: 1222 | List.map (fun (Ntp.Gtp.Res_st s) -> s) res ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Res_ignore|Res_none|Res_ste _|Res_stli _|Res_stlil _|Res_char _|Res_charl _| Res_string _|Res_int _|Res_si _|Res_sil _) ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c context_pp.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c embed_pp.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c lex_menhir_pp.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c grammar_typecheck.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c substs_pp.ml File "lex_menhir_pp.ml", lines 274-285, characters 10-11: 274 | ..........(match ocamllex_hom_opt, ocamllex_remove_hom with 275 | | Some ocamllex_hom, false -> 276 | Some (token_name_of mvd.mvd_name, mvd.mvd_name, TK_metavar(ocaml_type, Some ocamllex_hom, ocamllex_of_string_hom_opt)) 277 | | None, false -> 278 | (* hack: default to ocamllex-remove *) ... 282 | Auxl.error (Some mvd.mvd_loc) ("ocamllex output: both ocamllex and ocamllex-remove hom for "^mvd.mvd_name^"\n") 283 | | None, true -> 284 | Some (token_name_of mvd.mvd_name, mvd.mvd_name, TK_metavar(ocaml_type, None, ocamllex_of_string_hom_opt)) 285 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Some _, true) File "lex_menhir_pp.ml", line 281, characters 12-36: 281 | | Some ocamllex_hom, false -> ^^^^^^^^^^^^^^^^^^^^^^^^ Warning 11 [redundant-case]: this match case is unused. File "lex_menhir_pp.ml", lines 331-335, characters 13-42: 331 | .............(match ocaml_type with 332 | | "string" -> "" 333 | | "int" -> "int_of_string" 334 | | "float" -> "float_of_string" 335 | | "bool" -> "bool_of_string") Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: "" File "grammar_typecheck.ml", lines 54-56, characters 4-82: 54 | ....match (xs,keys) with 55 | | ([],[]) -> None 56 | | (x::xs, key::keys) -> if (List.mem key keys) then Some x else helper xs keys. Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: ([], _::_) File "substs_pp.ml", lines 333-336, characters 10-11: 333 | ..........(match m with 334 | | Caml _ -> Grammar_pp.pp_nt_or_mv_root_ty m xd ntmvr ^ " list" 335 | | Lem _ -> "list " ^Grammar_pp.pp_nt_or_mv_root_ty m xd ntmvr 336 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) File "substs_pp.ml", lines 1400-1412, characters 3-4: 1400 | ...(match m with 1401 | | Caml _ -> 1402 | "(" 1403 | ^ Grammar_pp.pp_nt_or_mv_root_ty m xd subst.sb_that 1404 | ^ "*" ^ Grammar_pp.pp_nontermroot_ty m xd subst.sb_this ... 1409 | ^ Grammar_pp.pp_nt_or_mv_root_ty m xd subst.sb_that 1410 | ^ "*" ^ Grammar_pp.pp_nontermroot_ty m xd subst.sb_this 1411 | ^ ")" 1412 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) File "substs_pp.ml", lines 1747-1876, characters 3-8: 1747 | ...( match m with 1748 | | Ascii _ | Tex _ | Lex _ | Menhir _ -> Auxl.error (Some p.prod_loc) "pp_fv_symterm_list_body" 1749 | | Isa io when io.ppi_isa_primrec -> 1750 | let args = 1751 | String.concat "_" ... 1873 | ("(flat_map (fun (pat_:"^de1i.de1_coq_type_of_pattern^") => match pat_ with " ^ de1i.de1_pattern ^ " => "^pp_body^" end) " 1874 | ^ de1i.de1_compound_id 1875 | ^ ")"), funcs 1876 | ).. Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Coq _|Isa _|Twf _) (However, some guarded clause may match this value.) File "substs_pp.ml", lines 2030-2033, characters 5-6: 2030 | .....(match m with 2031 | | Caml _ -> Grammar_pp.pp_nt_or_mv_root_ty m xd fv.fv_that ^ " list" 2032 | | Lem _ -> " list " ^ Grammar_pp.pp_nt_or_mv_root_ty m xd fv.fv_that 2033 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Coq _|Isa _|Hol _|Twf _|Ascii _|Tex _|Lex _|Menhir _) ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c subrules_pp.ml File "subrules_pp.ml", lines 167-368, characters 8-2: 167 | ........( match m with 168 | | Isa io when io.ppi_isa_primrec -> 169 | let typ = 170 | Auxl.the (Grammar_pp.pp_elements 171 | m xd ((Si_punct "_")::sie) elbu.elb_es true false true true) ^ " list" in ... 365 | [ " %{ TWELF NOT IMPLEMENTED }%"], deps, [] 366 | | Tex _ | Ascii _ | Lex _ | Menhir _ -> Auxl.errorm m "pp_subelement" 367 | 368 | ) Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (Coq _|Isa _) (However, some guarded clause may match this value.) ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c defns.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c ln_transform.ml File "ln_transform.ml", lines 1057-1067, characters 4-7: 1057 | ....match mse with 1058 | | Empty -> 1059 | "0",[] 1060 | | MetaVarExp mv -> 1061 | "1",[] (* FZ is this correct in the general case? *) ... 1064 | | Aux (f1,nt1) -> 1065 | let name = arity_name f1 (Auxl.promote_ntr xd_transformed (Auxl.primary_ntr_of_ntr xd_transformed (fst nt1))) in 1066 | name ^ " " ^ Grammar_pp.pp_nonterm m xd_transformed nt1, 1067 | [name] Warning 8 [partial-match]: this pattern-matching is not exhaustive. Here is an example of a case that is not matched: (NonTermExp _|MetaVarListExp (_, _)|NonTermListExp (_, _)|AuxList (_, _, _)) ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c system_pp.ml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -c main.ml echo Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lex_menhir_pp.cmi transform.cmi term_parser.cmi version.tex Makefile location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx align.cmi bounds.cmi coq_induct.cmi defns.cmi dependency.cmi embed_pp.cmi grammar_typecheck.cmi merge.cmi subrules_pp.cmi substs_pp.cmi system_pp.cmi lex_menhir_pp.cmi transform.cmi term_parser.cmi version.tex ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -v The OCaml native-code compiler, version 4.14.2 Standard library directory: /usr/local/lib/ocaml ocamlfind ocamlopt -package str -package ocamlgraph -linkpkg -w y -g -dtypes -unsafe -inline 9 -o ott.opt location.cmx types.cmx auxl.cmx merge.cmx global_option.cmx grammar_lexer.cmx grammar_parser.cmx version.cmx grammar_pp.cmx parse_table.cmx glr.cmx new_term_parser.cmx term_parser.cmx dependency.cmx bounds.cmx context_pp.cmx quotient_rules.cmx grammar_typecheck.cmx transform.cmx substs_pp.cmx subrules_pp.cmx embed_pp.cmx defns.cmx ln_transform.cmx coq_induct.cmx system_pp.cmx lex_menhir_pp.cmx align.cmx main.cmx ln -s -f ott.opt ott gmake[2]: Leaving directory '/wrkdirs/usr/ports/lang/ott/work/ott-0.33/src' cp ./ott ../bin/ott gmake[1]: Leaving directory '/wrkdirs/usr/ports/lang/ott/work/ott-0.33/src' =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> ott-0.33 depends on file: /usr/local/bin/ocamlc - found =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for ott-0.33 ===> Generating temporary packing list install -s -m 555 /wrkdirs/usr/ports/lang/ott/work/ott-0.33/bin/ott /wrkdirs/usr/ports/lang/ott/work/stage/usr/local/bin ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2025-12-11T14:12:05+0000' 'PKG_NOTE_ports_top_git_hash=62d8b1999233' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=832d5688f656' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for ott-0.33 ===> Building ott-0.33 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for ott-0.33 build of lang/ott | ott-0.33 ended at Thu Dec 11 09:12:26 EST 2025 build time: 00:00:21