=> Bootstrap dependency digest>=20010302: found digest-20121220
===> Skipping vulnerability checks.
WARNING: No /var/db/pkg/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /var/db/pkg fetch-pkg-vulnerabilities'.
===> Building for boomerang-0.2nb2
cd /scratch/lang/boomerang/work/boomerang-20090902 && omake
*** omake: reading OMakefiles
OMake warning: could not create and/or lock a cache file for
   /usr/pkg/lib/omake/Pervasives.om
OMake warning: could not create and/or lock a cache file for
   /usr/pkg/lib/omake/build/C.om
OMake warning: could not create and/or lock a cache file for
   /usr/pkg/lib/omake/build/Common.om
OMake warning: could not create and/or lock a cache file for
   /usr/pkg/lib/omake/configure/Configure.om
OMake warning: could not create and/or lock a cache file for
   /usr/pkg/lib/omake/build/OCaml.om
OMake warning: could not create and/or lock a cache file for
   /usr/pkg/lib/omake/build/LaTeX.om
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 for ocamlfind... (found /usr/pkg/bin/ocamlfind)
--- Checking for ocamlc.opt... (found /scratch/lang/boomerang/work/.buildlink/bin/ocamlc.opt)
--- Checking for ocamlopt.opt... (found /scratch/lang/boomerang/work/.buildlink/bin/ocamlopt.opt)
--- Checking whether ocamlc understands the "z" warnings... (yes)
--- 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.29 sec)
*** omake: warning: stdout is not a tty, disabling the progress bar
   (use --progress to override).
- build doc main.pdf
+ pdflatex main
This is pdfTeX, Version 3.1415926-2.4-1.40.13 (Web2C 2012)
 restricted \write18 enabled.
entering extended mode
(./main.tex
LaTeX2e <2011/06/27>
Babel <v3.8l> and hyphenation patterns for english, dumylang, nohyphenation, ba
sque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, estonian, 
finnish, french, german, ngerman, monogreek, greek, hungarian, icelandic, indon
esian, irish, italian, latin, bokmal, nynorsk, polish, portuguese, romanian, ru
ssian, serbian, slovak, slovenian, spanish, swedish, turkish, ukrainian, loaded
.
No file texdirectives.tex.
(/usr/pkg/share/texmf-dist/tex/latex/base/report.cls
Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
(/usr/pkg/share/texmf-dist/tex/latex/base/size12.clo))
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty))
(/usr/pkg/share/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty))
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/pdfescape.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty)
(/usr/pkg/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/hycolor.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/hopatch.sty)))
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/letltxmacro.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/intcalc.sty)
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg)

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 3921.

(/usr/pkg/share/texmf-dist/tex/latex/url/url.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/bitset.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/bigintcalc.sty))
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/atbegshi.sty))

Package hyperref Message: Driver: hpdftex.

(/usr/pkg/share/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/atveryend.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/uniquecounter.sty)))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/pkg/share/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/graphics.cfg)
(/usr/pkg/share/texmf-dist/tex/latex/pdftex-def/pdftex.def)))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def)))
 (/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex)
) (/usr/pkg/share/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/color.cfg))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.
code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.te
x)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex)
)) (/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code
.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
) (/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.
tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.co
de.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex)
) (/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.
tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex)
)) (/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex)
 (/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex)
(/usr/pkg/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
)
(/usr/pkg/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
)) (/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarytopaths.code.tex)))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.geometric.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ge
ometric.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.misc.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.mi
sc.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.symbols.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.sy
mbols.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.arrows.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ar
rows.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.callouts.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ca
llouts.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.multipart.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.mu
ltipart.code.tex)))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarysnakes.code.tex

Package tikz Warning: Snakes have been superseded by decorations. Please use th
e decoration libraries instead of the snakes library on input line 14.


