***** Generating grammars *****
   CAML (sun) (V 2-6.1) by INRIA Fri Nov 24 1989

#cd (caml_directory^caml_version^"/doc/manual/");; 
"/usr/local/caml/V2-6.1/doc/manual" : string

#security latex_file "grammars";; 
Processing /usr/local/caml/V2-6.1/doc/manual/grammars.tex

Editing y.tab.c ...


Editing y.tab.c ...


Editing y.tab.c ...


line 8: ill-typed phrase, the variable s of type ML
cannot be used with type instance string in s^" "
1 error in typechecking

Typecheck Failed
Warning: variable(s) prefix +, display_string, display_num 
will be dynamically bound

Editing y.tab.c ...

Warning: variable(s) prefix +, display_string, display_num 
will be dynamically bound

conflicts: 1 shift/reduce

Editing y.tab.c ...


Editing y.tab.c ...


conflicts: 1 shift/reduce

Editing y.tab.c ...


Editing y.tab.c ...

/usr/local/caml/V2-6.1/doc/manual/grammars.tex processed
A bientot ...
chmod +w grammars.ml.tex
***** Generating system *****
   CAML (sun) (V 2-6.1) by INRIA Fri Nov 24 1989

#cd (caml_directory^caml_version^"/doc/manual/");; 
"/usr/local/caml/V2-6.1/doc/manual" : string

#security latex_file "system";; 
Processing /usr/local/caml/V2-6.1/doc/manual/system.tex
entering system -> 0
quitting system -> 1
entering system -> 0
Typing...
Compiling...
Assembling...
Loading...
Running...
quitting system -> 1
entering system -> 0
quitting system -> 1
entering system -> 0
Typing...
Compiling...
Assembling...
Loading...
Running...
quitting system -> 1
Warning: 1 partial match in this phrase
/usr/local/caml/V2-6.1/doc/manual/system.tex processed
A bientot ...
chmod +w system.ml.tex
***** Generating bugs *****
   CAML (sun) (V 2-6.1) by INRIA Fri Nov 24 1989

#cd (caml_directory^caml_version^"/doc/manual/");; 
"/usr/local/caml/V2-6.1/doc/manual" : string

#security latex_file "bugs";; 
Processing /usr/local/caml/V2-6.1/doc/manual/bugs.tex

line 1 Syntax error: 
Skipping: lazy = false ;; 
Parse Failed

line 1 Syntax error: 
Skipping: ;; 
Parse Failed

line 1 Syntax error: 
Skipping: end = quit ;; 
Parse Failed
Warning: type + redefined

ill-typed phrase, the constant false of type bool
cannot be used with type instance (bool * bool) in
true & (true,true)
1 error in typechecking

Typecheck Failed

line 1: unbound type foo in ([] : foo list)

line 1: cannot generalize type 'a list
for argument of mutable sum constructor ref
2 errors in typechecking

Typecheck Failed
Warning: 1 partial match in this phrase
Warning: 1 partial match in this phrase
Warning: 1 unused match case in this phrase
Warning: 1 unused match case in this phrase

Ill construction of a recursive value
Warning: unsafe recursive declaration
Warning: unsafe recursive declaration
Warning: 1 partial match in this phrase

Pattern matching Failed
Warning: unsafe recursive declaration

Ill construction of a recursive value
Warning: unsafe recursive declaration

Evaluation Failed: num_of_obj
Warning: unsafe recursive declaration
Warning: unsafe recursive declaration

System error: catenate <:obj<(())>>
Warning: unsafe recursive declaration
Caml : I quit on signal 7
*** Error code 255

Stop.
***** Generating bugs *****
   CAML (sun) (V 2-6.1) by INRIA Fri Nov 24 1989

#cd (caml_directory^caml_version^"/doc/manual/");; 
"/usr/local/caml/V2-6.1/doc/manual" : string

#security latex_file "bugs";; 
Processing /usr/local/caml/V2-6.1/doc/manual/bugs.tex

line 1 Syntax error: 
Skipping: lazy = false ;; 
Parse Failed

line 1 Syntax error: 
Skipping: ;; 
Parse Failed

line 1 Syntax error: 
Skipping: end = quit ;; 
Parse Failed
Warning: type + redefined

ill-typed phrase, the constant false of type bool
cannot be used with type instance (bool * bool) in
true & (true,true)
1 error in typechecking

Typecheck Failed

line 1: unbound type foo in ([] : foo list)

line 1: cannot generalize type 'a list
for argument of mutable sum constructor ref
2 errors in typechecking

Typecheck Failed
Warning: 1 partial match in this phrase
Warning: 1 partial match in this phrase
Warning: 1 unused match case in this phrase
Warning: 1 unused match case in this phrase

Ill construction of a recursive value
Warning: unsafe recursive declaration
Warning: unsafe recursive declaration
Warning: 1 partial match in this phrase

Pattern matching Failed
Warning: unsafe recursive declaration

Ill construction of a recursive value
Warning: unsafe recursive declaration

Evaluation Failed: num_of_obj
Warning: unsafe recursive declaration
Warning: unsafe recursive declaration

System error: catenate <:obj<(())>>

line 2 Syntax error: 
Skipping: and result = fact 10 ;; 
Parse Failed
Warning: latex filter: INCORRECT INPUT
% was ignored
Warning: unsafe recursive declaration
Warning: 1 partial match in this phrase

Undefined

Undefined forward foo

Undefined forward foo

Undefined forward foo
Warning: type foo redefined

line 1: ill-typed phrase, the constant () of type unit
cannot be used with type instance num in if true then 1
1 error in typechecking

Typecheck Failed

