This is pdfeTeX, Version 3.141592-1.30.5-2.2 (Web2C 7.5.5) (format=pdflatex 2008.7.2)  26 JAN 2009 05:02
entering extended mode
**gadt-paper.tex
(./gadt-paper.tex
LaTeX2e <2003/12/01>
Babel <v3.8d> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
(./tfp07symp.cls
File: tfp07symp Trends in Functional Programming style file $Revision: 1.24 $
 (/usr/share/texmf/tex/latex/base/book.cls
Document Class: book 2004/02/16 v1.4f Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/bk10.clo
File: bk10.clo 2004/02/16 v1.4f Standard LaTeX file (size option)
)
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/usr/share/texmf/tex/latex/mathtime/mathpi.sty
Package: mathpi 1999/03/29 v1.1mathpi font support (FMi/DPC)
)
(/usr/share/texmf/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(/usr/share/texmf/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01

(/usr/share/texmf/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen103
))
(/usr/share/texmf/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
)
(/usr/share/texmf/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count88
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count89
\leftroot@=\count90
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count91
\DOTSCASE@=\count92
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
\macc@depth=\count93
\c@MaxMatrixCols=\count94
\dotsspace@=\muskip10
\c@parentequation=\count95
\dspbrk@lvl=\count96
\tag@help=\toks15
\row@=\count97
\column@=\count98
\maxfields@=\count99
\andhelp@=\toks16
\eqnshift@=\dimen106
\alignsep@=\dimen107
\tagshift@=\dimen108
\tagwidth@=\dimen109
\totwidth@=\dimen110
\lineht@=\dimen111
\@envbody=\toks17
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks18
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
)
(/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2002/01/22 v2.2d

(/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
Package: amsfonts 2001/10/25 v2.2f
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
(Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
LaTeX Font Info:    Redeclaring math alphabet \mathbb on input line 133.
))
(/usr/share/texmf/tex/latex/psnfss/times.sty
Package: times 2004/09/15 PSNFSS-v9.2 (SPQR) 
)
(/usr/share/texmf/tex/latex/psnfss/mathptmx.sty
Package: mathptmx 2004/09/15 PSNFSS-v9.2 Times w/ Math, improved (SPQR, WaS) 
LaTeX Font Info:    Redeclaring symbol font `operators' on input line 28.
LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
(Font)                  OT1/cmr/m/n --> OT1/ztmcm/m/n on input line 28.
LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
(Font)                  OT1/cmr/bx/n --> OT1/ztmcm/m/n on input line 28.
LaTeX Font Info:    Redeclaring symbol font `letters' on input line 29.
LaTeX Font Info:    Overwriting symbol font `letters' in version `normal'
(Font)                  OML/cmm/m/it --> OML/ztmcm/m/it on input line 29.
LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
(Font)                  OML/cmm/b/it --> OML/ztmcm/m/it on input line 29.
LaTeX Font Info:    Redeclaring symbol font `symbols' on input line 30.
LaTeX Font Info:    Overwriting symbol font `symbols' in version `normal'
(Font)                  OMS/cmsy/m/n --> OMS/ztmcm/m/n on input line 30.
LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
(Font)                  OMS/cmsy/b/n --> OMS/ztmcm/m/n on input line 30.
LaTeX Font Info:    Redeclaring symbol font `largesymbols' on input line 31.
LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `normal'
(Font)                  OMX/cmex/m/n --> OMX/ztmcm/m/n on input line 31.
LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `bold'
(Font)                  OMX/cmex/m/n --> OMX/ztmcm/m/n on input line 31.
\symbold=\mathgroup6
\symitalic=\mathgroup7
LaTeX Font Info:    Redeclaring math alphabet \mathbf on input line 34.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
(Font)                  OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 34.
LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
(Font)                  OT1/cmr/bx/n --> OT1/ptm/bx/n on input line 34.
LaTeX Font Info:    Redeclaring math alphabet \mathit on input line 35.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
(Font)                  OT1/cmr/m/it --> OT1/ptm/m/it on input line 35.
LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
(Font)                  OT1/cmr/bx/it --> OT1/ptm/m/it on input line 35.
LaTeX Info: Redefining \hbar on input line 50.
)
\headlineindent=\dimen112
\c@@inst=\count100
\c@@auth=\count101
\c@auco=\count102
\instindent=\dimen113
\authrun=\box28
\authorrunning=\toks19
\tocauthor=\toks20
\titrun=\box29
\titlerunning=\toks21
\toctitle=\toks22
\c@theorem=\count103
LaTeX Font Info:    Redeclaring math symbol \Gamma on input line 1084.
LaTeX Font Info:    Redeclaring math symbol \Delta on input line 1085.
LaTeX Font Info:    Redeclaring math symbol \Theta on input line 1086.
LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 1087.
LaTeX Font Info:    Redeclaring math symbol \Xi on input line 1088.
LaTeX Font Info:    Redeclaring math symbol \Pi on input line 1089.
LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 1090.
LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 1091.
LaTeX Font Info:    Redeclaring math symbol \Phi on input line 1092.
LaTeX Font Info:    Redeclaring math symbol \Psi on input line 1093.
LaTeX Font Info:    Redeclaring math symbol \Omega on input line 1094.
)
(/usr/share/texmf/tex/latex/stmaryrd/stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup8
LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'
(Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.
) (./polytable.sty
Package: polytable 2005/04/25 v0.8.2 `polytable' package (Andres Loeh)

(./lazylist.sty) (/usr/share/texmf/tex/latex/tools/array.sty
Package: array 2003/12/17 v2.4a Tabular extension package (FMi)
\col@sep=\dimen114
\extrarowheight=\dimen115
\NC@list=\toks23
\extratabsurround=\skip46
\backup@length=\skip47
)
\PT@colwidth=\dimen116
\PT@cols=\count104
\PT@table=\count105
\PT@toks=\toks24
\PT@in=\read1
\PT@out=\write3
)
\mathindent=\dimen117
\blanklineskip=\skip48

(/usr/share/texmf/tex/latex/tools/calc.sty
Package: calc 1998/07/07 v4.1b Infix arithmetic (KKT,FJ)
\calc@Acount=\count106
\calc@Bcount=\count107
\calc@Adimen=\dimen118
\calc@Bdimen=\dimen119
\calc@Askip=\skip49
\calc@Bskip=\skip50
LaTeX Info: Redefining \setlength on input line 59.
LaTeX Info: Redefining \addtolength on input line 60.
\calc@denominator=\count108
)
(/usr/share/texmf/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks25
)
(/usr/share/texmf/tex/latex/graphics/graphics.sty
Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texmf/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/share/texmf/tex/latex/graphics/graphics.cfg
File: graphics.cfg 2005/02/03 v1.3 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: pdftex.def on input line 80.

(/usr/share/texmf/tex/latex/graphics/pdftex.def
File: pdftex.def 2002/06/19 v0.03k graphics/color for pdftex
\Gread@gobject=\count109
))
\Gin@req@height=\dimen120
\Gin@req@width=\dimen121
)
(/usr/share/texmf/tex/latex/fancyvrb/fancyvrb.sty
Package: fancyvrb 1998/07/17

Style option: `fancyvrb' v2.6, with DG/SPQR fixes <1998/07/17> (tvz)
\FV@CodeLineNo=\count110
\FV@InFile=\read2
\FV@TabBox=\box30
\c@FancyVerbLine=\count111
\FV@StepNumber=\count112
\FV@OutFile=\write4

No file fancyvrb.cfg.
) (./mainsty.sty
\TmpRead=\read3
\c@ExampleEnv=\count113
\blindbox=\box31
\blindboxwd=\skip51
\blindboxht=\skip52
\blindboxdp=\skip53
) (/usr/share/texmf/tex/generic/babel/babel.sty
Package: babel 2004/11/20 v3.8d The Babel package

(/usr/share/texmf/tex/generic/babel/english.ldf
Language: english 2004/06/14 v3.3o English support from the babel system

(/usr/share/texmf/tex/generic/babel/babel.def
File: babel.def 2004/11/20 v3.8d Babel common definitions
\babel@savecnt=\count114
\U@D=\dimen122
)
\l@british = a dialect from \language\l@english 
\l@UKenglish = a dialect from \language\l@english 
\l@canadian = a dialect from \language\l@american 
\l@australian = a dialect from \language\l@british 
\l@newzealand = a dialect from \language\l@british 
))
(/usr/share/texmf-site/tex/latex/xcolor/xcolor.sty
Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)

(/usr/share/texmf/tex/latex/graphics/color.cfg
File: color.cfg 2005/02/03 v1.3 color configuration of teTeX/TeXLive
)
Package xcolor Info: Driver file: pdftex.def on input line 225.
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
Package xcolor Info: Model `RGB' extended on input line 1353.
Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
) (./gadt-paper.aux)
\openout1 = `gadt-paper.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 253.
LaTeX Font Info:    ... okay on input line 253.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 253.
LaTeX Font Info:    ... okay on input line 253.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 253.
LaTeX Font Info:    ... okay on input line 253.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 253.
LaTeX Font Info:    ... okay on input line 253.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 253.
LaTeX Font Info:    ... okay on input line 253.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 253.
LaTeX Font Info:    ... okay on input line 253.
LaTeX Font Info:    Try loading font information for OT1+ptm on input line 253.


(/usr/share/texmf/tex/latex/psnfss/ot1ptm.fd
File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
)
(/usr/share/texmf/tex/context/base/supp-pdf.tex
(/usr/share/texmf/tex/context/base/supp-mis.tex
loading : Context Support Macros / Miscellaneous (2004.10.26)
\protectiondepth=\count115
\scratchcounter=\count116
\scratchtoks=\toks26
\scratchdimen=\dimen123
\scratchskip=\skip54
\scratchmuskip=\muskip11
\scratchbox=\box32
\scratchread=\read4
\scratchwrite=\write5
\zeropoint=\dimen124
\onepoint=\dimen125
\onebasepoint=\dimen126
\minusone=\count117
\thousandpoint=\dimen127
\onerealpoint=\dimen128
\emptytoks=\toks27
\nextbox=\box33
\nextdepth=\dimen129
\everyline=\toks28
\!!counta=\count118
\!!countb=\count119
\recursecounter=\count120
)
loading : Context Support Macros / PDF (2004.03.26)
\nofMPsegments=\count121
\nofMParguments=\count122
\MPscratchCnt=\count123
\MPscratchDim=\dimen130
\MPnumerator=\count124
\everyMPtoPDFconversion=\toks29
)
Chapter 5.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <20.74> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 257.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <24.88> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 257.
LaTeX Font Info:    Try loading font information for OT1+ztmcm on input line 26
2.
(/usr/share/texmf/tex/latex/psnfss/ot1ztmcm.fd
File: ot1ztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OT1/ztmcm.
)
LaTeX Font Info:    Try loading font information for OML+ztmcm on input line 26
2.

(/usr/share/texmf/tex/latex/psnfss/omlztmcm.fd
File: omlztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OML/ztmcm.
)
LaTeX Font Info:    Try loading font information for OMS+ztmcm on input line 26
2.

(/usr/share/texmf/tex/latex/psnfss/omsztmcm.fd
File: omsztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMS/ztmcm.
)
LaTeX Font Info:    Try loading font information for OMX+ztmcm on input line 26
2.

(/usr/share/texmf/tex/latex/psnfss/omxztmcm.fd
File: omxztmcm.fd 2000/01/03 Fontinst v1.801 font definitions for OMX/ztmcm.
)
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <12> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 262.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <9> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 262.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <7> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 262.
LaTeX Font Info:    Try loading font information for U+stmry on input line 262.


(/usr/share/texmf/tex/latex/stmaryrd/ustmry.fd)
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <5> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 263.
LaTeX Font Info:    Try loading font information for OT1+pcr on input line 263.


(/usr/share/texmf/tex/latex/psnfss/ot1pcr.fd
File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr.
)
LaTeX Font Info:    Try loading font information for OMS+pcr on input line 263.


(/usr/share/texmf/tex/latex/psnfss/omspcr.fd
File: omspcr.fd 
)
LaTeX Font Info:    Font shape `OMS/pcr/m/n' in size <9> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 263.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <10> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 2416.
LaTeX Font Info:    Font shape `OT1/ptm/bx/it' in size <10> not available
(Font)              Font shape `OT1/ptm/b/it' tried instead on input line 2416.

 [65


{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
LaTeX Font Info:    Try loading font information for OMS+ptm on input line 2439
.
 (/usr/share/texmf/tex/latex/psnfss/omsptm.fd
File: omsptm.fd 
)
LaTeX Font Info:    Font shape `OMS/ptm/m/n' in size <10> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 2439.

LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <7.4> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 2439.
LaTeX Font Info:    Font shape `OT1/ptm/bx/n' in size <6> not available
(Font)              Font shape `OT1/ptm/b/n' tried instead on input line 2439.
 [66]
[67]
\openout3 = `gadt-paper.ptb'.

\openout3 = `gadt-paper.ptb'.

\openout3 = `gadt-paper.ptb'.

\openout3 = `gadt-paper.ptb'.

 [68]
\openout3 = `gadt-paper.ptb'.

\openout3 = `gadt-paper.ptb'.

\openout3 = `gadt-paper.ptb'.

\openout3 = `gadt-paper.ptb'.

 [69]
\openout3 = `gadt-paper.ptb'.


Overfull \hbox (5.51138pt too wide) in paragraph at lines 2755--2926
[][] 
 []

[70] [71]
Overfull \hbox (1.0228pt too wide) in paragraph at lines 2936--2937
[]\OT1/ptm/m/n/10 When we ig-nore the spe-cial rules $[]$, $[]$, and $[]$
 []

[72] [73] [74]
\openout3 = `gadt-paper.ptb'.

 [75]
Overfull \hbox (7.28189pt too wide) in paragraph at lines 3026--3027
\OT1/ptm/m/n/10 store co-er-cions as ad-di-tional fields, and re-quire them to 
be passed ($[]$)
 []

\openout3 = `gadt-paper.ptb'.


Overfull \hbox (5.51138pt too wide) in paragraph at lines 3032--3143
[][] 
 []

[76] [77] [78] [79] (./gadt-paper.bbl) [80] (./gadt-paper.aux) ) 
Here is how much of TeX's memory you used:
 4618 strings out of 94432
 57951 string characters out of 1175567
 171379 words of memory out of 7000000
 7722 multiletter control sequences out of 10000+250000
 63968 words of font info for 136 fonts, out of 500000 for 2000
 580 hyphenation exceptions out of 1000
 34i,22n,79p,1439b,1805s stack positions out of 1500i,500n,5000p,200000b,5000s
PDF statistics:
 90 PDF objects out of 300000
 0 named destinations out of 131072
 1 words of extra memory for PDF output out of 10000
</usr/share/tex
mf/fonts/type1/bluesky/symbols/msam10.pfb></usr/share/texmf/fonts/type1/urw/sym
bol/usyr.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmtt10.pfb></usr/share/te
xmf/fonts/type1/bluesky/cm/cmmi10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/
cmr10.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmsy10.pfb>{/usr/share/texmf
/fonts/enc/dvips/psnfss/8r.enc}</usr/share/texmf/fonts/type1/urw/times/utmr8a.p
fb></usr/share/texmf/fonts/type1/urw/courier/ucrr8a.pfb></usr/share/texmf/fonts
/type1/bluesky/cm/cmsy9.pfb></usr/share/texmf/fonts/type1/urw/times/utmbi8a.pfb
></usr/share/texmf/fonts/type1/urw/times/utmri8a.pfb></usr/share/texmf/fonts/ty
pe1/urw/times/utmr8a.pfb></usr/share/texmf/fonts/type1/urw/times/utmb8a.pfb>
Output written on gadt-paper.pdf (16 pages, 165611 bytes).