(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.pathmorphing.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.te
x))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.pathmorphing.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.pathreplacing.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.pathreplacing.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.shapes.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.shapes.code.tex)))
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/palatino.sty)
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/pkg/share/texmf-dist/tex/latex/natbib/natbib.sty) (./src2tex.sty)
(/usr/pkg/share/texmf-dist/tex/latex/preprint/fullpage.sty) (./syntax.sty)
(./bcprules.sty) (./local.sty)
No file main.aux.
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/ot1ppl.fd)
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/refcount.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
ABD: EveryShipout initializing macros
(/usr/pkg/share/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/pkg/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/grfext.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty))
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fonts/
map/pdftex/updmap/pdftex.map} <./pdf/boomerang-logo.pdf>]
(/usr/pkg/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
<to be read again> 
                   \relax 
l.98 \tableofcontents
                     {} [1] [2]
Chapter 1.
[3]

LaTeX Warning: Reference `fig:viewupdateterminology' on page 4 undefined on inp
ut line 164.

[4 <./pdf/arch-basic.pdf>]
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/omsppl.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 = "" | <dictionary "":comp> . (newline .
 <dictionary "":comp>)*[] 
[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:<dictionary "":comp> 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" . <positional "":del [a-z]*> | "R" . <positional ""
:copy [a-z]*>[] 
) [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
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] (/usr/pkg/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] [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)

Package rerunfilecheck Warning: File `main.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.


LaTeX Warning: There were undefined references.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 )
(see the transcript file for additional information){/usr/pkg/share/texmf-dist/
fonts/enc/dvips/base/8r.enc}</usr/pkg/share/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmmi12.pfb></usr/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr
12.pfb></usr/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr
/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/pkg/share
/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/pkg/share/texmf-dist
/fonts/type1/public/amsfonts/cm/cmti12.pfb></usr/pkg/share/texmf-dist/fonts/typ
e1/urw/courier/ucrr8a.pfb></usr/pkg/share/texmf-dist/fonts/type1/urw/courier/uc
rro8a.pfb></usr/pkg/share/texmf-dist/fonts/type1/urw/palatino/uplb8a.pfb></usr/
pkg/share/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/pkg/share/texmf-
dist/fonts/type1/urw/palatino/uplri8a.pfb>
Output written on main.pdf (83 pages, 333428 bytes).
Transcript written on main.log.
- build doc main.pdf
+ bibtex main
This is BibTeX, Version 0.99d (Web2C 2012)
The top-level auxiliary file: main.aux
The style file: plainnat.bst
I couldn't open database file ../../writing/papers/harmony.bib
---line 130 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)
- build doc main.pdf
+ pdflatex main
This is pdfTeX, Version 3.1415926-2.4-1.40.13 (Web2C 2012)
 restricted \write18 enabled.
entering extended mode
(./main.tex
LaTeX2e <2011/06/27>
Babel <v3.8l> and hyphenation patterns for english, dumylang, nohyphenation, ba
sque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, estonian, 
finnish, french, german, ngerman, monogreek, greek, hungarian, icelandic, indon
esian, irish, italian, latin, bokmal, nynorsk, polish, portuguese, romanian, ru
ssian, serbian, slovak, slovenian, spanish, swedish, turkish, ukrainian, loaded
.
No file texdirectives.tex.
(/usr/pkg/share/texmf-dist/tex/latex/base/report.cls
Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
(/usr/pkg/share/texmf-dist/tex/latex/base/size12.clo))
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty))
(/usr/pkg/share/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty))
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/pdfescape.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty)
(/usr/pkg/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/hycolor.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/hopatch.sty)))
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/letltxmacro.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/intcalc.sty)
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg)

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 3921.

(/usr/pkg/share/texmf-dist/tex/latex/url/url.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/bitset.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/bigintcalc.sty))
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/atbegshi.sty))

Package hyperref Message: Driver: hpdftex.

(/usr/pkg/share/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/atveryend.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/uniquecounter.sty)))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/pkg/share/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/graphics.cfg)
(/usr/pkg/share/texmf-dist/tex/latex/pdftex-def/pdftex.def)))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def)))
 (/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex)
) (/usr/pkg/share/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/color.cfg))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.
code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.te
x)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex)
)) (/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code
.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
) (/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.
tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.co
de.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex)
) (/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.
tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex)
)) (/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex)
 (/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex)
(/usr/pkg/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
)
(/usr/pkg/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
)) (/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarytopaths.code.tex)))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.geometric.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ge
ometric.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.misc.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.mi
sc.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.symbols.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.sy
mbols.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.arrows.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ar
rows.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.callouts.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ca
llouts.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.multipart.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.mu
ltipart.code.tex)))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarysnakes.code.tex

Package tikz Warning: Snakes have been superseded by decorations. Please use th
e decoration libraries instead of the snakes library on input line 14.