System error: abs <:obj<#$8000>>
/usr/local/caml/V2-6.1/doc/manual/bugs.tex processed
A bientot ...
chmod +w bugs.ml.tex
/bin/rm -f manual.idx manual.idx.tex manual.glo manual.glo.tex
touch manual.idx.tex
latex manual.tex
This is TeX, C Version 2.93 (Multilingual) (no format preloaded)
(manual.tex
LaTeX Version 2.09 <4 Aug 1988>
(/usr/local/lib/tex/inputs/book.sty
Document Style `book' <26 Apr 88>/multilingual 1-nov-89 +++
(/usr/local/lib/tex/inputs/bk11.sty)) (vaxfullpage.sty)
(/usr/local/lib/tex/inputs/titlepage.sty) (syntax_macro.tex)
Writing index file manual.idx 
Writing glossary file manual.glo 
(figure_ps.tex
include PostScript files. Released 30 November 1988
) (manual.aux (titre.aux) (dedicace.aux) (demo_caml.ml.aux) (lex.ml.aux)
(syntax.aux) (prelude.ml.aux) (strings.ml.aux) (dynamics.ml.aux)
(persistent.ml.aux) (streams.ml.aux) (format.ml.aux) (pretty.ml.aux)
(directives.ml.aux) (compile.ml.aux) (modules.ml.aux) (grammars.ml.aux)
(eval.ml.aux) (Macros.ml.aux) (comments.ml.aux) (show.ml.aux) (system.ml.aux)
(trace.ml.aux) (memo.ml.aux) (stat.ml.aux) (user_prelude.ml.aux) (hash.ml.aux)
(strings_lib.ml.aux) (inter.ml.aux) (automat.ml.aux) (latex.ml.aux)
(bugs.ml.aux) (keywords.aux) (install.aux) (appendix.ml.aux) (manual.idx.aux)
(manual.glo.aux)) (titre.tex [1]) [0] (dedicace.tex [1]) [0] (manual.toc
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]) [12] [13] [14] (demo_caml.ml.tex

Chapter 1.
[15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27]
Overfull \hbox (45.90027pt too wide) in paragraph at lines 725--725
[]\elvtt Calling Yacc ... .....................................................
......[] 

Underfull \vbox (badness 10000) has occurred while \output is active [28]
[29] [30] [31] [32] [33]
Overfull \hbox (22.90552pt too wide) in paragraph at lines 1010--1010
[]\elvtt Calling Yacc ... .....................................................
..[] 
[34] [35] [36] [37]) [38] [39] [40] (lex.ml.tex
Chapter 2.
[41] [42] [43] [44] [45]) [46] [47] (syntax.tex [48]
Chapter 3.
(syntax_conv.tex) (syntax_top.ml.tex [49]) (syntax_constants.tex)
(syntax_exprs.tex
Underfull \hbox (badness 1910) in paragraph at lines 36--36
\elvrm han-dlers and lo-cal dec-la-ra-tions (\elvtt let []in

Overfull \hbox (69.95949pt too wide) in paragraph at lines 14--55
[][] 
[50]
Underfull \vbox (badness 10000) has occurred while \output is active [51]
Overfull \hbox (55.65656pt too wide) in paragraph at lines 95--124
[][] 

Underfull \vbox (badness 10000) has occurred while \output is active [52]
Overfull \hbox (4.27254pt too wide) in paragraph at lines 127--135
[] 

Underfull \vbox (badness 10000) has occurred while \output is active [53])
(syntax_idents.tex
Underfull \hbox (badness 10000) in paragraph at lines 3--9


Underfull \hbox (badness 10000) in paragraph at lines 9--15


Underfull \hbox (badness 10000) in paragraph at lines 15--21


Underfull \hbox (badness 10000) in paragraph at lines 21--27


Underfull \hbox (badness 10000) in paragraph at lines 27--35


Underfull \hbox (badness 10000) in paragraph at lines 35--41


Underfull \hbox (badness 10000) in paragraph at lines 41--47


Underfull \hbox (badness 10000) in paragraph at lines 47--66

[54]) (syntax_pats.tex
Underfull \hbox (badness 10000) in paragraph at lines 3--9


Underfull \hbox (badness 10000) in paragraph at lines 9--15


Underfull \hbox (badness 10000) in paragraph at lines 15--23


Underfull \hbox (badness 10000) in paragraph at lines 23--30


Underfull \hbox (badness 10000) in paragraph at lines 30--46

) (syntax_decls.tex [55]
Overfull \hbox (23.75906pt too wide) in paragraph at lines 59--66
[] 
) (syntax_types.tex) (syntax_pragmas.tex [56]
Overfull \hbox (92.89955pt too wide) in paragraph at lines 37--59
[] 
[57])) [58] (prelude.ml.tex
Chapter 4.
[59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69]
Overfull \hbox (1.58788pt too wide) in paragraph at lines 689--691
[]   [] \elvrm When declar-ing a type, some con-struc-tors or la-bels can be qu
al-i-fied as []
[70] [71] [72]
Overfull \hbox (31.75732pt too wide) in paragraph at lines 831--834
[]\elvrm We use a lo-cal ref-er-ence counter which is shared be-tween \elvtt ge
n_sym \elvrm and \elvtt reset_gen_sym\elvrm ,

Overfull \hbox (30.6045pt too wide) in paragraph at lines 831--834
\elvrm in-cre-mented each time \elvtt gen_sym \elvrm is called and re-set to 0 
when nec-es-sary by \elvtt reset_gen_sym\elvrm . 
[73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87]
[88] [89] [90] [91] [92]
Chapter 5.
[93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106]
[107] [108] [109]
Underfull \vbox (badness 1009) has occurred while \output is active [110]
[111] [112] [113] [114]
Underfull \vbox (badness 3179) has occurred while \output is active [115]
[116] [117] [118]
Chapter 6.
[119] [120] [121] [122] [123] [124] [125] [126]
Underfull \vbox (badness 1242) has occurred while \output is active [127]
[128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156]) [157] (strings.ml.tex [158]
Chapter 7.
[159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173]) [174] (dynamics.ml.tex
Chapter 8.
[175] [176] [177] [178] [179] [180]) [181] (persistent.ml.tex [182]
Chapter 9.
[183]) [184] (streams.ml.tex
Chapter 10.
[185] [186] [187] [188] [189]
Overfull \hbox (35.40802pt too wide) in paragraph at lines 448--454
[]\elvrm This func-tion re-turns the first char-ac-ter avail-able from the in-p
ut chan-nel \elvtt <in_channel>

Overfull \hbox (15.39201pt too wide) in paragraph at lines 470--476
[]\elvrm The four pre-ced-ing func-tions \elvtt input\elvrm , \elvtt input_line
\elvrm , \elvtt lookahead \elvrm and \elvtt end_of_channel
[190] [191] [192] [193] [194] [195]
Overfull \hbox (5.65945pt too wide) in paragraph at lines 952--952
[]\elvtt <<(gc 27 0 0 0 0 0 0 3 cons 24320 symbol 2348 string 7889 vector 2386[
] 

Overfull \hbox (11.40814pt too wide) in paragraph at lines 952--952
[]\elvtt <<(gc 67 0 0 0 0 0 40 3 cons 24320 symbol 2348 string 7889 vector 2386
[] 
[196]
Overfull \hbox (11.40814pt too wide) in paragraph at lines 1032--1032
[]\elvtt <<(gc 85 0 0 0 0 0 92 5 cons 24320 symbol 2348 string 7886 vector 2383
[] 
[197]
Overfull \hbox (11.40814pt too wide) in paragraph at lines 1032--1032
[]\elvtt <<(gc 85 0 0 0 0 0 97 5 cons 24192 symbol 2348 string 7878 vector 2380
[] 
[198]
Overfull \hbox (11.40814pt too wide) in paragraph at lines 1087--1087
[]\elvtt <<(gc 85 0 0 0 0 0 97 6 cons 24320 symbol 2348 string 7883 vector 2381
[] 

Overfull \hbox (11.40814pt too wide) in paragraph at lines 1087--1087
[]\elvtt <<(gc 85 0 0 0 0 0 99 6 cons 24192 symbol 2348 string 7875 vector 2378
[] 
[199]
Overfull \hbox (11.40814pt too wide) in paragraph at lines 1138--1138
[]\elvtt <<(gc 85 0 0 0 0 0 99 7 cons 24320 symbol 2348 string 7880 vector 2379
[] 

Overfull \hbox (17.15683pt too wide) in paragraph at lines 1138--1138
[]\elvtt <<(gc 85 0 0 0 0 0 100 7 cons 24192 symbol 2348 string 7870 vector 237
6[] 
[200]
Overfull \hbox (17.15683pt too wide) in paragraph at lines 1220--1220
[]\elvtt <<(gc 85 0 0 0 0 0 101 9 cons 24192 symbol 2347 string 7870 vector 237
6[] 

Overfull \hbox (17.15683pt too wide) in paragraph at lines 1220--1220
[]\elvtt <<(gc 85 0 0 0 0 0 101 9 cons 24320 symbol 2347 string 7870 vector 237
6[] 
[201]
Overfull \hbox (22.90552pt too wide) in paragraph at lines 1252--1252
[]\elvtt <<(gc 85 0 0 0 0 0 101 10 cons 23424 symbol 2348 string 7771 vector 22
79[] 

Overfull \hbox (22.90552pt too wide) in paragraph at lines 1252--1252
[]\elvtt <<(gc 85 0 0 0 0 0 101 10 cons 23424 symbol 2348 string 7771 vector 22
79[] 
) [202] (format.ml.tex
Chapter 11.
[203]
Overfull \hbox (5.11569pt too wide) in paragraph at lines 131--133
[] []\elvtt set_echo_margin \elvrm al-lows you to fix the max-i-mum num-ber of 
char-ac-ters printed
[204] [205]
Overfull \hbox (53.6502pt too wide) in paragraph at lines 274--277
\elvrm These are prim-i-tives to print val-ues of ba-sic data types. The func-t
ion \elvtt print_string_for_read
[206] [207]
Overfull \hbox (45.78029pt too wide) in paragraph at lines 388--390
[] []\elvtt print_cut \elvrm is quiv-a-lent to \elvtt print_break(0,0) \elvrm a
nd \elvtt print_space \elvrm to \elvtt print_break(1,0)\elvrm . 
[208] [209]
Overfull \hbox (31.15253pt too wide) in paragraph at lines 497--502
\elvrm The prob-lem is that all the rou-tines which use a func-tion which per-f
orms a \elvtt print_newline
[210]
Overfull \hbox (53.23405pt too wide) in paragraph at lines 586--596
\elvrm limit is re-ported by \elvtt limit_depth\elvrm , and may be re-set too, 
by the com-mand \elvtt limit_print_depth\elvrm .

Overfull \hbox (22.96915pt too wide) in paragraph at lines 586--596
\elvrm No-tice that it is im-pos-si-ble to set \elvtt limit_print_depth \elvrm 
to be less than \elvtt max_print_depth\elvrm . 
[211] [212] [213] [214] [215]) [216] (pretty.ml.tex
Chapter 12.
[217]
Overfull \hbox (55.43375pt too wide) in paragraph at lines 67--92
[][]

Overfull \hbox (35.31564pt too wide) in paragraph at lines 95--103
[][] 
[218] [219]
Overfull \hbox (7.04701pt too wide) in paragraph at lines 223--225
[] [][] \elvrm (op-tion-naly pre-ceded by the key-word [] (or [])):
[220]
Overfull \hbox (13.51039pt too wide) in paragraph at lines 301--303
[] []\elvrm the key-word [] (or []) is used in-stead of the key-word [], 
[221] [222]
Overfull \hbox (11.07022pt too wide) in paragraph at lines 370--373
\elvrm ers, we can use: [] [] [] ``[]'' []
[223] [224] [225]
Underfull \vbox (badness 10000) has occurred while \output is active [226]
Overfull \hbox (6.99936pt too wide) in paragraph at lines 586--596
[] 
[227]
Underfull \vbox (badness 10000) has occurred while \output is active [228])
[229] (directives.ml.tex [230]
Chapter 13.
[231] [232] [233] [234] [235]
Underfull \vbox (badness 10000) has occurred while \output is active [236]
[237]
Overfull \hbox (48.36984pt too wide) in paragraph at lines 452--456
[][] [] [] [] [] [] []
[238]) [239] (compile.ml.tex [240]
Chapter 14.
[241] [242]
Overfull \hbox (3.04468pt too wide) in paragraph at lines 189--191
[]\elvtt find_ml_file \elvrm per-forms the same op-er-a-tion as the pre-vi-ous 
com-mand for CAML
[243] [244] [245] [246] [247]
Underfull \vbox (badness 10000) has occurred while \output is active [248])
[249] [250] (modules.ml.tex
Chapter 15.

Underfull \hbox (badness 10000) in paragraph at lines 43--82


Underfull \vbox (badness 10000) has occurred while \output is active [251]
Underfull \vbox (badness 5119) has occurred while \output is active [252]
[253]
Overfull \hbox (55.24611pt too wide) in paragraph at lines 230--230
[]\tentt Evaluation Failed: compile_source /usr/local/caml/V2-6.1/doc/manual/au
x/ill_export.ml[] 
[254] [255] [256]
Overfull \hbox (13.24648pt too wide) in paragraph at lines 410--410
[]\tentt Evaluation Failed: load_code /usr/local/caml/V2-6.1/doc/manual/aux/pro
blem.lo[] 
[257]) [258] (grammars.ml.tex
Chapter 16.
[259] [260] [261]
Overfull \hbox (1.13164pt too wide) in paragraph at lines 187--194
\elvrm parser, when it en-coun-ters some spe-cial char-ac-ter se-quence (such a
s ``\elvtt <<\elvrm '' or ``\elvtt <:G<\elvrm '')

Underfull \hbox (badness 10000) in paragraph at lines 213--220

[262] [263] [264]
Overfull \hbox (18.64738pt too wide) in paragraph at lines 386--393
[] 
[265] [266] [267] [268] [269] [270] [271]
Underfull \vbox (badness 10000) has occurred while \output is active [272]
Overfull \hbox (39.49625pt too wide) in paragraph at lines 870--870
[]\tentt Calling Yacc ... .....................................................
............[] 
[273] [274]
Overfull \hbox (2.74657pt too wide) in paragraph at lines 989--989
[]\tentt Calling Yacc ... .....................................................
.....[] 
[275] [276]
Overfull \hbox (60.49606pt too wide) in paragraph at lines 1085--1085
[]\tentt Calling Yacc ... .....................................................
................[] 
[277] [278]
Overfull \hbox (1.22346pt too wide) in paragraph at lines 1220--1227
[] []\elvrm grammars for pro-grams: they act as macros for ac-tions pro-duc-ing
 CAML
[279]) [280] (eval.ml.tex
Chapter 17.
[281]) [282] (Macros.ml.tex
Chapter 18.
[283] [284] [285] [286] [287]
Underfull \hbox (badness 10000) in paragraph at lines 302--304

[288] [289]) [290] (comments.ml.tex
Chapter 19.
[291]) [292] (show.ml.tex
Chapter 20.
[293] [294] [295]) [296] [297] [298] (system.ml.tex
Chapter 21.
[299] [300] [301] [302] [303] [304] [305]) [306] (trace.ml.tex
Chapter 22.
[307] [308] [309] [310] [311] [312]
Overfull \hbox (15.97418pt too wide) in paragraph at lines 397--400
[]   [] \elvrm One may un-trace tem-porar-ily (us-ing \elvtt set_trace\elvrm ) 
or defini-tively (us-ing \elvtt untrace_fun
[313] [314] [315] [316] [317]
Underfull \vbox (badness 2790) has occurred while \output is active [318]
[319] [320] [321] [322]
Underfull \vbox (badness 1394) has occurred while \output is active [323]
[324]
Overfull \hbox (10.4969pt too wide) in paragraph at lines 1120--1122
[] []\elvtt <:Trace<f ... t : trace t with predicate p>> \elvrm is equiv-a-lent
 to \elvtt trace_if
[325] [326] [327] [328] [329] [330] [331]
Overfull \hbox (19.50279pt too wide) in paragraph at lines 1502--1527
[][] 

Overfull \hbox (30.7537pt too wide) in paragraph at lines 1557--1569
[][]
[332]) [333] (memo.ml.tex [334]
Chapter 23.
[335] [336]) [337] (stat.ml.tex [338]
Chapter 24.
[339] [340] [341]) [342] [343] [344] (user_prelude.ml.tex
Chapter 25.
[345] [346]) [347] (hash.ml.tex [348]
Chapter 26.
[349] [350] [351] [352] [353] [354]
Underfull \vbox (badness 10000) has occurred while \output is active [355]
[356]) [357] (strings_lib.ml.tex [358]
Chapter 27.
[359] [360] [361]) [362] (inter.ml.tex
Chapter 28.

Overfull \hbox (5.2364pt too wide) in paragraph at lines 63--65
[] []\elvtt get_bounded_num from to \elvrm will fail if the an-swer is not into
 the range \elvtt from\elvrm ,\elvtt to\elvrm . 
[363]) [364] (automat.ml.tex
Chapter 29.
[365] [366] [367] [368]
Overfull \hbox (25.5146pt too wide) in paragraph at lines 265--270
\elvrm pat-tern). So, know-ing that \elvtt ignore \elvrm is the ac-tion that do
es noth-ing, \elvtt do_while_char_thru
[369] [370] [371] [372] [373] [374] [375] [376] [377] [378]
Underfull \vbox (badness 10000) has occurred while \output is active [379]
[380]
Underfull \vbox (badness 10000) has occurred while \output is active [381])
[382] (latex.ml.tex
Chapter 30.
[383] [384] [385] [386] [387] [388]
Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[] []\tentt (******************************************************************
*******)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                     Projet      Formel                             
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                            CAML                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*********************************************************************
****)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                            Inria                                   
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                      Domaine de Voluceau                           
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                      78150  Rocquencourt                           
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                            France                                  
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*********************************************************************
****)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (* user_prelude.ml General purpose functions                          
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                 These functions are defined autoload               
   *)[] 
[389]
Overfull \hbox (2.74657pt too wide) in paragraph at lines 607--607
[]\tentt (*                 in the CAML system                                 
   *)[] 

Overfull \hbox (18.49643pt too wide) in paragraph at lines 607--607
[] \tentt where rec it_map_f_g a = fun [] -> a | (b::l) -> (it_map_f_g (f a (g 
b)) l);;[] 

Underfull \vbox (badness 10000) has occurred while \output is active [390]
Overfull \hbox (7.99652pt too wide) in paragraph at lines 607--607
[]\tentt But in fact \verb"num_map" is just a closure of \verb"map_i", since we
 have:[] 

Underfull \vbox (badness 10000) has occurred while \output is active [391]
Overfull \hbox (7.99652pt too wide) in paragraph at lines 607--607
[]\tentt \item \verb"except_last_n n l" returns the elements of the list \verb"
l" the[] 

Underfull \vbox (badness 10000) has occurred while \output is active [392])
[393] [394] [395] [396] (bugs.ml.tex
Chapter 31.
[397] [398] [399] [400] [401] [402] [403] [404] [405]
Overfull \hbox (5.65945pt too wide) in paragraph at lines 571--571
[]\elvtt #       | Complex(x,y),Complex(u,v) -> "add a complex to a complex";;[
] 
[406] [407] [408] [409] [410] [411] [412] [413] [414] [415] [416] [417])
[418] (keywords.tex) [419] (install.tex [420]
Chapter 32.

Overfull \hbox (9.40044pt too wide) in paragraph at lines 22--24
[]\elvrm The dis-tri-bu-tion tape con-tains di-rec-to-ries \elvtt V2-6.1 \elvrm
 (CAML) and \elvtt Exemples \elvrm (CAML
[421] [422]) [423] (appendix.ml.tex [424]
Chapter 33.

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[] []\tentt (******************************************************************
*******)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                     Projet      Formel                             
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                            CAML                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*********************************************************************
****)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                            Inria                                   
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                      Domaine de Voluceau                           
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                      78150  Rocquencourt                           
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                            France                                  
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (*********************************************************************
****)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]\tentt (* top_gram The grammar of the CAML toplevel                          
   *)[] 

Overfull \hbox (7.99652pt too wide) in paragraph at lines 91--91
[]\tentt let parse_overload_binding _ = raise parse "overloading not yet suppor
ted";;[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 91--91
[]   \tentt Warning: the parser of this grammar must be able to decide which ru
le to[] 
[425]
Underfull \vbox (badness 10000) has occurred while \output is active [426]
Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[] []\tentt (******************************************************************
*******)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                     Projet      Formel                             
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                            CAML                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*********************************************************************
****)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                            Inria                                   
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                      Domaine de Voluceau                           
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                      78150  Rocquencourt                           
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                            France                                  
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*********************************************************************
****)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (* caml_gram The grammar of CAML itself                               
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*           Michel Mauny (translation from old Yacc interface)       
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*           Ascander Suarez                                          
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt (*           Pierre Weis                                              
   *)[] 

Overfull \hbox (23.74638pt too wide) in paragraph at lines 1102--1102
[]    \tentt ML_to_MML(do_out_of_system parse_ol_grammar (MLstring_to_string #s
1, ""))>>[] 
[427]
Overfull \hbox (23.74638pt too wide) in paragraph at lines 1102--1102
[]     \tentt raise parse "Empty list of tags specified for an anonymous type a
t import"[] 

Underfull \vbox (badness 10000) has occurred while \output is active [428]
Underfull \vbox (badness 10000) has occurred while \output is active [429]
Overfull \hbox (18.49643pt too wide) in paragraph at lines 1102--1102
[]    \tentt function MLquote(dynamic (expr: ML)) -> MLquote(dynamic(expr_to_pa
t expr))[] 

Underfull \vbox (badness 10000) has occurred while \output is active [430]
Underfull \vbox (badness 10000) has occurred while \output is active [431]
Overfull \hbox (13.24648pt too wide) in paragraph at lines 1102--1102
[]            \tentt -> (#(if MACROGRAM then <:Caml:Expr<MLapply(MLvar "(*-*)",
e,[])>>[] 

Underfull \vbox (badness 10000) has occurred while \output is active [432]
Underfull \vbox (badness 10000) has occurred while \output is active [433]
Overfull \hbox (18.49643pt too wide) in paragraph at lines 1102--1102
[]    \tentt parse Fnexpr16 e1; ( * (parse Literal ";"; Fnexpr16 e -> e)) el ->
 (e1,el)[] 

Underfull \vbox (badness 10000) has occurred while \output is active [434]
Overfull \hbox (18.49643pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Literal "begin"; Literal "do"; Expr17 e; Literal "end"; Lite
ral "do"[] 

Underfull \vbox (badness 10000) has occurred while \output is active [435]
Overfull \hbox (23.74638pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Literal "begin"; Literal "fun"; Match m; Literal "end"; Lite
ral "fun"[] 

Overfull \hbox (18.49643pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Literal "begin"; Literal "match"; Expr e; Literal "with"; Um
atch um;[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Literal "begin"; Literal "case"; Expr e; Literal "of"; Umatc
h um;[] 

Overfull \hbox (18.49643pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Literal "begin"; Literal "try"; Expr e; Literal "with"; Trym
atch tm;[] 

Underfull \vbox (badness 10000) has occurred while \output is active [436]
Overfull \hbox (7.99652pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Pat p; Literal "->"; Expr e; Literal "reraise" -> p,MLseqrer
aise e[] 

Overfull \hbox (118.24556pt too wide) in paragraph at lines 1102--1102
[]\tentt (*         | Pat p; Literal "->"; Expr17 e; Literal ";"; Literal "rera
ise" -> p,MLseqreraise e *)[] 

Overfull \hbox (18.49643pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Decl local_decl; Literal "in"; Decl decl -> MLlocal(local_de
cl,decl)[] 

Underfull \vbox (badness 10000) has occurred while \output is active [437]
Overfull \hbox (23.74638pt too wide) in paragraph at lines 1102--1102
[]    \tentt parse Straint_list strl; Literal ";;" -> MLdecl(MLforward (prefix 
:: strl))[] 

Overfull \hbox (18.49643pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Literal "("; MLIdent3 id; Type_constraint tc; Literal ")" ->
 (id,tc)[] 

Overfull \hbox (7.99652pt too wide) in paragraph at lines 1102--1102
[]          \tentt ( * (parse Literal "and"; Type_binding_1 tb -> tb)) tbl -> t
b::tbl[] 

Underfull \vbox (badness 10000) has occurred while \output is active [438]
Underfull \vbox (badness 10000) has occurred while \output is active [439]
Overfull \hbox (18.49643pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Literal "-"; NUM n with precedence uminus -> MLconstpat(mlnu
m (- n))[] 

Underfull \vbox (badness 10000) has occurred while \output is active [440]
Underfull \vbox (badness 10000) has occurred while \output is active [441]
Underfull \vbox (badness 10000) has occurred while \output is active [442]
Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]        \tentt ( * (parse Literal ","; Expr0 n -> eval_macro_expr_string n)) 
nl ->[] 

Underfull \vbox (badness 10000) has occurred while \output is active [443]
Overfull \hbox (13.24648pt too wide) in paragraph at lines 1102--1102
[]        \tentt | Literal "exception"; Exc_binding eb -> MLexception_spec (unc
ons eb)[] 

Overfull \hbox (44.7462pt too wide) in paragraph at lines 1102--1102
[]          \tentt ( * (parse Literal "and"; MLIdent3_straint str -> str)) strl
 -> str1,strl[] 

Underfull \vbox (badness 10000) has occurred while \output is active [444]
Overfull \hbox (13.24648pt too wide) in paragraph at lines 1102--1102
[]\tentt and parse_caml_val_binding =  coerce_to_MLdecl (Caml "Val_binding").Pa
rse_raw[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1102--1102
[]\tentt and parse_forward_decl = coerce_to_MLsyntax (Caml "Forward_decl").Pars
e_raw[] 

Underfull \vbox (badness 10000) has occurred while \output is active [445]
Underfull \vbox (badness 10000) has occurred while \output is active [446]
Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[] []\tentt (******************************************************************
*******)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                     Projet      Formel                             
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                            CAML                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*********************************************************************
****)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                            Inria                                   
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                      Domaine de Voluceau                           
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                      78150  Rocquencourt                           
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                            France                                  
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*                                                                    
   *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (*********************************************************************
****)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (* gram         The syntax of grammar definitions                     
   *)[] 

Overfull \hbox (18.49643pt too wide) in paragraph at lines 1523--1523
[]    \tentt - Interpreter les orpats comme des informations "lex" quand c'est 
possible[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt let parse_warning s = warning ("line "^(string_of_num !line_counter)^"
 "^s)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (* Default grammar header: used when neither delimitors nor precedence
s  *)[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]\tentt (* are specified.                                                     
   *)[] 
[447]
Overfull \hbox (7.99652pt too wide) in paragraph at lines 1523--1523
[]\tentt (* Checks wether the delimitor proposed has chance of being usable    
    *)[] 

Overfull \hbox (7.99652pt too wide) in paragraph at lines 1523--1523
[]\tentt (* Builds a header from a couple of delimitors and a list of precedenc
es  *)[] 

Overfull \hbox (7.99652pt too wide) in paragraph at lines 1523--1523
[]\tentt (* specifications.                                                    
    *)[] 

Overfull \hbox (13.24648pt too wide) in paragraph at lines 1523--1523
[]            \tentt ("non terminal "^s^" is not allowed in precedences declara
tions")[] 

Underfull \vbox (badness 10000) has occurred while \output is active [448]
Overfull \hbox (18.49643pt too wide) in paragraph at lines 1523--1523
[]    \tentt parser Literal "for"; Literal "values"; Gname name; Literal "="; h
eader h;[] 

Overfull \hbox (23.74638pt too wide) in paragraph at lines 1523--1523
[]        \tentt | Literal "for"; Literal "programs"; Gname name; Literal "="; 
header h;[] 

Overfull \hbox (23.74638pt too wide) in paragraph at lines 1523--1523
[]                      \tentt ": illegal grammar type (should be values or pro
grams)"))[] 

Underfull \vbox (badness 10000) has occurred while \output is active [449]
Underfull \vbox (badness 10000) has occurred while \output is active [450]
Overfull \hbox (13.24648pt too wide) in paragraph at lines 1523--1523
[]                    \tentt | d -> ill_typed_macro e d <:gtype<Grammar_rule li
st>>)>>[] 

Underfull \vbox (badness 10000) has occurred while \output is active [451]
Overfull \hbox (23.74638pt too wide) in paragraph at lines 1523--1523
[]                       \tentt {Left_member= #lml @ #wp; Bindings=[]; Action= 
#a}>>) >>[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]                   \tentt in {Left_member= left_mem; Bindings=[]; Action= a}>
>)} c[] 

Overfull \hbox (2.74657pt too wide) in paragraph at lines 1523--1523
[]        \tentt | Literal "\\"; Literal "("; NUM n; Literal ","; NUM m; Litera
l ")"[] 

Underfull \vbox (badness 10000) has occurred while \output is active [452]
Overfull \hbox (7.99652pt too wide) in paragraph at lines 1523--1523
[]    \tentt parser Literal "Literal"; Literal "("; literal_as_binding b; Liter
al ")"[] 

Overfull \hbox (13.24648pt too wide) in paragraph at lines 1523--1523
[]        \tentt | STRING lit; Literal "as"; IDENT name -> (MLvarpat name,Keywo
rd lit)[] 

Underfull \vbox (badness 10000) has occurred while \output is active [453]
Underfull \vbox (badness 10000) has occurred while \output is active [454])
[455] (manual.idx.tex)
No file manual.glo.tex.
(manual.aux (titre.aux) (dedicace.aux) (demo_caml.ml.aux) (lex.ml.aux)
(syntax.aux) (prelude.ml.aux) (strings.ml.aux) (dynamics.ml.aux)
(persistent.ml.aux) (streams.ml.aux) (format.ml.aux) (pretty.ml.aux)
(directives.ml.aux) (compile.ml.aux) (modules.ml.aux) (grammars.ml.aux)
(eval.ml.aux) (Macros.ml.aux) (comments.ml.aux) (show.ml.aux) (system.ml.aux)
(trace.ml.aux) (memo.ml.aux) (stat.ml.aux) (user_prelude.ml.aux) (hash.ml.aux)
(strings_lib.ml.aux) (inter.ml.aux) (automat.ml.aux) (latex.ml.aux)
(bugs.ml.aux) (keywords.aux) (install.aux) (appendix.ml.aux) (manual.idx.aux)
(manual.glo.aux))
(see the transcript file for additional information)
Output written on manual.dvi (459 pages, 929752 bytes).
Transcript written on manual.log.
latex manual.tex
This is TeX, C Version 2.93 (Multilingual) (no format preloaded)
(manual.tex
LaTeX Version 2.09 <4 Aug 1988>
(/usr/local/lib/tex/inputs/book.sty
Document Style `book' <26 Apr 88>/multilingual 1-nov-89 +++
(/usr/local/lib/tex/inputs/bk11.sty)) (vaxfullpage.sty)
(/usr/local/lib/tex/inputs/titlepage.sty) (syntax_macro.tex)
Writing index file manual.idx 
Writing glossary file manual.glo 
(figure_ps.tex
include PostScript files. Released 30 November 1988
) (manual.aux (titre.aux) (dedicace.aux) (demo_caml.ml.aux) (lex.ml.aux)
(syntax.aux) (prelude.ml.aux) (strings.ml.aux) (dynamics.ml.aux)
(persistent.ml.aux) (streams.ml.aux) (format.ml.aux) (pretty.ml.aux)
(directives.ml.aux) (compile.ml.aux) (modules.ml.aux) (grammars.ml.aux)
(eval.ml.aux) (Macros.ml.aux) (comments.ml.aux) (show.ml.aux) (system.ml.aux)
(trace.ml.aux) (memo.ml.aux) (stat.ml.aux) (user_prelude.ml.aux) (hash.ml.aux)
(strings_lib.ml.aux) (inter.ml.aux) (automat.ml.aux) (latex.ml.aux)
(bugs.ml.aux) (keywords.aux) (install.aux) (appendix.ml.aux) (manual.idx.aux)
(manual.glo.aux)) (titre.tex [1]) [0] (dedicace.tex [1]) [0] (manual.toc
[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]) [12] [13] [14] (demo_caml.ml.tex

Chapter 1.
[15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27]
Overfull \hbox (45.90027pt too wide) in paragraph at lines 725--725
[]\elvtt Calling Yacc ... .....................................................
......[] 

Underfull \vbox (badness 10000) has occurred while \output is active [28]
[29] [30] [31] [32] [33]
Overfull \hbox (22.90552pt too wide) in paragraph at lines 1010--1010
[]\elvtt Calling Yacc ... .....................................................
..[] 
[34] [35] [36] [37]) [38] [39] [40] (lex.ml.tex
Chapter 2.
[41] [42] [43] [44] [45]) [46] [47] (syntax.tex [48]
Chapter 3.
(syntax_conv.tex) (syntax_top.ml.tex [49]) (syntax_constants.tex)
(syntax_exprs.tex
Underfull \hbox (badness 1910) in paragraph at lines 36--36
\elvrm han-dlers and lo-cal dec-la-ra-tions (\elvtt let []in

Overfull \hbox (69.95949pt too wide) in paragraph at lines 14--55
[][] 
[50]
Underfull \vbox (badness 10000) has occurred while \output is active [51]
Overfull \hbox (55.65656pt too wide) in paragraph at lines 95--124
[][] 

Underfull \vbox (badness 10000) has occurred while \output is active [52]
Overfull \hbox (4.27254pt too wide) in paragraph at lines 127--135
[] 

Underfull \vbox (badness 10000) has occurred while \output is active [53])
(syntax_idents.tex
Underfull \hbox (badness 10000) in paragraph at lines 3--9


Underfull \hbox (badness 10000) in paragraph at lines 9--15


Underfull \hbox (badness 10000) in paragraph at lines 15--21


Underfull \hbox (badness 10000) in paragraph at lines 21--27


Underfull \hbox (badness 10000) in paragraph at lines 27--35


Underfull \hbox (badness 10000) in paragraph at lines 35--41


Underfull \hbox (badness 10000) in paragraph at lines 41--47


Underfull \hbox (badness 10000) in paragraph at lines 47--66

[54]) (syntax_pats.tex
Underfull \hbox (badness 10000) in paragraph at lines 3--9


Underfull \hbox (badness 10000) in paragraph at lines 9--15


Underfull \hbox (badness 10000) in paragraph at lines 15--23


Underfull \hbox (badness 10000) in paragraph at lines 23--30


Underfull \hbox (badness 10000) in paragraph at lines 30--46

) (syntax_decls.tex [55]
Overfull \hbox (23.75906pt too wide) in paragraph at lines 59--66
[] 
) (syntax_types.tex) (syntax_pragmas.tex [56]
Overfull \hbox (92.89955pt too wide) in paragraph at lines 37--59
[] 
[57])) [58] (prelude.ml.tex
Chapter 4.
[59] [60] [61] [62] [63] [64] [65] [66] [67] [68] [69]
Overfull \hbox (1.58788pt too wide) in paragraph at lines 689--691
[]   [] \elvrm When declar-ing a type, some con-struc-tors or la-bels can be qu
al-i-fied as []
[70] [71] [72]
Overfull \hbox (31.75732pt too wide) in paragraph at lines 831--834
[]\elvrm We use a lo-cal ref-er-ence counter which is shared be-tween \elvtt ge
n_sym \elvrm and \elvtt reset_gen_sym\elvrm ,

Overfull \hbox (30.6045pt too wide) in paragraph at lines 831--834
\elvrm in-cre-mented each time \elvtt gen_sym \elvrm is called and re-set to 0 
when nec-es-sary by \elvtt reset_gen_sym\elvrm . 
[73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87]
[88] [89] [90] [91] [92]
Chapter 5.
[93] [94] [95] [96] [97] [98] [99] [100] [101] [102] [103] [104] [105] [106]
[107] [108] [109]
Underfull \vbox (badness 1009) has occurred while \output is active [110]
[111] [112] [113] [114]
Underfull \vbox (badness 3179) has occurred while \output is active [115]
[116] [117] [118]
Chapter 6.
[119] [120] [121] [122] [123] [124] [125] [126]
Underfull \vbox (badness 1242) has occurred while \output is active [127]
[128] [129] [130] [131] [132] [133] [134] [135] [136] [137] [138] [139]
[140] [141] [142] [143] [144] [145] [146] [147] [148] [149] [150] [151]
[152] [153] [154] [155] [156]) [157] (strings.ml.tex [158]
Chapter 7.
[159] [160] [161] [162] [163] [164] [165] [166] [167] [168] [169] [170]
[171] [172] [173]) [174] (dynamics.ml.tex
Chapter 8.
[175] [176] [177] [178] [179] [180]) [181] (persistent.ml.tex [182]
Chapter 9.
[183]) [184] (streams.ml.tex
Chapter 10.
[185] [186] [187] [188] [189]
Overfull \hbox (35.40802pt too wide) in paragraph at lines 448--454
[]\elvrm This func-tion re-turns the first char-ac-ter avail-able from the in-p
ut chan-nel \elvtt <in_channel>

Overfull \hbox (15.39201pt too wide) in paragraph at lines 470--476
[]\elvrm The four pre-ced-ing func-tions \elvtt input\elvrm , \elvtt input_line
\elvrm , \elvtt lookahead \elvrm and \elvtt end_of_channel
[190] [191] [192] [193] [194] [195]
Overfull \hbox (5.65945pt too wide) in paragraph at lines 952--952
[]\elvtt <<(gc 27 0 0 0 0 0 0 3 cons 24320 symbol 2348 string 7889 vector 2386[
] 

Overfull \hbox (11.40814pt too wide) in paragraph at lines 952--952
[]\elvtt <<(gc 67 0 0 0 0 0 40 3 cons 24320 symbol 2348 string 7889 vector 2386
[] 
[196]
Overfull \hbox (11.40814pt too wide) in paragraph at lines 1032--1032
[]\elvtt <<(gc 85 0 0 0 0 0 92 5 cons 24320 symbol 2348 string 7886 vector 2383
[] 
[197]
Overfull \hbox (11.40814pt too wide) in paragraph at lines 1032--1032
[]\elvtt <<(gc 85 0 0 0 0 0 97 5 cons 24192 symbol 2348 string 7878 vector 2380
[] 
[198]
Overfull \hbox (11.40814pt too wide) in paragraph at lines 1087--1087
[]\elvtt <<(gc 85 0 0 0 0 0 97 6 cons 24320 symbol 2348 string 7883 vector 2381
[] 

Overfull \hbox (11.40814pt too wide) in paragraph at lines 1087--1087
[]\elvtt <<(gc 85 0 0 0 0 0 99 6 cons 24192 symbol 2348 string 7875 vector 2378
[] 
[199]
Overfull \hbox (11.40814pt too wide) in paragraph at lines 1138--1138
[]\elvtt <<(gc 85 0 0 0 0 0 99 7 cons 24320 symbol 2348 string 7880 vector 2379
[] 

Overfull \hbox (17.15683pt too wide) in paragraph at lines 1138--1138
[]\elvtt <<(gc 85 0 0 0 0 0 100 7 cons 24192 symbol 2348 string 7870 vector 237
6[] 
[200]
Overfull \hbox (17.15683pt too wide) in paragraph at lines 1220--1220
[]\elvtt <<(gc 85 0 0 0 0 0 101 9 cons 24192 symbol 2347 string 7870 vector 237
6[] 

Overfull \hbox (17.15683pt too wide) in paragraph at lines 1220--1220
[]\elvtt <<(gc 85 0 0 0 0 0 101 9 cons 24320 symbol 2347 string 7870 vector 237
6[] 
[201]
Overfull \hbox (22.90552pt too wide) in paragraph at lines 1252--1252
[]\elvtt <<(gc 85 0 0 0 0 0 101 10 cons 23424 symbol 2348 string 7771 vector 22
79[] 

Overfull \hbox (22.90552pt too wide) in paragraph at lines 1252--1252
[]\elvtt <<(gc 85 0 0 0 0 0 101 10 cons 23424 symbol 2348 string 7771 vector 22
79[] 
) [202] (format.ml.tex
Chapter 11.
[203]
Overfull \hbox (5.11569pt too wide) in paragraph at lines 131--133
[] []\elvtt set_echo_margin \elvrm al-lows you to fix the max-i-mum num-ber of 
char-ac-ters printed
[204] [205]
Overfull \hbox (53.6502pt too wide) in paragraph at lines 274--277
\elvrm These are prim-i-tives to print val-ues of ba-sic data types. The func-t
ion \elvtt print_string_for_read
[206] [207]
Overfull \hbox (45.78029pt too wide) in paragraph at lines 388--390
[] []\elvtt print_cut \elvrm is quiv-a-lent to \elvtt print_break(0,0) \elvrm a
nd \elvtt print_space \elvrm to \elvtt print_break(1,0)\elvrm . 
[208] [209]
Overfull \hbox (31.15253pt too wide) in paragraph at lines 497--502
\elvrm The prob-lem is that all the rou-tines which use a func-tion which per-f
orms a \elvtt print_newline
[210]
Overfull \hbox (53.23405pt too wide) in paragraph at lines 586--596
\elvrm limit is re-ported by \elvtt limit_depth\elvrm , and may be re-set too, 
by the com-mand \elvtt limit_print_depth\elvrm .

Overfull \hbox (22.96915pt too wide) in paragraph at lines 586--596
\elvrm No-tice that it is im-pos-si-ble to set \elvtt limit_print_depth \elvrm 
to be less than \elvtt max_print_depth\elvrm . 
[211] [212] [213] [214] [215]) [216] (pretty.ml.tex
Chapter 12.
[217]
Overfull \hbox (55.43375pt too wide) in paragraph at lines 67--92
[][]

Overfull \hbox (35.31564pt too wide) in paragraph at lines 95--103
[][] 
[218] [219]
Overfull \hbox (7.04701pt too wide) in paragraph at lines 223--225
[] [][] \elvrm (op-tion-naly pre-ceded by the key-word [] (or [])):
[220]
Overfull \hbox (13.51039pt too wide) in paragraph at lines 301--303
[] []\elvrm the key-word [] (or []) is used in-stead of the key-word [], 
[221] [222]
Overfull \hbox (11.07022pt too wide) in paragraph at lines 370--373
\elvrm ers, we can use: [] [] [] ``[]'' []
[223] [224] [225]
Underfull \vbox (badness 10000) has occurred while \output is active [226]
Overfull \hbox (6.99936pt too wide) in paragraph at lines 586--596
[] 
[227]
Underfull \vbox (badness 10000) has occurred while \output is active [228])
[229] (directives.ml.tex [230]
Chapter 13.
[231] [232] [233] [234] [235]
Underfull \vbox (badness 10000) has occurred while \output is active [236]
[237]
Overfull \hbox (48.36984pt too wide) in paragraph at lines 452--456
[][] [] [] [] [] [] []
[238]) [239] (compile.ml.tex [240]
Chapter 14.
[241] [242]
Overfull \hbox (3.04468pt too wide) in paragraph at lines 189--191
[]\elvtt find_ml_file \elvrm per-forms the same op-er-a-tion as the pre-vi-ous 
com-mand for CAML
[243] [244] [245] [246] [247]
Underfull \vbox (badness 10000) has occurred while \output is active [248])
[249] [250] (modules.ml.tex
Chapter 15.

Underfull \hbox (badness 10000) in paragraph at lines 43--82


Underfull \vbox (badness 10000) has occurred while \output is active [251]
Underfull \vbox (badness 5119) has occurred while \output is active [252]
[253]
Overfull \hbox (55.24611pt too wide) in paragraph at lines 230--230
[]\tentt Evaluation Failed: compile_source /usr/local/caml/V2-6.1/doc/manual/au
x/ill_export.ml[] 
[254] [255] [256]
Overfull \hbox (13.24648pt too wide) in paragraph at lines 410--410
[]\tentt Evaluation Failed: load_code /usr/local/caml/V2-6.1/doc/manual/aux/pro
blem.lo[] 
[257]) [258] (grammars.ml.tex
Chapter 16.
[259] [260] [261]
Overfull \hbox (1.13164pt too wide) in paragraph at lines 187--194
\elvrm parser, when it en-coun-ters some spe-cial char-ac-ter se-quence (such a
s ``\elvtt <<\elvrm '' or ``\elvtt <:G<\elvrm '')

Underfull \hbox (badness 10000) in paragraph at lines 213--220

[262] [263] [264]
Overfull \hbox (18.64738pt too wide) in paragraph at lines 386--393
[] 
[265] [266] [267] [268] [269] [270] [271]
Underfull \vbox (badness 10000) has occurred while \output is active [272]
Overfull \hbox (39.49625pt too wide) in paragraph at lines 870--870
[]\tentt Calling Yacc ... .....................................................
............[] 
[273] [274]
Overfull \hbox (2.74657pt too wide) in paragraph at lines 989--989
[]\tentt Calling Yacc ... .....................................................
.....[] 
[275] [276]
Overfull \hbox (60.49606pt too wide) in paragraph at lines 1085--1085
[]\tentt Calling Yacc ... .....................................................
................[] 
[277] [278]
Overfull \hbox (1.22346pt too wide) in paragraph at lines 1220--1227
[] []\elvrm grammars for pro-grams: they act as macros for ac-tions pro-duc-ing
 CAML
[279]) [280] (eval.ml.tex
Chapter 17.
[281]) [282] (Macros.ml.tex
Chapter 18.
[283] [284] [285] [286] [287]
Underfull \hbox (badness 10000) in paragraph at lines 302--304

[288] [289]) [290] (comments.ml.tex
Chapter 19.
[291]) [292] (show.ml.tex
Chapter 20.
[293] [294] [295]) [296] [297] [298] (system.ml.tex
Chapter 21.
[299] [300] [301] [302] [303] [304] [305]) [306] (trace.ml.tex
Chapter 22.
[307] [308] [309] [310] [311] [312]
Overfull \hbox (15.97418pt too wide) in paragraph at lines 397--400
[]   [] \elvrm One may un-trace tem-porar-ily (us-ing \elvtt set_trace\elvrm ) 
or defini-tively (us-ing \elvtt untrace_fun
[313] [314] [315] [316] [317]
Underfull \vbox (badness 2790) has occurred while \output is active [318]
[319] [320] [321] [322]
Underfull \vbox (badness 1394) has occurred while \output is active [323]
[324]
Overfull \hbox (10.4969pt too wide) in paragraph at lines 1120--1122
[] []\elvtt <:Trace<f ... t : trace t with predicate p>> \elvrm is equiv-a-lent
 to \elvtt trace_if
[325] [326] [327] [328] [329] [330] [331]
Overfull \hbox (19.50279pt too wide) in paragraph at lines 1502--1527
[][] 

Overfull \hbox (30.7537pt too wide) in paragraph at lines 1557--1569
[][]
[332]) [333] (memo.ml.tex [334]
Chapter 23.
[335] [336]) [337] (stat.ml.tex [338]
Chapter 24.
[339] [340] [341]) [342] [343] [344] (user_prelude.ml.tex
Chapter 25.
[345] [346]) [347] (hash.ml.tex [348]
Chapter 26.
[349] [350] [351] [352] [353] [354]
Underfull \vbox (badness 10000) has occurred while \output is active [355]
[356]) [357] (strings_lib.ml.tex [358]
Chapter 27.
[359] [360] [361]) [362] (inter.ml.tex