=> "/opt/local/bin/bmake" ["-C", "/data/jenkins/workspace/pkgsrc-trunk-x86_64/lang/boomerang", "all", "BATCH=1", "DEPENDS_TARGET=/nonexistent"] ===> Building for boomerang-0.2nb18 cd /tmp/work/lang/boomerang/work/boomerang-20090902 && omake *** omake: reading OMakefiles OMake warning: could not create and/or lock a cache file for /opt/local/lib/omake/Pervasives.om OMake warning: could not create and/or lock a cache file for /opt/local/lib/omake/build/C.om OMake warning: could not create and/or lock a cache file for /opt/local/lib/omake/build/Common.om OMake warning: could not create and/or lock a cache file for /opt/local/lib/omake/configure/Configure.om OMake warning: could not create and/or lock a cache file for /opt/local/lib/omake/build/OCaml.om OMake warning: could not create and/or lock a cache file for /opt/local/lib/omake/build/LaTeX.om --- Checking for ocamlfind... (found /opt/local/bin/ocamlfind) --- Checking for ocamlc.opt... (found /tmp/work/lang/boomerang/work/.buildlink/bin/ocamlc.opt) --- Checking for ocamlopt.opt... (found /tmp/work/lang/boomerang/work/.buildlink/bin/ocamlopt.opt) --- Checking for ocamldep.opt... (found /opt/local/bin/ocamldep.opt) --- Checking for ocamllex.opt... (found /opt/local/bin/ocamllex.opt) --- Checking whether ocamlc understands the "z" warnings... (yes) --- Checking whether ocamlopt can create cmxs plugins... (yes) File OMakefile: line 113, characters 1-24: Warning: old-style foreach expression. This expression should use a => binding. File OMakefile: line 117, characters 1-24: Warning: old-style foreach expression. This expression should use a => binding. --- Checking if ocamldep understands -modules... (yes) File doc/OMakefile: line 10, characters 1-24: Warning: old-style foreach expression. This expression should use a => binding. *** omake: finished reading OMakefiles (0.39 sec) - build common/hbase mapplus.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c mapplus.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase env.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c env.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase misc.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c misc.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase error.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c error.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase src2fcl.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c src2fcl.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase baker.o + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c baker.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase info.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c info.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase memo.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c memo.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase name.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c name.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase int.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -I ../ubase -c int.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src intmapa.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c intmapa.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase uprintf.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -c uprintf.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bdriver.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bdriver.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase safelist.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -c safelist.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src amapblist.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c amapblist.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase rx.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -c rx.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase info.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c info.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/tools src2tex.o + ocamlfind ocamlopt -package unix -dtypes -rectypes -I . -I ../hbase -c src2tex.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf File "src2tex.mll", line 341, characters 24-25: Alert deprecated: Stdlib.& Use (&&) instead. - build src berror.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c berror.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src brx.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c brx.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase src2fcl.o + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c src2fcl.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bannot.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bannot.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bakery.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bakery.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bident.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bident.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bdiff3.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bdiff3.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src toplevel.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c toplevel.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase util.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -c util.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase myMap.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -c myMap.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase rx.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -c rx.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src intmapa.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c intmapa.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase safelist.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -c safelist.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase uprintf.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -c uprintf.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase uarg.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -c uarg.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bcost.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bcost.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bannot.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bannot.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/tools src2f.cmi + ocamlfind ocamlopt -package unix -dtypes -rectypes -I . -I ../hbase -c src2f.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bsyntax.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bsyntax.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase myMap.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -c myMap.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src erx.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c erx.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase prefs.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -c prefs.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src btag.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c btag.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src amapblist.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c amapblist.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bdiff3.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bdiff3.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase util.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -c util.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bsubst.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bsubst.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bsync.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bsync.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bcheck.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bcheck.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bprint.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bprint.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase trace.cmi + ocamlfind ocamlc -dtypes -rectypes -g -I . -c trace.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bstring.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bstring.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src binterp.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c binterp.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src balign.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c balign.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src barx.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c barx.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bcost.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bcost.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src blenses.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c blenses.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase error.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c error.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bvalue.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bvalue.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase uarg.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -c uarg.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bregistry.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bregistry.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src berror.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c berror.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src benv.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c benv.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase prefs.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -c prefs.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf File "prefs.ml", line 283, characters 14-29: 283 | with Failure "int_of_string" -> ^^^^^^^^^^^^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) - build src btag.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c btag.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase trace.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -c trace.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/ubase ubase.cmxa + ocamlfind ocamlopt -dtypes -rectypes -a -o ubase.cmxa safelist.cmx uprintf.cmx util.cmx uarg.cmx prefs.cmx trace.cmx rx.cmx myMap.cmx ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase misc.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c misc.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf File "misc.ml", line 83, characters 14-18: 83 | with (Failure "tl") -> [] ^^^^ Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of this constructor's arguments. They are only for information and may change in future versions. (See manual section 11.5) - build common/hbase mapplus.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c mapplus.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase env.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c env.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase name.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c name.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase int.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c int.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase memo.cmx + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../ubase -c memo.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bident.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bident.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf File "memo.ml", line 43, characters 0-80: 43 | external hash_param : int -> int -> 'a -> int = "caml_hash_univ_param" "noalloc" ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Alert deprecated: [@@noalloc] should be used instead of "noalloc" - build src bsyntax.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bsyntax.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/hbase hbase.cmxa + ocamlfind ocamlopt -dtypes -rectypes -a -o hbase.cmxa error.cmx misc.cmx mapplus.cmx int.cmx info.cmx env.cmx name.cmx memo.cmx src2fcl.cmx baker.cmx ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bprint.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bprint.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/tools src2tex.opt + ocamlfind ocamlopt -package unix -dtypes -rectypes -I . -I ../hbase -o src2tex.opt ../hbase/hbase.cmxa src2tex.cmx -linkpkg ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/tools src2f.opt + ocamlfind ocamlopt -package unix -dtypes -rectypes -I . -I ../hbase -o src2f.opt ../hbase/hbase.cmxa src2f.cmx -linkpkg ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build common/tools baker.opt + ocamlfind ocamlopt -package unix -dtypes -rectypes -I . -I ../hbase -o baker.opt ../hbase/hbase.cmxa ../hbase/baker.cmx -linkpkg ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bsubst.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bsubst.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src brx.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c brx.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src blexer.mll + ../common/tools/src2f blexer.srcl blexer.mll blexer.mll - build src bparser.mly + ../common/tools/src2f bparser.srcy bparser.mly bparser.mly - build src bstring.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bstring.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf File "bstring.ml", line 62, characters 2-13: 62 | String.copy s, 0, String.length s ^^^^^^^^^^^ Alert deprecated: Stdlib.String.copy Strings now immutable: no need to copy - build src erx.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c erx.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf File "erx.ml", line 32, characters 30-48: 32 | let compare (s1:tag) s2 = Pervasives.compare s1 s2 ^^^^^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims - build src bsync.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bsync.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src barx.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c barx.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bakery.o + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bakery.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bparser.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c bparser.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src blexer.cmi + ocamlfind ocamlc -package num,str,unix -dtypes -rectypes -g -I . -I ../common/ubase -I ../common/hbase -c blexer.mli ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build doc main.pdf + pdflatex main This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/pkgsrc) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main.tex LaTeX2e <2025-11-01> L3 programming layer <2026-03-20> No file texdirectives.tex. (/opt/local/share/texmf-dist/tex/latex/base/report.cls Document Class: report 2025/01/22 v1.4n Standard LaTeX document class (/opt/local/share/texmf-dist/tex/latex/base/size12.clo)) (/opt/local/share/texmf-dist/tex/latex/hyperref/hyperref.sty (/opt/local/share/texmf-dist/tex/generic/iftex/iftex.sty) (/opt/local/share/texmf-dist/tex/latex/graphics/keyval.sty) (/opt/local/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty)- build src balign.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c balign.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf (/opt/local/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/opt/local/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty (/opt/local/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/opt/local/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/opt/local/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty))) (/opt/local/share/texmf-dist/tex/latex/hycolor/hycolor.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/nameref.sty (/opt/local/share/texmf-dist/tex/latex/refcount/refcount.sty) (/opt/local/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/opt/local/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/opt/local/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/opt/local/share/texmf-dist/tex/generic/stringenc/stringenc.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/pd1enc.def) (/opt/local/share/texmf-dist/tex/generic/intcalc/intcalc.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/puenc.def) Package hyperref Warning: Values of option `pdfpagemode': (hyperref) * `UseNone' (hyperref) * `UseOutlines' (hyperref) * `UseThumbs' (hyperref) * `FullScreen' (hyperref) * `UseOC' (PDF 1.5) (hyperref) * `UseAttachments' (PDF 1.6) (hyperref) * An empty value disables the option. (hyperref) Unknown value `None' on input line 4072. (/opt/local/share/texmf-dist/tex/latex/url/url.sty) (/opt/local/share/texmf-dist/tex/generic/bitset/bitset.sty (/opt/local/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))) (/opt/local/share/texmf-dist/tex/latex/hyperref/hpdftex.def (/opt/local/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/opt/local/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/opt/local/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/opt/local/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/opt/local/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/opt/local/share/texmf-dist/tex/latex/graphics/graphicx.sty (/opt/local/share/texmf-dist/tex/latex/graphics/graphics.sty (/opt/local/share/texmf-dist/tex/latex/graphics/trig.sty) (/opt/local/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/opt/local/share/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/opt/local/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.c ode.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def) )) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.te x)) (/opt/local/share/texmf-dist/tex/latex/xcolor/xcolor.sty (/opt/local/share/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/opt/local/share/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometri c.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code. tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.c ode.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarith metics.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.co de.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.cod e.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations. code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex ) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.c ode.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.cod e.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex) )) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex) (/opt/local/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.s ty) (/opt/local/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.s ty)) (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/opt/local/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.c ode.tex- build src blenses.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c blenses.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf ) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarytopaths.code.tex))) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.geometric.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. geometric.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.misc.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. misc.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.symbols.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. symbols.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.arrows.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. arrows.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.callouts.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. callouts.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.multipart.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. multipart.code.tex))) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarysnakes.code.tex Package pgf Warning: Snakes have been superseded by decorations. Please use the decoration libraries instead of the snakes library on input line 14. (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.pathmorphing.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code. tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.pathmorphing.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.pathreplacing.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.pathreplacing.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.shapes.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.shapes.code.tex))) (/opt/local/share/texmf-dist/tex/latex/psnfss/palatino.sty)File "blenses.ml", line 244, characters 20-32: 244 | let sigma_arr = Array.create k (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "blenses.ml", line 245, characters 24-36: 245 | let sigma_inv_arr = Array.create k (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. (/opt/local/share/texmf-dist/tex/latex/amsmath/amsmath.styFile "blenses.ml", line 261, characters 24-36: 261 | let sigma_inv_arr = Array.create (Array.length sigma_arr) (-1) in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. For additional information on amsmath, use the `?' option. (/opt/local/share/texmf-dist/tex/latex/amsmath/amstext.sty (/opt/local/share/texmf-dist/tex/latex/amsmath/amsgen.sty)File "blenses.ml", line 397, characters 22-34: 397 | let c_shift = Array.create k i in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. )File "blenses.ml", line 463, characters 20-32: 463 | let u_arr = Array.create k "" in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. (/opt/local/share/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/opt/local/share/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/opt/local/share/texmf-dist/tex/latex/amsfonts/amssymb.sty (/opt/local/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/opt/local/share/texmf-dist/tex/latex/amscls/amsthm.sty) (/opt/local/share/texmf-dist/tex/latex/natbib/natbib.styFile "blenses.ml", line 1013, characters 22-34: 1013 | let r_arr_v = Array.create k "" in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "blenses.ml", line 1088, characters 22-34: 1088 | let s_shift = Array.create k i in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "blenses.ml", line 1089, characters 22-34: 1089 | let v_shift = Array.create k i in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. ) (./src2tex.sty)File "blenses.ml", line 1227, characters 22-34: 1227 | let v_shift = Array.create k i in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. (/opt/local/share/texmf-dist/tex/latex/preprint/fullpage.sty) (./syntax.sty)File "blenses.ml", line 1452, characters 20-32: 1452 | | None -> Array.create k None ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "blenses.ml", line 1455, characters 22-34: 1455 | let s_arr_s = Array.create k "" in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. (./bcprules.styFile "blenses.ml", line 1508, characters 14-26: 1508 | let res = Array.create k Bstring.empty in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. )File "blenses.ml", line 1521, characters 14-26: 1521 | let res = Array.create k Bstring.empty in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. (./local.sty)File "blenses.ml", line 1637, characters 14-26: 1637 | let ats = Array.create k Rx.empty in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. File "blenses.ml", line 1638, characters 14-26: 1638 | let cts = Array.create k Rx.empty in ^^^^^^^^^^^^ Alert deprecated: Stdlib.Array.create Use Array.make/ArrayLabels.make instead. (/opt/local/share/texmf-dist/tex/latex/psnfss/ot1ppl.fd) (/opt/local/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) No file main.aux. (/opt/local/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/opt/local/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/opt/local/share/texmf-dist/tex/latex/amsfonts/umsa.fd) (/opt/local/share/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}{/opt/local/share/texmf-dist/fonts/enc/dvips/bas e/8r.enc} <./pdf/boomerang-logo.pdf>] (/opt/local/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd) Overfull \hbox (20.99419pt too wide) in paragraph at lines 59--60 []$[]$ pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, duplicate ignored \relax l.98 \tableofcontents {} [1] No file main.toc. [2] Chapter 1. [3] LaTeX Warning: Reference `fig:viewupdateterminology' on page 4 undefined on inp ut line 164. [4 <./pdf/arch-basic.pdf>] (/opt/local/share/texmf-dist/tex/latex/psnfss/ts1ppl.fd) [5] [6] LaTeX Warning: Reference `sec:alignment' on page 7 undefined on input line 326. LaTeX Warning: Reference `chap:examples' on page 7 undefined on input line 328. LaTeX Warning: Reference `chap:system' on page 7 undefined on input line 329. Package natbib Warning: Citation `Boomerang07' on page 7 undefined on input lin e 332. Package natbib Warning: Citation `QuotientLenses08' on page 7 undefined on inpu t line 332. Package natbib Warning: Citation `Focal2005' on page 7 undefined on input line 333. Package natbib Warning: Citation `BohannonPierceVaughanTR' on page 7 undefined on input line 333. [7] Chapter 2. (./QuickStart.tex [8] [9] Overfull \hbox (315.50404pt too wide) in paragraph at lines 125--125 []\OT1/pcr/m/n/10.95 ((Core.matches_cex (Core.stype l)) c); counterexample: str ing does not match [ A-Za-z]+ [Hello World] AROUND HERE [!!][] [10] [11] LaTeX Warning: Reference `sec:alignment' on page 12 undefined on input line 241 . Overfull \hbox (72.41434pt too wide) in paragraph at lines 255--255 [] \OT1/pcr/m/n/10.95 let comps : lens = "" | . (newline . )*[] [12] [13] Overfull \hbox (0.14442pt too wide) in paragraph at lines 369--370 [][] \OT1/pcr/m/n/10.95 test swap_many'.get "John Smith; Jane Doe" = "Smith, Jo hn; Doe, Jane"[] [14] Overfull \hbox (13.28441pt too wide) in paragraph at lines 450--450 [] \OT1/pcr/m/n/10.95 marry ::= "(" ln1:LAST ", " fn1:FIRST " & " LAST ", " fn2:FIRST ")"[] [15] Overfull \hbox (6.71442pt too wide) in paragraph at lines 478--478 [] \OT1/pcr/m/n/10.95 | c: newline cs:comps <-> c newline cs[] [16]) (./alignment.tex [17] Chapter 3. [18] Overfull \hbox (6.71442pt too wide) in paragraph at lines 82--82 [] \OT1/pcr/m/n/10.95 let create_comps (chunk:lens) : lens = "" | chunk . (newl ine . chunk)*[] [19] Overfull \hbox (0.9053pt too wide) in paragraph at lines 142--148 \OT1/ppl/m/n/12 and go on[][][][][]. For the last en-try in the view, there is no more un-matched key $[]$ [20] [21] [22] [23] Overfull \hbox (6.71442pt too wide) in paragraph at lines 332--332 [] \OT1/pcr/m/n/10.95 "L" . | "R" . [] ) [24] Chapter 4. Overfull \hbox (4.22766pt too wide) in paragraph at lines 348--354 \OT1/ppl/m/n/12 strings, reg-u-lar ex-pres-sions, can-on-iz-ers, etc.). The con -crete syn-tax is based on an explicitly- (./blexer.tex [25] Overfull \hbox (0.64488pt too wide) in paragraph at lines 58--70 [] [26]) (./bparser.tex (/opt/local/share/texmf-dist/tex/latex/psnfss/omsppl.fd) Overfull \hbox (7.28801pt too wide) in paragraph at lines 43--52 \OT1/ppl/m/n/12 A Boomerang com-pi-la-tion unit con-tains a sin-gle mod-ule dec -la-ra-tion, such as $[]$, LaTeX Warning: Reference `sec:cmdlineargs' on page 27 undefined on input line 5 6. [27] [28] (/opt/local/share/texmf-dist/tex/latex/psnfss/omspcr.fd) [29] [30] [31] [32] [33]) LaTeX Warning: Reference `tab:postfix' on page 34 undefined on input line 375. Overfull \hbox (1.84485pt too wide) in paragraph at lines 410--421 [][] [34] [35] [36] Chapter 5. LaTeX Warning: Reference `sec:unittests' on page 37 undefined on input line 466 . Package natbib Warning: Citation `Boomerang07' on page 37 undefined on input li ne 469. Package natbib Warning: Citation `QuotientLenses08' on page 37 undefined on inp ut line 469. (./core.tex [37] Overfull \hbox (5.31805pt too wide) in paragraph at lines 37--40 [][] \OT1/ppl/m/n/12 These op-er-a-tors are the stan-dard func-tions on boolea ns. Overfull \hbox (6.60173pt too wide) in paragraph at lines 50--52 [][] \OT1/ppl/m/n/12 The op-er-a-tor $[]$ con-verts an in-te-ger to the cor-re -spond- Overfull \hbox (7.62216pt too wide) in paragraph at lines 71--72 [][] \OT1/ppl/m/n/12 These op-er-a-tors are the stan-dard arith-metic func- [38]- build src bparser.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bparser.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build src bvalue.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bvalue.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf [39] Overfull \hbox (34.5422pt too wide) in paragraph at lines 198--203 \OT1/ppl/m/n/12 loaded sym-bols $[]$, $[]$, and $[]$, as well as it-er-a-tions $[]$ and $[]$ all desugar into $[]$ [40] [41] [42] Overfull \hbox (7.50682pt too wide) in paragraph at lines 360--365 \OT1/ppl/m/n/12 used by the match func-tions ($[]$ and $[]$). The $[]$ Overfull \hbox (19.8544pt too wide) in paragraph at lines 368--368 [] \OT1/pcr/m/n/10.95 type predicate = Threshold of (t:int where land (bgeq t 0 ) (bleq t 100))[] Overfull \hbox (26.4244pt too wide) in paragraph at lines 378--378 [] \OT1/pcr/m/n/10.95 let greedy (t:int where land (bgeq t 0) (bleq t 100)) (na me:string) : tag[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 382--382 [] \OT1/pcr/m/n/10.95 let setlike (t:int where land (bgeq t 0) (bleq t 100)) (n ame:string) : tag[] [43] Overfull \hbox (30.96483pt too wide) in paragraph at lines 421--424 \OT1/ppl/m/n/12 an-no-tated reg-u-lar ex-pres-sions. The over-loaded in-fix sym -bol $[]$ desug-ars into $[]$ Overfull \hbox (65.84435pt too wide) in paragraph at lines 438--438 [] \OT1/pcr/m/n/10.95 (a2:aregexp where land (disjoint_cex (r xdrop a1) (rxdrop a2))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 439--439 [] \OT1/pcr/m/n/10.95 (aregexp_compati ble_cex a1 a2))[] [44] Overfull \hbox (46.13437pt too wide) in paragraph at lines 474--475 [][] \OT1/pcr/m/n/10.95 let aregexp_match (t:tag) (a:aregexp where aregexp_matc h_compatible_cex t a)[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 489--489 [] \OT1/pcr/m/n/10.95 test no_chunks (aregexp_match (positional "") (rxlift [a- z])) = false[] [45] Overfull \hbox (9.12376pt too wide) in paragraph at lines 566--569 [][] \OT1/ppl/m/n/12 The $[]$ func-tion re- Overfull \hbox (46.13437pt too wide) in paragraph at lines 570--571 [][] \OT1/pcr/m/n/10.95 let mtype_match_compatible_cex : tag -> skeleton_set -> resource_set -> bool[] Overfull \hbox (0.41084pt too wide) in paragraph at lines 574--577 [][] \OT1/ppl/m/n/12 The $[]$ func-tion re-turns $[]$ if the two [46] Overfull \hbox (44.75479pt too wide) in paragraph at lines 627--630 \OT1/ppl/m/n/12 a given $[]$ and $[]$. The $[]$ no-ta-tion desug-ars into $[]$. Overfull \hbox (13.28441pt too wide) in paragraph at lines 633--633 [] \OT1/pcr/m/n/10.95 (land (land (equiv_cex (stype l) S) (equiv_cex (vtype l ) V)) (bij l))[] [47] Overfull \hbox (13.28441pt too wide) in paragraph at lines 720--721 [][] \OT1/pcr/m/n/10.95 let set (R:regexp) (s:string) : (l:lens where in_lens_t ype l R (str s))[] [48] Overfull \hbox (1.86293pt too wide) in paragraph at lines 761--765 [][] \OT1/ppl/m/n/12 The $[]$ op-er-a-tor also forms the union [49] Overfull \hbox (6.71442pt too wide) in paragraph at lines 804--804 [] \OT1/pcr/m/n/10.95 : (l:lens where in_lens_type l (regexp_concat (stype l1 ) (stype l2))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 805--805 [] \OT1/pcr/m/n/10.95 (regexp_concat (vtype l1 ) (vtype l2)))[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 849--849 [] \OT1/pcr/m/n/10.95 : (l:lens where in_lens_type l (regexp_concat (stype l1 ) (stype l2))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 850--850 [] \OT1/pcr/m/n/10.95 (regexp_concat (vtype l2 ) (vtype l1)))[] [50] [51] Overfull \hbox (13.28441pt too wide) in paragraph at lines 940--940 [] \OT1/pcr/m/n/10.95 (land (disjoint_cex (stype l) (regexp_iter ( stype l) 2 2))[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 942--942 [] \OT1/pcr/m/n/10.95 (disjoint_cex (vtype l) (regexp_iter (v type l) 2 2))))))[] [52] [53] Overfull \hbox (0.39801pt too wide) in paragraph at lines 1091--1094 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the ``rep-re-sen-ta-tive'' [54] Overfull \hbox (8.38963pt too wide) in paragraph at lines 1103--1106 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the ``quo-tiented'' type com - Overfull \hbox (6.20284pt too wide) in paragraph at lines 1154--1157 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the $[]$ com-po-nent of a ca n-on-izer. The record- [55] Overfull \hbox (11.6664pt too wide) in paragraph at lines 1174--1177 [][] \OT1/ppl/m/n/12 The $[]$ op-er-a-tor con-cate-nates can-on-iz-ers. Only Overfull \hbox (13.28441pt too wide) in paragraph at lines 1182--1182 [] \OT1/pcr/m/n/10.95 land (splittable_cex (uncanonized_type cn1) (uncanoni zed_type cn2))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1184--1184 [] \OT1/pcr/m/n/10.95 (not (land (rel_is_id (cnrel cn1)) (rel_is_id (cnrel cn2))))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1185--1185 [] \OT1/pcr/m/n/10.95 (splittable_cex (canonized_type cn1) (canoniz ed_type cn2))))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 1187--1187 [] \OT1/pcr/m/n/10.95 (regexp_concat (uncanonized_type cn1) (uncanoni zed_type cn2))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 1202--1202 [] \OT1/pcr/m/n/10.95 (disjoint_cex (canoniz ed_type cn1)[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1203--1203 [] \OT1/pcr/m/n/10.95 (canoniz ed_type cn2))))[] [56] Package natbib Warning: Citation `QuotientLenses08' on page 57 undefined on inp ut line 1268. [57] [58]) (./prelude.tex [59] Overfull \hbox (11.75024pt too wide) in paragraph at lines 59--61 [][] \OT1/ppl/m/n/12 The reg-u-lar ex-pres-sions $[]$, $[]$, and $[]$ de-note sets of whites- [60] Overfull \hbox (41.4874pt too wide) in paragraph at lines 110--113 [][] \OT1/ppl/m/n/12 The reg-u-lar ex-pres-sion $[]$ and $[]$ [61] Overfull \hbox (19.8544pt too wide) in paragraph at lines 196--197 [][] \OT1/pcr/m/n/10.95 let merge_with_sep (R:regexp) (s:string) : (lens in (R . s . R) <-> R) =[] [62] Overfull \hbox (138.11426pt too wide) in paragraph at lines 250--251 [][] \OT1/pcr/m/n/10.95 let qconst (C:regexp) (A:regexp) (a:string where matche s A a) (c:string where matches C c)[] [63] [64] Overfull \hbox (16.46608pt too wide) in paragraph at lines 387--389 [][] \OT1/ppl/m/n/12 Con-cate-nates a list of reg-u-lar ex-pres-sions or lense s, [65] Overfull \hbox (32.99438pt too wide) in paragraph at lines 412--413 [][] \OT1/pcr/m/n/10.95 test get (concat_lenses #{lens}[copy "a";copy "b";copy "c"]) "abc" = "abc"[] Overfull \hbox (42.97585pt too wide) in paragraph at lines 416--420 [][] \OT1/ppl/m/n/12 The func-tion $[]$ [66] Overfull \hbox (13.28441pt too wide) in paragraph at lines 471--472 [][] \OT1/pcr/m/n/10.95 test create (union_lenses #{lens}["z" <-> "a"; (copy [a -c])]) "a" = "z"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 473--473 [] \OT1/pcr/m/n/10.95 test get (union_lenses #{lens}[copy "a";copy "b";copy "c" ]) "a" = "a"[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 490--490 [] \OT1/pcr/m/n/10.95 test get (disj_union_lenses #{lens}[copy "a";copy "b";cop y "c"]) "a" = "a"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 517--517 [] \OT1/pcr/m/n/10.95 concat_regexps (List.permute{regexp} sigma ( vtypes ls)))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 520--521 [][] \OT1/pcr/m/n/10.95 test stype (lens_permute #{int}[1;0] #{lens}["abc";"def "]) = "abcdef"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 522--522 [] \OT1/pcr/m/n/10.95 test vtype (lens_permute #{int}[1;0] #{lens}["abc";"def"] ) = "defabc"[] [67] Package natbib Warning: Citation `QuotientLens08' on page 68 undefined on input line 536. Overfull \hbox (92.12431pt too wide) in paragraph at lines 540--540 [] \OT1/pcr/m/n/10.95 disjoint_regexps (List.map{regexp}{regexp} (fun (r:r egexp) -> r - EPSILON) rl)[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 546--546 [] \OT1/pcr/m/n/10.95 (rl:aregexp List.t where sortable (List.map{aregexp}{re gexp} rxdrop rl))[] Overfull \hbox (210.38417pt too wide) in paragraph at lines 547--547 [] \OT1/pcr/m/n/10.95 : (cn:canonizer where (uncanonized_type cn = (union_regex ps (List.map{aregexp}{regexp} rxdrop rl))* )[] Overfull \hbox (184.1042pt too wide) in paragraph at lines 548--548 [] \OT1/pcr/m/n/10.95 && (canonized_type cn = concat_regexps (List.map{aregexp}{regexp} rxdrop rl)))[] Overfull \hbox (111.83429pt too wide) in paragraph at lines 582--583 [][] \OT1/pcr/m/n/10.95 test (iterate{regexp} 3 (fun (x:regexp) -> x | "(".x.") ") [a-z]).get "((b))" = "((b))"[] Overfull \hbox (124.97427pt too wide) in paragraph at lines 584--584 [] \OT1/pcr/m/n/10.95 test (iterate{regexp} 3 (fun (x:regexp) -> x | "(".x.")") [a-z]).get "((((b))))" = error[] [68]) (./list.tex Overfull \hbox (24.20537pt too wide) in paragraph at lines 45--47 [][] \OT1/ppl/m/n/12 Boomerang does not sup-port re-cur-sion. How-ever, we pro -vide the $[]$ [69] [70] Overfull \hbox (55.7445pt too wide) in paragraph at lines 142--148 \OT1/ppl/m/n/12 ment in the per-muted list. A per-mu-ta-tion for the list $[]$ [71] Overfull \hbox (0.14442pt too wide) in paragraph at lines 200--200 [] \OT1/pcr/m/n/10.95 (Cons{string}("a",Cons{string}("b",Cons{string}("c",Nil {string}))))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 201--201 [] \OT1/pcr/m/n/10.95 = (Cons{string}("a",Cons{string}("c",Cons{string}("b",Nil {string}))))[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 216--216 [] \OT1/pcr/m/n/10.95 test permutations 2 = (Cons{int t}(Cons{int}(0,Cons{int}( 1,Nil{int})),[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 217--217 [] \OT1/pcr/m/n/10.95 Cons{int t}(Cons{int}(1,Cons{int}( 0,Nil{int})),[] Overfull \hbox (245.36526pt too wide) in paragraph at lines 221--224 []$\OT1/ppl/m/n/12 , cal-cu-lat-ing the per-mu-ta-tion $[]$ such that $[][][][] []$ [72] Overfull \hbox (26.4244pt too wide) in paragraph at lines 233--234 [][] \OT1/pcr/m/n/10.95 test sort{int} minus (Cons{int}(3, Cons{int}(4, Cons{in t}(1, Cons{int}(0,[] Overfull \hbox (26.4244pt too wide) in paragraph at lines 235--235 [] \OT1/pcr/m/n/10.95 Nil{int}))))) = (Cons{int}(0, Cons{int}(1, Cons{int} (3, Cons{int}(4,[] ) (./sort.tex Overfull \hbox (52.70436pt too wide) in paragraph at lines 50--50 [] \OT1/pcr/m/n/10.95 List.for_all{regexp List.t} (fun (pi:regexp List.t) -> concatable pi) perms[] Overfull \hbox (46.13437pt too wide) in paragraph at lines 51--51 [] \OT1/pcr/m/n/10.95 && disjoint_regexps (List.map{regexp List.t}{regexp} co ncat_regexps perms)[] [73] Overfull \hbox (59.27435pt too wide) in paragraph at lines 74--75 [][] \OT1/pcr/m/n/10.95 let l3 : (lens in ("abc" | "acb" | "bac" | "bca" | "cab " | "cba") <-> "abc") =[] Overfull \hbox (52.70436pt too wide) in paragraph at lines 90--90 [] \OT1/pcr/m/n/10.95 (ls:lens List.t where perm_sortable (stypes ls) && con catable (vtypes ls))[] Overfull \hbox (98.6943pt too wide) in paragraph at lines 91--91 [] \OT1/pcr/m/n/10.95 : (lens in union_regexps (perm_regexps (stypes ls)) <-> concat_regexps (vtypes ls))[] Overfull \hbox (39.56438pt too wide) in paragraph at lines 92--92 [] \OT1/pcr/m/n/10.95 = left_quot (canonizer_of_lens (perm_sort (stypes ls))) (concat_lenses ls)[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 103--103 [] \OT1/pcr/m/n/10.95 (ls:lens List.t where sortable (stypes ls) && concatab le (vtypes ls))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 104--104 [] \OT1/pcr/m/n/10.95 : (lens in (union_regexps (stypes ls))* <-> concat_regex ps (vtypes ls))[] [74] Overfull \hbox (19.8544pt too wide) in paragraph at lines 126--126 [] \OT1/pcr/m/n/10.95 && splittable_cex (concat_regexps (vtypes ls )) (vtype l)* )[] Overfull \hbox (85.55432pt too wide) in paragraph at lines 131--131 [] \OT1/pcr/m/n/10.95 canonizer_of_lens (partition ((union_regexps (stypes l s)) - EPSILON) (stype l))[] Overfull \hbox (170.96422pt too wide) in paragraph at lines 137--138 [][] \OT1/pcr/m/n/10.95 test (partition_sort_concat #{lens}[copy [A-Z]; copy [0 -9]] (copy [a-z])).get "aBc3d" = "B3acd"[] Overfull \hbox (236.66414pt too wide) in paragraph at lines 139--139 [] \OT1/pcr/m/n/10.95 test (partition_sort_concat #{lens}[copy [A-Z]; copy [0-9 ]] (copy [a-z])).put "Z9xyz" into "A1" = "Z9xyz"[] ) (./prefs.tex Overfull \hbox (6.71442pt too wide) in paragraph at lines 14--15 [][] \OT1/pcr/m/n/10.95 let create_bool (name:string) (default:bool) (doc:strin g) : bool_prefs[] Overfull \hbox (46.13437pt too wide) in paragraph at lines 38--39 [][] \OT1/pcr/m/n/10.95 let create_string (name:string) (default:string) (doc:s tring) : string_prefs[] [75] Overfull \hbox (0.14442pt too wide) in paragraph at lines 50--51 [][] \OT1/pcr/m/n/10.95 let create_string_list (name:string) (doc:string) : str ing_list_prefs[] ) (./sys.tex [76]) [77] Chapter 6. Overfull \hbox (46.13437pt too wide) in paragraph at lines 498--498 [] \OT1/pcr/m/n/10.95 or boomerang M.boom [N.boom...] [options] : run unit tests for M, N, ...[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 521--522 [][]\OT1/pcr/m/n/10.95 boomerang get QuickStart.comps_cmdline comps-conc.txt -o comps-abs.txt[] [78] [79] [80] [81] Chapter 7. No file main.bbl. Package natbib Warning: There were undefined citations. [82] (./main.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `main.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information) Output written on main.pdf (83 pages, 332860 bytes). Transcript written on main.log. - build src blexer.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c blexer.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build doc main.pdf + bibtex main This is BibTeX, Version 0.99e (TeX Live 2026/pkgsrc) The top-level auxiliary file: main.aux The style file: plainnat.bst I couldn't open database file ../../writing/papers/harmony.bib ---line 118 of file main.aux : \bibdata{../../writing/papers/harmony : ,../../writing/papers/onlybcpshouldmodify/bcp} I'm skipping whatever remains of this command I found no database files---while reading file main.aux Warning--I didn't find a database entry for "Boomerang07" Warning--I didn't find a database entry for "QuotientLenses08" Warning--I didn't find a database entry for "Focal2005" Warning--I didn't find a database entry for "BohannonPierceVaughanTR" Warning--I didn't find a database entry for "QuotientLens08" (There were 2 error messages) File "blexer.srcl", line 313, characters 11-25: Alert deprecated: Stdlib.Char.uppercase Use Char.uppercase_ascii instead. - build doc main.pdf + pdflatex main This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/pkgsrc) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main.tex LaTeX2e <2025-11-01> L3 programming layer <2026-03-20> No file texdirectives.tex. (/opt/local/share/texmf-dist/tex/latex/base/report.cls Document Class: report 2025/01/22 v1.4n Standard LaTeX document class (/opt/local/share/texmf-dist/tex/latex/base/size12.clo)) (/opt/local/share/texmf-dist/tex/latex/hyperref/hyperref.sty (/opt/local/share/texmf-dist/tex/generic/iftex/iftex.sty) (/opt/local/share/texmf-dist/tex/latex/graphics/keyval.sty) (/opt/local/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/opt/local/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/opt/local/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty (/opt/local/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty)- build src bregistry.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bregistry.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf (/opt/local/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/opt/local/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty))) (/opt/local/share/texmf-dist/tex/latex/hycolor/hycolor.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/nameref.sty (/opt/local/share/texmf-dist/tex/latex/refcount/refcount.sty) (/opt/local/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/opt/local/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/opt/local/share/texmf-dist/tex/latex/etoolbox/etoolbox.styFile "bregistry.ml", line 224, characters 20-39: 224 | try_name (String.uncapitalize modl) ^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uncapitalize Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. File "bregistry.ml", line 253, characters 2-19: 253 | String.capitalize (chop_ext (Filename.basename path)) ^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.capitalize Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. )File "bregistry.ml", line 286, characters 31-50: 286 | | None -> safe_find (String.uncapitalize modl) ^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uncapitalize Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. (/opt/local/share/texmf-dist/tex/generic/stringenc/stringenc.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/pd1enc.def) (/opt/local/share/texmf-dist/tex/generic/intcalc/intcalc.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/puenc.def) Package hyperref Warning: Values of option `pdfpagemode': (hyperref) * `UseNone' (hyperref) * `UseOutlines' (hyperref) * `UseThumbs' (hyperref) * `FullScreen' (hyperref) * `UseOC' (PDF 1.5) (hyperref) * `UseAttachments' (PDF 1.6) (hyperref) * An empty value disables the option. (hyperref) Unknown value `None' on input line 4072. (/opt/local/share/texmf-dist/tex/latex/url/url.sty) (/opt/local/share/texmf-dist/tex/generic/bitset/bitset.sty (/opt/local/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))) (/opt/local/share/texmf-dist/tex/latex/hyperref/hpdftex.def (/opt/local/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/opt/local/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/opt/local/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/opt/local/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/opt/local/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/opt/local/share/texmf-dist/tex/latex/graphics/graphicx.sty (/opt/local/share/texmf-dist/tex/latex/graphics/graphics.sty (/opt/local/share/texmf-dist/tex/latex/graphics/trig.sty) (/opt/local/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/opt/local/share/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/opt/local/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.c ode.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def) )) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.te x)) (/opt/local/share/texmf-dist/tex/latex/xcolor/xcolor.sty- build src benv.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c benv.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf - build lenses prelude.cmi + ocamlfind ocamlopt -dtypes -rectypes -I . -I ../src -I ../common/ubase -I ../common/hbase -c prelude.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf (/opt/local/share/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/opt/local/share/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometri c.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code. tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.c ode.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarith metics.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.texFile "prelude.ml", line 30, characters 10-24: 30 | let (^) = Pervasives.(^) ^^^^^^^^^^^^^^ Alert deprecated: module Stdlib.Pervasives Use Stdlib instead. If you need to stay compatible with OCaml < 4.07, you can use the stdlib-shims library: https://github.com/ocaml/stdlib-shims )) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.co de.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.cod e.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations. code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex ) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.c ode.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.cod e.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex) )) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex) (/opt/local/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.s ty) (/opt/local/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.s ty)) (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/opt/local/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.c ode.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)- build src bcheck.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bcheck.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarytopaths.code.tex))) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.geometric.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. geometric.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.misc.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. misc.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.symbols.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. symbols.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.arrows.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. arrows.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.callouts.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. callouts.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.multipart.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. multipart.code.tex))) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarysnakes.code.tex Package pgf Warning: Snakes have been superseded by decorations. Please use the decoration libraries instead of the snakes library on input line 14. (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.pathmorphing.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code. tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.pathmorphing.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.pathreplacing.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.pathreplacing.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.shapes.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.shapes.code.tex))) (/opt/local/share/texmf-dist/tex/latex/psnfss/palatino.sty) (/opt/local/share/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/opt/local/share/texmf-dist/tex/latex/amsmath/amstext.sty (/opt/local/share/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/opt/local/share/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/opt/local/share/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/opt/local/share/texmf-dist/tex/latex/amsfonts/amssymb.sty (/opt/local/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/opt/local/share/texmf-dist/tex/latex/amscls/amsthm.sty) (/opt/local/share/texmf-dist/tex/latex/natbib/natbib.sty) (./src2tex.sty) (/opt/local/share/texmf-dist/tex/latex/preprint/fullpage.sty) (./syntax.sty) (./bcprules.sty) (./local.sty) (/opt/local/share/texmf-dist/tex/latex/psnfss/ot1ppl.fd) (/opt/local/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./main.aux) (./main.out) (./main.out) (/opt/local/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/opt/local/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/opt/local/share/texmf-dist/tex/latex/amsfonts/umsa.fd) (/opt/local/share/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}{/opt/local/share/texmf-dist/fonts/enc/dvips/bas e/8r.enc} <./pdf/boomerang-logo.pdf>] (/opt/local/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd) Overfull \hbox (20.99419pt too wide) in paragraph at lines 59--60 []$[]$ pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, duplicate ignored \relax l.98 \tableofcontents {} [1] (./main.toc [2] [3]) [4] Chapter 1. [5] [6 <./pdf/arch-basic.pdf>] (/opt/local/share/texmf-dist/tex/latex/psnfss/ts1ppl.fd) [7] [8] Package natbib Warning: Citation `Boomerang07' on page 9 undefined on input lin e 332. Package natbib Warning: Citation `QuotientLenses08' on page 9 undefined on inpu t line 332. Package natbib Warning: Citation `Focal2005' on page 9 undefined on input line 333. Package natbib Warning: Citation `BohannonPierceVaughanTR' on page 9 undefined on input line 333. [9] Chapter 2. (./QuickStart.tex [10] [11] Overfull \hbox (315.50404pt too wide) in paragraph at lines 125--125 []\OT1/pcr/m/n/10.95 ((Core.matches_cex (Core.stype l)) c); counterexample: str ing does not match [ A-Za-z]+ [Hello World] AROUND HERE [!!][] [12] [13] Overfull \hbox (72.41434pt too wide) in paragraph at lines 255--255 [] \OT1/pcr/m/n/10.95 let comps : lens = "" | . (newline . )*[] [14] [15] Overfull \hbox (0.14442pt too wide) in paragraph at lines 369--370 [][] \OT1/pcr/m/n/10.95 test swap_many'.get "John Smith; Jane Doe" = "Smith, Jo hn; Doe, Jane"[] [16] Overfull \hbox (13.28441pt too wide) in paragraph at lines 450--450 [] \OT1/pcr/m/n/10.95 marry ::= "(" ln1:LAST ", " fn1:FIRST " & " LAST ", " fn2:FIRST ")"[] [17] Overfull \hbox (6.71442pt too wide) in paragraph at lines 478--478 [] \OT1/pcr/m/n/10.95 | c: newline cs:comps <-> c newline cs[] [18]) (./alignment.tex [19] Chapter 3. [20] Overfull \hbox (6.71442pt too wide) in paragraph at lines 82--82 [] \OT1/pcr/m/n/10.95 let create_comps (chunk:lens) : lens = "" | chunk . (newl ine . chunk)*[] [21] Overfull \hbox (0.9053pt too wide) in paragraph at lines 142--148 \OT1/ppl/m/n/12 and go on[][][][][]. For the last en-try in the view, there is no more un-matched key $[]$ [22] [23] [24] [25] Overfull \hbox (6.71442pt too wide) in paragraph at lines 332--332 [] \OT1/pcr/m/n/10.95 "L" . | "R" . [] ) [26] Chapter 4. Overfull \hbox (4.22766pt too wide) in paragraph at lines 348--354 \OT1/ppl/m/n/12 strings, reg-u-lar ex-pres-sions, can-on-iz-ers, etc.). The con -crete syn-tax is based on an explicitly- (./blexer.tex [27] Overfull \hbox (0.64488pt too wide) in paragraph at lines 58--70 [] [28]) (./bparser.tex (/opt/local/share/texmf-dist/tex/latex/psnfss/omsppl.fd) Overfull \hbox (7.28801pt too wide) in paragraph at lines 43--52 \OT1/ppl/m/n/12 A Boomerang com-pi-la-tion unit con-tains a sin-gle mod-ule dec -la-ra-tion, such as $[]$, [29] [30] (/opt/local/share/texmf-dist/tex/latex/psnfss/omspcr.fd) [31] [32] [33]- build src binterp.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c binterp.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf [34] [35])File "binterp.ml", line 57, characters 19-21: 57 | (fun r qs -> r or (Qid.id_prefix (G.parse_qid qs) ms)) ^^ Alert deprecated: Stdlib.or Use (||) instead. Overfull \hbox (1.84485pt too wide) in paragraph at lines 410--421 [][] [36] [37] [38] Chapter 5. Package natbib Warning: Citation `Boomerang07' on page 39 undefined on input li ne 469. Package natbib Warning: Citation `QuotientLenses08' on page 39 undefined on inp ut line 469. (./core.tex [39] Overfull \hbox (5.31805pt too wide) in paragraph at lines 37--40 [][] \OT1/ppl/m/n/12 These op-er-a-tors are the stan-dard func-tions on boolea ns. Overfull \hbox (6.60173pt too wide) in paragraph at lines 50--52 [][] \OT1/ppl/m/n/12 The op-er-a-tor $[]$ con-verts an in-te-ger to the cor-re -spond- Overfull \hbox (7.62216pt too wide) in paragraph at lines 71--72 [][] \OT1/ppl/m/n/12 These op-er-a-tors are the stan-dard arith-metic func- [40] [41] Overfull \hbox (34.5422pt too wide) in paragraph at lines 198--203 \OT1/ppl/m/n/12 loaded sym-bols $[]$, $[]$, and $[]$, as well as it-er-a-tions $[]$ and $[]$ all desugar into $[]$ [42] [43] [44] Overfull \hbox (7.50682pt too wide) in paragraph at lines 360--365 \OT1/ppl/m/n/12 used by the match func-tions ($[]$ and $[]$). The $[]$ Overfull \hbox (19.8544pt too wide) in paragraph at lines 368--368 [] \OT1/pcr/m/n/10.95 type predicate = Threshold of (t:int where land (bgeq t 0 ) (bleq t 100))[] Overfull \hbox (26.4244pt too wide) in paragraph at lines 378--378 [] \OT1/pcr/m/n/10.95 let greedy (t:int where land (bgeq t 0) (bleq t 100)) (na me:string) : tag[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 382--382 [] \OT1/pcr/m/n/10.95 let setlike (t:int where land (bgeq t 0) (bleq t 100)) (n ame:string) : tag[] [45] Overfull \hbox (30.96483pt too wide) in paragraph at lines 421--424 \OT1/ppl/m/n/12 an-no-tated reg-u-lar ex-pres-sions. The over-loaded in-fix sym -bol $[]$ desug-ars into $[]$ Overfull \hbox (65.84435pt too wide) in paragraph at lines 438--438 [] \OT1/pcr/m/n/10.95 (a2:aregexp where land (disjoint_cex (r xdrop a1) (rxdrop a2))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 439--439 [] \OT1/pcr/m/n/10.95 (aregexp_compati ble_cex a1 a2))[] [46] Overfull \hbox (46.13437pt too wide) in paragraph at lines 474--475 [][] \OT1/pcr/m/n/10.95 let aregexp_match (t:tag) (a:aregexp where aregexp_matc h_compatible_cex t a)[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 489--489 [] \OT1/pcr/m/n/10.95 test no_chunks (aregexp_match (positional "") (rxlift [a- z])) = false[] [47] Overfull \hbox (9.12376pt too wide) in paragraph at lines 566--569 [][] \OT1/ppl/m/n/12 The $[]$ func-tion re- Overfull \hbox (46.13437pt too wide) in paragraph at lines 570--571 [][] \OT1/pcr/m/n/10.95 let mtype_match_compatible_cex : tag -> skeleton_set -> resource_set -> bool[] Overfull \hbox (0.41084pt too wide) in paragraph at lines 574--577 [][] \OT1/ppl/m/n/12 The $[]$ func-tion re-turns $[]$ if the two [48] Overfull \hbox (44.75479pt too wide) in paragraph at lines 627--630 \OT1/ppl/m/n/12 a given $[]$ and $[]$. The $[]$ no-ta-tion desug-ars into $[]$. Overfull \hbox (13.28441pt too wide) in paragraph at lines 633--633 [] \OT1/pcr/m/n/10.95 (land (land (equiv_cex (stype l) S) (equiv_cex (vtype l ) V)) (bij l))[] [49] Overfull \hbox (13.28441pt too wide) in paragraph at lines 720--721 [][] \OT1/pcr/m/n/10.95 let set (R:regexp) (s:string) : (l:lens where in_lens_t ype l R (str s))[] [50] Overfull \hbox (1.86293pt too wide) in paragraph at lines 761--765 [][] \OT1/ppl/m/n/12 The $[]$ op-er-a-tor also forms the union [51]- build src bdriver.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c bdriver.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf Overfull \hbox (6.71442pt too wide) in paragraph at lines 804--804 [] \OT1/pcr/m/n/10.95 : (l:lens where in_lens_type l (regexp_concat (stype l1 ) (stype l2))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 805--805 [] \OT1/pcr/m/n/10.95 (regexp_concat (vtype l1 ) (vtype l2)))[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 849--849 [] \OT1/pcr/m/n/10.95 : (l:lens where in_lens_type l (regexp_concat (stype l1 ) (stype l2))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 850--850 [] \OT1/pcr/m/n/10.95 (regexp_concat (vtype l2 ) (vtype l1)))[] [52] [53] Overfull \hbox (13.28441pt too wide) in paragraph at lines 940--940 [] \OT1/pcr/m/n/10.95 (land (disjoint_cex (stype l) (regexp_iter ( stype l) 2 2))[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 942--942 [] \OT1/pcr/m/n/10.95 (disjoint_cex (vtype l) (regexp_iter (v type l) 2 2))))))[] [54]File "bdriver.ml", line 46, characters 15-34: 46 | let n_base = String.uncapitalize (Bregistry.modl_of_path n) in ^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uncapitalize Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. File "bdriver.ml", line 47, characters 14-33: 47 | let m_low = String.uncapitalize m_str in ^^^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.uncapitalize Use String.uncapitalize_ascii/StringLabels.uncapitalize_ascii instead. [55] Overfull \hbox (0.39801pt too wide) in paragraph at lines 1091--1094 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the ``rep-re-sen-ta-tive'' [56] Overfull \hbox (8.38963pt too wide) in paragraph at lines 1103--1106 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the ``quo-tiented'' type com - Overfull \hbox (6.20284pt too wide) in paragraph at lines 1154--1157 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the $[]$ com-po-nent of a ca n-on-izer. The record- [57] Overfull \hbox (11.6664pt too wide) in paragraph at lines 1174--1177 [][] \OT1/ppl/m/n/12 The $[]$ op-er-a-tor con-cate-nates can-on-iz-ers. Only Overfull \hbox (13.28441pt too wide) in paragraph at lines 1182--1182 [] \OT1/pcr/m/n/10.95 land (splittable_cex (uncanonized_type cn1) (uncanoni zed_type cn2))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1184--1184 [] \OT1/pcr/m/n/10.95 (not (land (rel_is_id (cnrel cn1)) (rel_is_id (cnrel cn2))))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1185--1185 [] \OT1/pcr/m/n/10.95 (splittable_cex (canonized_type cn1) (canoniz ed_type cn2))))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 1187--1187 [] \OT1/pcr/m/n/10.95 (regexp_concat (uncanonized_type cn1) (uncanoni zed_type cn2))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 1202--1202 [] \OT1/pcr/m/n/10.95 (disjoint_cex (canoniz ed_type cn1)[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1203--1203 [] \OT1/pcr/m/n/10.95 (canoniz ed_type cn2))))[] [58]- build src toplevel.cmx + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c toplevel.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf Package natbib Warning: Citation `QuotientLenses08' on page 59 undefined on inp ut line 1268. [59] [60]) (./prelude.tex [61] Overfull \hbox (11.75024pt too wide) in paragraph at lines 59--61 [][] \OT1/ppl/m/n/12 The reg-u-lar ex-pres-sions $[]$, $[]$, and $[]$ de-note sets of whites- [62]File "toplevel.ml", line 333, characters 17-34: 333 | else Some (String.capitalize basename) ^^^^^^^^^^^^^^^^^ Alert deprecated: Stdlib.String.capitalize Use String.capitalize_ascii/StringLabels.capitalize_ascii instead. Overfull \hbox (41.4874pt too wide) in paragraph at lines 110--113 [][] \OT1/ppl/m/n/12 The reg-u-lar ex-pres-sion $[]$ and $[]$ [63] Overfull \hbox (19.8544pt too wide) in paragraph at lines 196--197 [][] \OT1/pcr/m/n/10.95 let merge_with_sep (R:regexp) (s:string) : (lens in (R . s . R) <-> R) =[] [64] Overfull \hbox (138.11426pt too wide) in paragraph at lines 250--251 [][] \OT1/pcr/m/n/10.95 let qconst (C:regexp) (A:regexp) (a:string where matche s A a) (c:string where matches C c)[] [65] [66] Overfull \hbox (16.46608pt too wide) in paragraph at lines 387--389 [][] \OT1/ppl/m/n/12 Con-cate-nates a list of reg-u-lar ex-pres-sions or lense s, [67] Overfull \hbox (32.99438pt too wide) in paragraph at lines 412--413 [][] \OT1/pcr/m/n/10.95 test get (concat_lenses #{lens}[copy "a";copy "b";copy "c"]) "abc" = "abc"[] Overfull \hbox (42.97585pt too wide) in paragraph at lines 416--420 [][] \OT1/ppl/m/n/12 The func-tion $[]$ [68] Overfull \hbox (13.28441pt too wide) in paragraph at lines 471--472 [][] \OT1/pcr/m/n/10.95 test create (union_lenses #{lens}["z" <-> "a"; (copy [a -c])]) "a" = "z"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 473--473 [] \OT1/pcr/m/n/10.95 test get (union_lenses #{lens}[copy "a";copy "b";copy "c" ]) "a" = "a"[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 490--490 [] \OT1/pcr/m/n/10.95 test get (disj_union_lenses #{lens}[copy "a";copy "b";cop y "c"]) "a" = "a"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 517--517 [] \OT1/pcr/m/n/10.95 concat_regexps (List.permute{regexp} sigma ( vtypes ls)))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 520--521 [][] \OT1/pcr/m/n/10.95 test stype (lens_permute #{int}[1;0] #{lens}["abc";"def "]) = "abcdef"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 522--522 [] \OT1/pcr/m/n/10.95 test vtype (lens_permute #{int}[1;0] #{lens}["abc";"def"] ) = "defabc"[] [69] Package natbib Warning: Citation `QuotientLens08' on page 70 undefined on input line 536. Overfull \hbox (92.12431pt too wide) in paragraph at lines 540--540 [] \OT1/pcr/m/n/10.95 disjoint_regexps (List.map{regexp}{regexp} (fun (r:r egexp) -> r - EPSILON) rl)[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 546--546 [] \OT1/pcr/m/n/10.95 (rl:aregexp List.t where sortable (List.map{aregexp}{re gexp} rxdrop rl))[] Overfull \hbox (210.38417pt too wide) in paragraph at lines 547--547 [] \OT1/pcr/m/n/10.95 : (cn:canonizer where (uncanonized_type cn = (union_regex ps (List.map{aregexp}{regexp} rxdrop rl))* )[] Overfull \hbox (184.1042pt too wide) in paragraph at lines 548--548 [] \OT1/pcr/m/n/10.95 && (canonized_type cn = concat_regexps (List.map{aregexp}{regexp} rxdrop rl)))[] Overfull \hbox (111.83429pt too wide) in paragraph at lines 582--583 [][] \OT1/pcr/m/n/10.95 test (iterate{regexp} 3 (fun (x:regexp) -> x | "(".x.") ") [a-z]).get "((b))" = "((b))"[] Overfull \hbox (124.97427pt too wide) in paragraph at lines 584--584 [] \OT1/pcr/m/n/10.95 test (iterate{regexp} 3 (fun (x:regexp) -> x | "(".x.")") [a-z]).get "((((b))))" = error[] [70]) (./list.tex Overfull \hbox (24.20537pt too wide) in paragraph at lines 45--47 [][] \OT1/ppl/m/n/12 Boomerang does not sup-port re-cur-sion. How-ever, we pro -vide the $[]$ [71] [72] Overfull \hbox (55.7445pt too wide) in paragraph at lines 142--148 \OT1/ppl/m/n/12 ment in the per-muted list. A per-mu-ta-tion for the list $[]$ [73] Overfull \hbox (0.14442pt too wide) in paragraph at lines 200--200 [] \OT1/pcr/m/n/10.95 (Cons{string}("a",Cons{string}("b",Cons{string}("c",Nil {string}))))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 201--201 [] \OT1/pcr/m/n/10.95 = (Cons{string}("a",Cons{string}("c",Cons{string}("b",Nil {string}))))[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 216--216 [] \OT1/pcr/m/n/10.95 test permutations 2 = (Cons{int t}(Cons{int}(0,Cons{int}( 1,Nil{int})),[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 217--217 [] \OT1/pcr/m/n/10.95 Cons{int t}(Cons{int}(1,Cons{int}( 0,Nil{int})),[] Overfull \hbox (245.36526pt too wide) in paragraph at lines 221--224 []$\OT1/ppl/m/n/12 , cal-cu-lat-ing the per-mu-ta-tion $[]$ such that $[][][][] []$ [74- build src boomerang.cmi + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -c boomerang.ml ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf ] Overfull \hbox (26.4244pt too wide) in paragraph at lines 233--234 [][] \OT1/pcr/m/n/10.95 test sort{int} minus (Cons{int}(3, Cons{int}(4, Cons{in t}(1, Cons{int}(0,[] Overfull \hbox (26.4244pt too wide) in paragraph at lines 235--235 [] \OT1/pcr/m/n/10.95 Nil{int}))))) = (Cons{int}(0, Cons{int}(1, Cons{int} (3, Cons{int}(4,[] ) (./sort.tex Overfull \hbox (52.70436pt too wide) in paragraph at lines 50--50 [] \OT1/pcr/m/n/10.95 List.for_all{regexp List.t} (fun (pi:regexp List.t) -> concatable pi) perms[] Overfull \hbox (46.13437pt too wide) in paragraph at lines 51--51 [] \OT1/pcr/m/n/10.95 && disjoint_regexps (List.map{regexp List.t}{regexp} co ncat_regexps perms)[] [75] Overfull \hbox (59.27435pt too wide) in paragraph at lines 74--75 [][] \OT1/pcr/m/n/10.95 let l3 : (lens in ("abc" | "acb" | "bac" | "bca" | "cab " | "cba") <-> "abc") =[] Overfull \hbox (52.70436pt too wide) in paragraph at lines 90--90 [] \OT1/pcr/m/n/10.95 (ls:lens List.t where perm_sortable (stypes ls) && con catable (vtypes ls))[] Overfull \hbox (98.6943pt too wide) in paragraph at lines 91--91 [] \OT1/pcr/m/n/10.95 : (lens in union_regexps (perm_regexps (stypes ls)) <-> concat_regexps (vtypes ls))[] Overfull \hbox (39.56438pt too wide) in paragraph at lines 92--92 [] \OT1/pcr/m/n/10.95 = left_quot (canonizer_of_lens (perm_sort (stypes ls))) (concat_lenses ls)[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 103--103 [] \OT1/pcr/m/n/10.95 (ls:lens List.t where sortable (stypes ls) && concatab le (vtypes ls))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 104--104 [] \OT1/pcr/m/n/10.95 : (lens in (union_regexps (stypes ls))* <-> concat_regex ps (vtypes ls))[] [76] Overfull \hbox (19.8544pt too wide) in paragraph at lines 126--126 [] \OT1/pcr/m/n/10.95 && splittable_cex (concat_regexps (vtypes ls )) (vtype l)* )[] Overfull \hbox (85.55432pt too wide) in paragraph at lines 131--131 [] \OT1/pcr/m/n/10.95 canonizer_of_lens (partition ((union_regexps (stypes l s)) - EPSILON) (stype l))[] Overfull \hbox (170.96422pt too wide) in paragraph at lines 137--138 [][] \OT1/pcr/m/n/10.95 test (partition_sort_concat #{lens}[copy [A-Z]; copy [0 -9]] (copy [a-z])).get "aBc3d" = "B3acd"[] Overfull \hbox (236.66414pt too wide) in paragraph at lines 139--139 [] \OT1/pcr/m/n/10.95 test (partition_sort_concat #{lens}[copy [A-Z]; copy [0-9 ]] (copy [a-z])).put "Z9xyz" into "A1" = "Z9xyz"[] ) (./prefs.tex Overfull \hbox (6.71442pt too wide) in paragraph at lines 14--15 [][] \OT1/pcr/m/n/10.95 let create_bool (name:string) (default:bool) (doc:strin g) : bool_prefs[] Overfull \hbox (46.13437pt too wide) in paragraph at lines 38--39 [][] \OT1/pcr/m/n/10.95 let create_string (name:string) (default:string) (doc:s tring) : string_prefs[] [77] Overfull \hbox (0.14442pt too wide) in paragraph at lines 50--51 [][] \OT1/pcr/m/n/10.95 let create_string_list (name:string) (doc:string) : str ing_list_prefs[] ) (./sys.tex [78]) [79] Chapter 6. Overfull \hbox (46.13437pt too wide) in paragraph at lines 498--498 [] \OT1/pcr/m/n/10.95 or boomerang M.boom [N.boom...] [options] : run unit tests for M, N, ...[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 521--522 [][]\OT1/pcr/m/n/10.95 boomerang get QuickStart.comps_cmdline comps-conc.txt -o comps-abs.txt[] [80] [81] [82] [83] Chapter 7. (./main.bbl- build src boomerang.opt + ocamlfind ocamlopt -package num,str,unix -dtypes -rectypes -I . -I ../common/ubase -I ../common/hbase -o boomerang.opt ../common/ubase/ubase.cmxa ../common/hbase/hbase.cmxa amapblist.cmx intmapa.cmx bannot.cmx berror.cmx btag.cmx bcost.cmx bident.cmx bsyntax.cmx bprint.cmx brx.cmx bstring.cmx barx.cmx balign.cmx erx.cmx blenses.cmx bvalue.cmx bsubst.cmx bparser.cmx blexer.cmx bakery.cmx bregistry.cmx benv.cmx bcheck.cmx binterp.cmx bdriver.cmx bdiff3.cmx bsync.cmx toplevel.cmx ../lenses/prelude.cmx boomerang.cmx -linkpkg ocamlfind: [WARNING] Cannot read directory /opt/local/lib/ocaml/site-lib/stublibs which is mentioned in ld.conf [84] Package natbib Warning: Empty `thebibliography' environment on input line 8. ) Package natbib Warning: There were undefined citations. [85] (./main.aux) LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information) Output written on main.pdf (86 pages, 344040 bytes). Transcript written on main.log. - build doc main.pdf + pdflatex main This is pdfTeX, Version 3.141592653-2.6-1.40.29 (TeX Live 2026/pkgsrc) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./main.tex LaTeX2e <2025-11-01> L3 programming layer <2026-03-20> No file texdirectives.tex. (/opt/local/share/texmf-dist/tex/latex/base/report.cls Document Class: report 2025/01/22 v1.4n Standard LaTeX document class (/opt/local/share/texmf-dist/tex/latex/base/size12.clo)) (/opt/local/share/texmf-dist/tex/latex/hyperref/hyperref.sty (/opt/local/share/texmf-dist/tex/generic/iftex/iftex.sty) (/opt/local/share/texmf-dist/tex/latex/graphics/keyval.sty) (/opt/local/share/texmf-dist/tex/latex/kvsetkeys/kvsetkeys.sty) (/opt/local/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/opt/local/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty (/opt/local/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/opt/local/share/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/opt/local/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty))) (/opt/local/share/texmf-dist/tex/latex/hycolor/hycolor.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/nameref.sty (/opt/local/share/texmf-dist/tex/latex/refcount/refcount.sty) (/opt/local/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty (/opt/local/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty))) (/opt/local/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/opt/local/share/texmf-dist/tex/generic/stringenc/stringenc.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/pd1enc.def) (/opt/local/share/texmf-dist/tex/generic/intcalc/intcalc.sty) (/opt/local/share/texmf-dist/tex/latex/hyperref/puenc.def) Package hyperref Warning: Values of option `pdfpagemode': (hyperref) * `UseNone' (hyperref) * `UseOutlines' (hyperref) * `UseThumbs' (hyperref) * `FullScreen' (hyperref) * `UseOC' (PDF 1.5) (hyperref) * `UseAttachments' (PDF 1.6) (hyperref) * An empty value disables the option. (hyperref) Unknown value `None' on input line 4072. (/opt/local/share/texmf-dist/tex/latex/url/url.sty) (/opt/local/share/texmf-dist/tex/generic/bitset/bitset.sty (/opt/local/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty))) (/opt/local/share/texmf-dist/tex/latex/hyperref/hpdftex.def (/opt/local/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/opt/local/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/opt/local/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty (/opt/local/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/pgf.revision.tex))) (/opt/local/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty (/opt/local/share/texmf-dist/tex/latex/graphics/graphicx.sty (/opt/local/share/texmf-dist/tex/latex/graphics/graphics.sty (/opt/local/share/texmf-dist/tex/latex/graphics/trig.sty) (/opt/local/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg) (/opt/local/share/texmf-dist/tex/latex/graphics-def/pdftex.def))) (/opt/local/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeyslibraryfiltered.c ode.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def) )) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.te x)) (/opt/local/share/texmf-dist/tex/latex/xcolor/xcolor.sty (/opt/local/share/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/opt/local/share/texmf-dist/tex/latex/graphics/mathcolor.ltx)) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometri c.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code. tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.c ode.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.integerarith metics.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfint.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.co de.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.t ex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.cod e.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations. code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex ) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.c ode.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.cod e.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.te x) (/opt/local/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorerdf.code.tex) )) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex) (/opt/local/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.s ty) (/opt/local/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.s ty)) (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty (/opt/local/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) (/opt/local/share/texmf-dist/tex/latex/pgf/math/pgfmath.sty (/opt/local/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.c ode.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarytopaths.code.tex))) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.geometric.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. geometric.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.misc.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. misc.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.symbols.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. symbols.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.arrows.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. arrows.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.callouts.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. callouts.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibraryshapes.multipart.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes. multipart.code.tex))) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarysnakes.code.tex Package pgf Warning: Snakes have been superseded by decorations. Please use the decoration libraries instead of the snakes library on input line 14. (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.pathmorphing.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code. tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.pathmorphing.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.pathreplacing.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.pathreplacing.code.tex)) (/opt/local/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzl ibrarydecorations.shapes.code.tex (/opt/local/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibraryde corations.shapes.code.tex))) (/opt/local/share/texmf-dist/tex/latex/psnfss/palatino.sty) (/opt/local/share/texmf-dist/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/opt/local/share/texmf-dist/tex/latex/amsmath/amstext.sty (/opt/local/share/texmf-dist/tex/latex/amsmath/amsgen.sty)) (/opt/local/share/texmf-dist/tex/latex/amsmath/amsbsy.sty) (/opt/local/share/texmf-dist/tex/latex/amsmath/amsopn.sty)) (/opt/local/share/texmf-dist/tex/latex/amsfonts/amssymb.sty (/opt/local/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty)) (/opt/local/share/texmf-dist/tex/latex/amscls/amsthm.sty) (/opt/local/share/texmf-dist/tex/latex/natbib/natbib.sty) (./src2tex.sty) (/opt/local/share/texmf-dist/tex/latex/preprint/fullpage.sty) (./syntax.sty) (./bcprules.sty) (./local.sty) (/opt/local/share/texmf-dist/tex/latex/psnfss/ot1ppl.fd) (/opt/local/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def) (./main.aux) (./main.out) (./main.out) (/opt/local/share/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty (/opt/local/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg)) (/opt/local/share/texmf-dist/tex/latex/amsfonts/umsa.fd) (/opt/local/share/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/font s/map/pdftex/updmap/pdftex.map}{/opt/local/share/texmf-dist/fonts/enc/dvips/bas e/8r.enc} <./pdf/boomerang-logo.pdf>] (/opt/local/share/texmf-dist/tex/latex/psnfss/ot1pcr.fd) Overfull \hbox (20.99419pt too wide) in paragraph at lines 59--60 []$[]$ pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has been already used, duplicate ignored \relax l.98 \tableofcontents {} [1] (./main.toc [2] [3]) [4] Chapter 1. [5] [6 <./pdf/arch-basic.pdf>] (/opt/local/share/texmf-dist/tex/latex/psnfss/ts1ppl.fd) [7] [8] Package natbib Warning: Citation `Boomerang07' on page 9 undefined on input lin e 332. Package natbib Warning: Citation `QuotientLenses08' on page 9 undefined on inpu t line 332. Package natbib Warning: Citation `Focal2005' on page 9 undefined on input line 333. Package natbib Warning: Citation `BohannonPierceVaughanTR' on page 9 undefined on input line 333. [9] Chapter 2. (./QuickStart.tex [10] [11] Overfull \hbox (315.50404pt too wide) in paragraph at lines 125--125 []\OT1/pcr/m/n/10.95 ((Core.matches_cex (Core.stype l)) c); counterexample: str ing does not match [ A-Za-z]+ [Hello World] AROUND HERE [!!][] [12] [13] Overfull \hbox (72.41434pt too wide) in paragraph at lines 255--255 [] \OT1/pcr/m/n/10.95 let comps : lens = "" | . (newline . )*[] [14] [15] Overfull \hbox (0.14442pt too wide) in paragraph at lines 369--370 [][] \OT1/pcr/m/n/10.95 test swap_many'.get "John Smith; Jane Doe" = "Smith, Jo hn; Doe, Jane"[] [16] Overfull \hbox (13.28441pt too wide) in paragraph at lines 450--450 [] \OT1/pcr/m/n/10.95 marry ::= "(" ln1:LAST ", " fn1:FIRST " & " LAST ", " fn2:FIRST ")"[] [17] Overfull \hbox (6.71442pt too wide) in paragraph at lines 478--478 [] \OT1/pcr/m/n/10.95 | c: newline cs:comps <-> c newline cs[] [18]) (./alignment.tex [19] Chapter 3. [20] Overfull \hbox (6.71442pt too wide) in paragraph at lines 82--82 [] \OT1/pcr/m/n/10.95 let create_comps (chunk:lens) : lens = "" | chunk . (newl ine . chunk)*[] [21] Overfull \hbox (0.9053pt too wide) in paragraph at lines 142--148 \OT1/ppl/m/n/12 and go on[][][][][]. For the last en-try in the view, there is no more un-matched key $[]$ [22] [23] [24] [25] Overfull \hbox (6.71442pt too wide) in paragraph at lines 332--332 [] \OT1/pcr/m/n/10.95 "L" . | "R" . [] ) [26] Chapter 4. Overfull \hbox (4.22766pt too wide) in paragraph at lines 348--354 \OT1/ppl/m/n/12 strings, reg-u-lar ex-pres-sions, can-on-iz-ers, etc.). The con -crete syn-tax is based on an explicitly- (./blexer.tex [27] Overfull \hbox (0.64488pt too wide) in paragraph at lines 58--70 [] [28]) (./bparser.tex (/opt/local/share/texmf-dist/tex/latex/psnfss/omsppl.fd) Overfull \hbox (7.28801pt too wide) in paragraph at lines 43--52 \OT1/ppl/m/n/12 A Boomerang com-pi-la-tion unit con-tains a sin-gle mod-ule dec -la-ra-tion, such as $[]$, [29] [30] (/opt/local/share/texmf-dist/tex/latex/psnfss/omspcr.fd) [31] [32] [33] [34] [35]) Overfull \hbox (1.84485pt too wide) in paragraph at lines 410--421 [][] [36] [37] [38] Chapter 5. Package natbib Warning: Citation `Boomerang07' on page 39 undefined on input li ne 469. Package natbib Warning: Citation `QuotientLenses08' on page 39 undefined on inp ut line 469. (./core.tex [39] Overfull \hbox (5.31805pt too wide) in paragraph at lines 37--40 [][] \OT1/ppl/m/n/12 These op-er-a-tors are the stan-dard func-tions on boolea ns. Overfull \hbox (6.60173pt too wide) in paragraph at lines 50--52 [][] \OT1/ppl/m/n/12 The op-er-a-tor $[]$ con-verts an in-te-ger to the cor-re -spond- Overfull \hbox (7.62216pt too wide) in paragraph at lines 71--72 [][] \OT1/ppl/m/n/12 These op-er-a-tors are the stan-dard arith-metic func- [40] [41] Overfull \hbox (34.5422pt too wide) in paragraph at lines 198--203 \OT1/ppl/m/n/12 loaded sym-bols $[]$, $[]$, and $[]$, as well as it-er-a-tions $[]$ and $[]$ all desugar into $[]$ [42] [43] [44] Overfull \hbox (7.50682pt too wide) in paragraph at lines 360--365 \OT1/ppl/m/n/12 used by the match func-tions ($[]$ and $[]$). The $[]$ Overfull \hbox (19.8544pt too wide) in paragraph at lines 368--368 [] \OT1/pcr/m/n/10.95 type predicate = Threshold of (t:int where land (bgeq t 0 ) (bleq t 100))[] Overfull \hbox (26.4244pt too wide) in paragraph at lines 378--378 [] \OT1/pcr/m/n/10.95 let greedy (t:int where land (bgeq t 0) (bleq t 100)) (na me:string) : tag[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 382--382 [] \OT1/pcr/m/n/10.95 let setlike (t:int where land (bgeq t 0) (bleq t 100)) (n ame:string) : tag[] [45] Overfull \hbox (30.96483pt too wide) in paragraph at lines 421--424 \OT1/ppl/m/n/12 an-no-tated reg-u-lar ex-pres-sions. The over-loaded in-fix sym -bol $[]$ desug-ars into $[]$ Overfull \hbox (65.84435pt too wide) in paragraph at lines 438--438 [] \OT1/pcr/m/n/10.95 (a2:aregexp where land (disjoint_cex (r xdrop a1) (rxdrop a2))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 439--439 [] \OT1/pcr/m/n/10.95 (aregexp_compati ble_cex a1 a2))[] [46] Overfull \hbox (46.13437pt too wide) in paragraph at lines 474--475 [][] \OT1/pcr/m/n/10.95 let aregexp_match (t:tag) (a:aregexp where aregexp_matc h_compatible_cex t a)[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 489--489 [] \OT1/pcr/m/n/10.95 test no_chunks (aregexp_match (positional "") (rxlift [a- z])) = false[] [47] Overfull \hbox (9.12376pt too wide) in paragraph at lines 566--569 [][] \OT1/ppl/m/n/12 The $[]$ func-tion re- Overfull \hbox (46.13437pt too wide) in paragraph at lines 570--571 [][] \OT1/pcr/m/n/10.95 let mtype_match_compatible_cex : tag -> skeleton_set -> resource_set -> bool[] Overfull \hbox (0.41084pt too wide) in paragraph at lines 574--577 [][] \OT1/ppl/m/n/12 The $[]$ func-tion re-turns $[]$ if the two [48] Overfull \hbox (44.75479pt too wide) in paragraph at lines 627--630 \OT1/ppl/m/n/12 a given $[]$ and $[]$. The $[]$ no-ta-tion desug-ars into $[]$. Overfull \hbox (13.28441pt too wide) in paragraph at lines 633--633 [] \OT1/pcr/m/n/10.95 (land (land (equiv_cex (stype l) S) (equiv_cex (vtype l ) V)) (bij l))[] [49] Overfull \hbox (13.28441pt too wide) in paragraph at lines 720--721 [][] \OT1/pcr/m/n/10.95 let set (R:regexp) (s:string) : (l:lens where in_lens_t ype l R (str s))[] [50] Overfull \hbox (1.86293pt too wide) in paragraph at lines 761--765 [][] \OT1/ppl/m/n/12 The $[]$ op-er-a-tor also forms the union [51] Overfull \hbox (6.71442pt too wide) in paragraph at lines 804--804 [] \OT1/pcr/m/n/10.95 : (l:lens where in_lens_type l (regexp_concat (stype l1 ) (stype l2))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 805--805 [] \OT1/pcr/m/n/10.95 (regexp_concat (vtype l1 ) (vtype l2)))[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 849--849 [] \OT1/pcr/m/n/10.95 : (l:lens where in_lens_type l (regexp_concat (stype l1 ) (stype l2))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 850--850 [] \OT1/pcr/m/n/10.95 (regexp_concat (vtype l2 ) (vtype l1)))[] [52] [53] Overfull \hbox (13.28441pt too wide) in paragraph at lines 940--940 [] \OT1/pcr/m/n/10.95 (land (disjoint_cex (stype l) (regexp_iter ( stype l) 2 2))[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 942--942 [] \OT1/pcr/m/n/10.95 (disjoint_cex (vtype l) (regexp_iter (v type l) 2 2))))))[] [54] [55] Overfull \hbox (0.39801pt too wide) in paragraph at lines 1091--1094 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the ``rep-re-sen-ta-tive'' [56] Overfull \hbox (8.38963pt too wide) in paragraph at lines 1103--1106 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the ``quo-tiented'' type com - Overfull \hbox (6.20284pt too wide) in paragraph at lines 1154--1157 [][] \OT1/ppl/m/n/12 The $[]$ func-tion ex-tracts the $[]$ com-po-nent of a ca n-on-izer. The record- [57] Overfull \hbox (11.6664pt too wide) in paragraph at lines 1174--1177 [][] \OT1/ppl/m/n/12 The $[]$ op-er-a-tor con-cate-nates can-on-iz-ers. Only Overfull \hbox (13.28441pt too wide) in paragraph at lines 1182--1182 [] \OT1/pcr/m/n/10.95 land (splittable_cex (uncanonized_type cn1) (uncanoni zed_type cn2))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1184--1184 [] \OT1/pcr/m/n/10.95 (not (land (rel_is_id (cnrel cn1)) (rel_is_id (cnrel cn2))))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1185--1185 [] \OT1/pcr/m/n/10.95 (splittable_cex (canonized_type cn1) (canoniz ed_type cn2))))[] Overfull \hbox (13.28441pt too wide) in paragraph at lines 1187--1187 [] \OT1/pcr/m/n/10.95 (regexp_concat (uncanonized_type cn1) (uncanoni zed_type cn2))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 1202--1202 [] \OT1/pcr/m/n/10.95 (disjoint_cex (canoniz ed_type cn1)[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 1203--1203 [] \OT1/pcr/m/n/10.95 (canoniz ed_type cn2))))[] [58] Package natbib Warning: Citation `QuotientLenses08' on page 59 undefined on inp ut line 1268. [59] [60]) (./prelude.tex [61] Overfull \hbox (11.75024pt too wide) in paragraph at lines 59--61 [][] \OT1/ppl/m/n/12 The reg-u-lar ex-pres-sions $[]$, $[]$, and $[]$ de-note sets of whites- [62] Overfull \hbox (41.4874pt too wide) in paragraph at lines 110--113 [][] \OT1/ppl/m/n/12 The reg-u-lar ex-pres-sion $[]$ and $[]$ [63] Overfull \hbox (19.8544pt too wide) in paragraph at lines 196--197 [][] \OT1/pcr/m/n/10.95 let merge_with_sep (R:regexp) (s:string) : (lens in (R . s . R) <-> R) =[] [64] Overfull \hbox (138.11426pt too wide) in paragraph at lines 250--251 [][] \OT1/pcr/m/n/10.95 let qconst (C:regexp) (A:regexp) (a:string where matche s A a) (c:string where matches C c)[] [65] [66] Overfull \hbox (16.46608pt too wide) in paragraph at lines 387--389 [][] \OT1/ppl/m/n/12 Con-cate-nates a list of reg-u-lar ex-pres-sions or lense s, [67] Overfull \hbox (32.99438pt too wide) in paragraph at lines 412--413 [][] \OT1/pcr/m/n/10.95 test get (concat_lenses #{lens}[copy "a";copy "b";copy "c"]) "abc" = "abc"[] Overfull \hbox (42.97585pt too wide) in paragraph at lines 416--420 [][] \OT1/ppl/m/n/12 The func-tion $[]$ [68] Overfull \hbox (13.28441pt too wide) in paragraph at lines 471--472 [][] \OT1/pcr/m/n/10.95 test create (union_lenses #{lens}["z" <-> "a"; (copy [a -c])]) "a" = "z"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 473--473 [] \OT1/pcr/m/n/10.95 test get (union_lenses #{lens}[copy "a";copy "b";copy "c" ]) "a" = "a"[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 490--490 [] \OT1/pcr/m/n/10.95 test get (disj_union_lenses #{lens}[copy "a";copy "b";cop y "c"]) "a" = "a"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 517--517 [] \OT1/pcr/m/n/10.95 concat_regexps (List.permute{regexp} sigma ( vtypes ls)))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 520--521 [][] \OT1/pcr/m/n/10.95 test stype (lens_permute #{int}[1;0] #{lens}["abc";"def "]) = "abcdef"[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 522--522 [] \OT1/pcr/m/n/10.95 test vtype (lens_permute #{int}[1;0] #{lens}["abc";"def"] ) = "defabc"[] [69] Package natbib Warning: Citation `QuotientLens08' on page 70 undefined on input line 536. Overfull \hbox (92.12431pt too wide) in paragraph at lines 540--540 [] \OT1/pcr/m/n/10.95 disjoint_regexps (List.map{regexp}{regexp} (fun (r:r egexp) -> r - EPSILON) rl)[] Overfull \hbox (32.99438pt too wide) in paragraph at lines 546--546 [] \OT1/pcr/m/n/10.95 (rl:aregexp List.t where sortable (List.map{aregexp}{re gexp} rxdrop rl))[] Overfull \hbox (210.38417pt too wide) in paragraph at lines 547--547 [] \OT1/pcr/m/n/10.95 : (cn:canonizer where (uncanonized_type cn = (union_regex ps (List.map{aregexp}{regexp} rxdrop rl))* )[] Overfull \hbox (184.1042pt too wide) in paragraph at lines 548--548 [] \OT1/pcr/m/n/10.95 && (canonized_type cn = concat_regexps (List.map{aregexp}{regexp} rxdrop rl)))[] Overfull \hbox (111.83429pt too wide) in paragraph at lines 582--583 [][] \OT1/pcr/m/n/10.95 test (iterate{regexp} 3 (fun (x:regexp) -> x | "(".x.") ") [a-z]).get "((b))" = "((b))"[] Overfull \hbox (124.97427pt too wide) in paragraph at lines 584--584 [] \OT1/pcr/m/n/10.95 test (iterate{regexp} 3 (fun (x:regexp) -> x | "(".x.")") [a-z]).get "((((b))))" = error[] [70]) (./list.tex Overfull \hbox (24.20537pt too wide) in paragraph at lines 45--47 [][] \OT1/ppl/m/n/12 Boomerang does not sup-port re-cur-sion. How-ever, we pro -vide the $[]$ [71] [72] Overfull \hbox (55.7445pt too wide) in paragraph at lines 142--148 \OT1/ppl/m/n/12 ment in the per-muted list. A per-mu-ta-tion for the list $[]$ [73] Overfull \hbox (0.14442pt too wide) in paragraph at lines 200--200 [] \OT1/pcr/m/n/10.95 (Cons{string}("a",Cons{string}("b",Cons{string}("c",Nil {string}))))[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 201--201 [] \OT1/pcr/m/n/10.95 = (Cons{string}("a",Cons{string}("c",Cons{string}("b",Nil {string}))))[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 216--216 [] \OT1/pcr/m/n/10.95 test permutations 2 = (Cons{int t}(Cons{int}(0,Cons{int}( 1,Nil{int})),[] Overfull \hbox (6.71442pt too wide) in paragraph at lines 217--217 [] \OT1/pcr/m/n/10.95 Cons{int t}(Cons{int}(1,Cons{int}( 0,Nil{int})),[] Overfull \hbox (245.36526pt too wide) in paragraph at lines 221--224 []$\OT1/ppl/m/n/12 , cal-cu-lat-ing the per-mu-ta-tion $[]$ such that $[][][][] []$ [74] Overfull \hbox (26.4244pt too wide) in paragraph at lines 233--234 [][] \OT1/pcr/m/n/10.95 test sort{int} minus (Cons{int}(3, Cons{int}(4, Cons{in t}(1, Cons{int}(0,[] Overfull \hbox (26.4244pt too wide) in paragraph at lines 235--235 [] \OT1/pcr/m/n/10.95 Nil{int}))))) = (Cons{int}(0, Cons{int}(1, Cons{int} (3, Cons{int}(4,[] ) (./sort.tex Overfull \hbox (52.70436pt too wide) in paragraph at lines 50--50 [] \OT1/pcr/m/n/10.95 List.for_all{regexp List.t} (fun (pi:regexp List.t) -> concatable pi) perms[] Overfull \hbox (46.13437pt too wide) in paragraph at lines 51--51 [] \OT1/pcr/m/n/10.95 && disjoint_regexps (List.map{regexp List.t}{regexp} co ncat_regexps perms)[] [75] Overfull \hbox (59.27435pt too wide) in paragraph at lines 74--75 [][] \OT1/pcr/m/n/10.95 let l3 : (lens in ("abc" | "acb" | "bac" | "bca" | "cab " | "cba") <-> "abc") =[] Overfull \hbox (52.70436pt too wide) in paragraph at lines 90--90 [] \OT1/pcr/m/n/10.95 (ls:lens List.t where perm_sortable (stypes ls) && con catable (vtypes ls))[] Overfull \hbox (98.6943pt too wide) in paragraph at lines 91--91 [] \OT1/pcr/m/n/10.95 : (lens in union_regexps (perm_regexps (stypes ls)) <-> concat_regexps (vtypes ls))[] Overfull \hbox (39.56438pt too wide) in paragraph at lines 92--92 [] \OT1/pcr/m/n/10.95 = left_quot (canonizer_of_lens (perm_sort (stypes ls))) (concat_lenses ls)[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 103--103 [] \OT1/pcr/m/n/10.95 (ls:lens List.t where sortable (stypes ls) && concatab le (vtypes ls))[] Overfull \hbox (19.8544pt too wide) in paragraph at lines 104--104 [] \OT1/pcr/m/n/10.95 : (lens in (union_regexps (stypes ls))* <-> concat_regex ps (vtypes ls))[] [76] Overfull \hbox (19.8544pt too wide) in paragraph at lines 126--126 [] \OT1/pcr/m/n/10.95 && splittable_cex (concat_regexps (vtypes ls )) (vtype l)* )[] Overfull \hbox (85.55432pt too wide) in paragraph at lines 131--131 [] \OT1/pcr/m/n/10.95 canonizer_of_lens (partition ((union_regexps (stypes l s)) - EPSILON) (stype l))[] Overfull \hbox (170.96422pt too wide) in paragraph at lines 137--138 [][] \OT1/pcr/m/n/10.95 test (partition_sort_concat #{lens}[copy [A-Z]; copy [0 -9]] (copy [a-z])).get "aBc3d" = "B3acd"[] Overfull \hbox (236.66414pt too wide) in paragraph at lines 139--139 [] \OT1/pcr/m/n/10.95 test (partition_sort_concat #{lens}[copy [A-Z]; copy [0-9 ]] (copy [a-z])).put "Z9xyz" into "A1" = "Z9xyz"[] ) (./prefs.tex Overfull \hbox (6.71442pt too wide) in paragraph at lines 14--15 [][] \OT1/pcr/m/n/10.95 let create_bool (name:string) (default:bool) (doc:strin g) : bool_prefs[] Overfull \hbox (46.13437pt too wide) in paragraph at lines 38--39 [][] \OT1/pcr/m/n/10.95 let create_string (name:string) (default:string) (doc:s tring) : string_prefs[] [77] Overfull \hbox (0.14442pt too wide) in paragraph at lines 50--51 [][] \OT1/pcr/m/n/10.95 let create_string_list (name:string) (doc:string) : str ing_list_prefs[] ) (./sys.tex [78]) [79] Chapter 6. Overfull \hbox (46.13437pt too wide) in paragraph at lines 498--498 [] \OT1/pcr/m/n/10.95 or boomerang M.boom [N.boom...] [options] : run unit tests for M, N, ...[] Overfull \hbox (0.14442pt too wide) in paragraph at lines 521--522 [][]\OT1/pcr/m/n/10.95 boomerang get QuickStart.comps_cmdline comps-conc.txt -o comps-abs.txt[] [80] [81] [82] [83] Chapter 7. (./main.bbl [84] Package natbib Warning: Empty `thebibliography' environment on input line 8. ) Package natbib Warning: There were undefined citations. [85] (./main.aux) ) (see the transcript file for additional information) Output written on main.pdf (86 pages, 344033 bytes). Transcript written on main.log. *** omake: done (11.92 sec, 96/96 scans, 155/213 rules, 361/402 digests)