(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.pathmorphing.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.te
x))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.pathmorphing.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.pathreplacing.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.pathreplacing.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.shapes.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.shapes.code.tex)))
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/palatino.sty)
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/pkg/share/texmf-dist/tex/latex/natbib/natbib.sty) (./src2tex.sty)
(/usr/pkg/share/texmf-dist/tex/latex/preprint/fullpage.sty) (./syntax.sty)
(./bcprules.sty) (./local.sty) (./main.aux)
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/ot1ppl.fd)
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/refcount.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./main.out) (./main.out) ABD: EveryShipout initializing macros
(/usr/pkg/share/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/pkg/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/grfext.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty))
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fonts/
map/pdftex/updmap/pdftex.map} <./pdf/boomerang-logo.pdf>]
(/usr/pkg/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
<to be read again> 
                   \relax 
l.98 \tableofcontents
                     {} [1] (./main.toc [2] [3]) [4]
Chapter 1.
[5] [6 <./pdf/arch-basic.pdf>]
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/omsppl.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 = "" | <dictionary "":comp> . (newline .
 <dictionary "":comp>)*[] 
[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:<dictionary "":comp> 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" . <positional "":del [a-z]*> | "R" . <positional ""
:copy [a-z]*>[] 
) [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
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] (/usr/pkg/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)

LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

 )
(see the transcript file for additional information){/usr/pkg/share/texmf-dist/
fonts/enc/dvips/base/8r.enc}</usr/pkg/share/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmmi12.pfb></usr/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr
12.pfb></usr/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr
/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/pkg/share
/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/pkg/share/texmf-dist
/fonts/type1/public/amsfonts/cm/cmti12.pfb></usr/pkg/share/texmf-dist/fonts/typ
e1/urw/courier/ucrr8a.pfb></usr/pkg/share/texmf-dist/fonts/type1/urw/courier/uc
rro8a.pfb></usr/pkg/share/texmf-dist/fonts/type1/urw/palatino/uplb8a.pfb></usr/
pkg/share/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/pkg/share/texmf-
dist/fonts/type1/urw/palatino/uplri8a.pfb>
Output written on main.pdf (86 pages, 343993 bytes).
Transcript written on main.log.
- build doc main.pdf
+ pdflatex main
This is pdfTeX, Version 3.1415926-2.4-1.40.13 (Web2C 2012)
 restricted \write18 enabled.
entering extended mode
(./main.tex
LaTeX2e <2011/06/27>
Babel <v3.8l> and hyphenation patterns for english, dumylang, nohyphenation, ba
sque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, estonian, 
finnish, french, german, ngerman, monogreek, greek, hungarian, icelandic, indon
esian, irish, italian, latin, bokmal, nynorsk, polish, portuguese, romanian, ru
ssian, serbian, slovak, slovenian, spanish, swedish, turkish, ukrainian, loaded
.
No file texdirectives.tex.
(/usr/pkg/share/texmf-dist/tex/latex/base/report.cls
Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
(/usr/pkg/share/texmf-dist/tex/latex/base/size12.clo))
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/hyperref.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty))
(/usr/pkg/share/texmf-dist/tex/latex/graphics/keyval.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty))
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/pdfescape.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/ifvtex.sty)
(/usr/pkg/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/hycolor.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/xcolor-patch.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/hopatch.sty)))
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/letltxmacro.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty)
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/pd1enc.def)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/intcalc.sty)
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg)

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 3921.

(/usr/pkg/share/texmf-dist/tex/latex/url/url.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/bitset.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/bigintcalc.sty))
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/atbegshi.sty))

Package hyperref Message: Driver: hpdftex.

(/usr/pkg/share/texmf-dist/tex/latex/hyperref/hpdftex.def
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/atveryend.sty)
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/uniquecounter.sty)))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
(/usr/pkg/share/texmf-dist/tex/latex/ms/everyshi.sty))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/graphicx.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/graphics.sty
(/usr/pkg/share/texmf-dist/tex/latex/graphics/trig.sty)
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/graphics.cfg)
(/usr/pkg/share/texmf-dist/tex/latex/pdftex-def/pdftex.def)))
(/usr/pkg/share/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.def)))
 (/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.tex)
) (/usr/pkg/share/texmf-dist/tex/latex/xcolor/xcolor.sty
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/color.cfg))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonometric.
code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.code.te
x)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code.tex
)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.tex)
)) (/usr/pkg/share/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.code
.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code.tex
) (/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.code.
tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformations.co
de.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.tex)
) (/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.tex)

(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.code.
tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.tex)
)) (/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex)
 (/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex)
(/usr/pkg/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65.sty
)
(/usr/pkg/share/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18.sty
)) (/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
(/usr/pkg/share/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers.cod
e.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex)
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarytopaths.code.tex)))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.geometric.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ge
ometric.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.misc.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.mi
sc.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.symbols.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.sy
mbols.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.arrows.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ar
rows.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.callouts.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.ca
llouts.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
raryshapes.multipart.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshapes.mu
ltipart.code.tex)))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarysnakes.code.tex

Package tikz Warning: Snakes have been superseded by decorations. Please use th
e decoration libraries instead of the snakes library on input line 14.


(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.pathmorphing.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/modules/pgfmoduledecorations.code.te
x))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.pathmorphing.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.pathreplacing.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.pathreplacing.code.tex))
(/usr/pkg/share/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tikzlib
rarydecorations.shapes.code.tex
(/usr/pkg/share/texmf-dist/tex/generic/pgf/libraries/decorations/pgflibrarydeco
rations.shapes.code.tex)))
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/palatino.sty)
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsmath.sty
For additional information on amsmath, use the `?' option.
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amstext.sty
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsgen.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsbsy.sty)
(/usr/pkg/share/texmf-dist/tex/latex/amsmath/amsopn.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/amssymb.sty
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty))
(/usr/pkg/share/texmf-dist/tex/latex/amscls/amsthm.sty)
(/usr/pkg/share/texmf-dist/tex/latex/natbib/natbib.sty) (./src2tex.sty)
(/usr/pkg/share/texmf-dist/tex/latex/preprint/fullpage.sty) (./syntax.sty)
(./bcprules.sty) (./local.sty) (./main.aux)
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/ot1ppl.fd)
(/usr/pkg/share/texmf-dist/tex/latex/hyperref/nameref.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/refcount.sty)
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty))
(./main.out) (./main.out) ABD: EveryShipout initializing macros
(/usr/pkg/share/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
) (/usr/pkg/share/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
(/usr/pkg/share/texmf-dist/tex/latex/oberdiek/grfext.sty
(/usr/pkg/share/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty))
(/usr/pkg/share/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg))
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/umsa.fd)
(/usr/pkg/share/texmf-dist/tex/latex/amsfonts/umsb.fd) [1{/var/lib/texmf/fonts/
map/pdftex/updmap/pdftex.map} <./pdf/boomerang-logo.pdf>]
(/usr/pkg/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
<to be read again> 
                   \relax 
l.98 \tableofcontents
                     {} [1] (./main.toc [2] [3]) [4]
Chapter 1.
[5] [6 <./pdf/arch-basic.pdf>]
(/usr/pkg/share/texmf-dist/tex/latex/psnfss/omsppl.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 = "" | <dictionary "":comp> . (newline .
 <dictionary "":comp>)*[] 
[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:<dictionary "":comp> 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" . <positional "":del [a-z]*> | "R" . <positional ""
:copy [a-z]*>[] 
) [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
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] (/usr/pkg/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){/usr/pkg/share/texmf-dist/
fonts/enc/dvips/base/8r.enc}</usr/pkg/share/texmf-dist/fonts/type1/public/amsfo
nts/cm/cmmi12.pfb></usr/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr
12.pfb></usr/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr
/pkg/share/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/pkg/share
/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb></usr/pkg/share/texmf-dist
/fonts/type1/public/amsfonts/cm/cmti12.pfb></usr/pkg/share/texmf-dist/fonts/typ
e1/urw/courier/ucrr8a.pfb></usr/pkg/share/texmf-dist/fonts/type1/urw/courier/uc
rro8a.pfb></usr/pkg/share/texmf-dist/fonts/type1/urw/palatino/uplb8a.pfb></usr/
pkg/share/texmf-dist/fonts/type1/urw/palatino/uplr8a.pfb></usr/pkg/share/texmf-
dist/fonts/type1/urw/palatino/uplri8a.pfb>
Output written on main.pdf (86 pages, 343993 bytes).
Transcript written on main.log.
- build src bparser.mly
+ ../common/tools/src2f bparser.srcy bparser.mly
bparser.mly
- build src blexer.mll
+ ../common/tools/src2f blexer.srcl blexer.mll
blexer.mll
*** omake: done (35.28 sec, 96/96 scans, 155/213 rules, 361/916 digests)
=> Unwrapping files-to-be-installed.