← Back to branch summary

~ubuntu-branches/ubuntu/hardy/ocaml-doc/hardy

« back to all changes in this revision

Viewing changes to ocaml.html/manual.htoc

  • Committer: Bazaar Package Importer
  • Author(s): Samuel Mimram
  • Date: 2007-09-08 01:49:22 UTC
  • mfrom: (0.1.3 upstream)
  • Revision ID: james.westby@ubuntu.com-20070908014922-lvihyehz0ndq7suu
Tags: 3.10-1
* New upstream release.
* Removed camlp4 documentation since it is not up-to-date.
* Updated to standards version 3.7.2, no changes needed.
* Updated my email address.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ocaml.html/manual.htoc
1
1
\begin{tocenv}
2
 
\tocitem \@locref{htoc1}{\begin{@norefs}\@print{Part I}\quad{}An introduction to Objective Caml\end{@norefs}}
 
2
\tocitem \@locref{htoc1}{\begin{@norefs}\@print{Part�I}\quad{}An introduction to Objective Caml\end{@norefs}}
3
3
\begin{tocenv}
4
 
\tocitem \@locref{htoc2}{\begin{@norefs}\@print{Chapter 1}\quad{}The core language\end{@norefs}}
 
4
\tocitem \@locref{htoc2}{\begin{@norefs}\@print{Chapter�1}\quad{}The core language\end{@norefs}}
5
5
\begin{tocenv}
6
6
\tocitem \@locref{htoc3}{\begin{@norefs}\@print{1.1}\quad{}Basics\end{@norefs}}
7
7
\tocitem \@locref{htoc4}{\begin{@norefs}\@print{1.2}\quad{}Data types\end{@norefs}}
13
13
\tocitem \@locref{htoc10}{\begin{@norefs}\@print{1.8}\quad{}Pretty-printing and parsing\end{@norefs}}
14
14
\tocitem \@locref{htoc11}{\begin{@norefs}\@print{1.9}\quad{}Standalone Caml programs\end{@norefs}}
15
15
\end{tocenv}
16
 
\tocitem \@locref{htoc12}{\begin{@norefs}\@print{Chapter 2}\quad{}The module system\end{@norefs}}
 
16
\tocitem \@locref{htoc12}{\begin{@norefs}\@print{Chapter�2}\quad{}The module system\end{@norefs}}
17
17
\begin{tocenv}
18
18
\tocitem \@locref{htoc13}{\begin{@norefs}\@print{2.1}\quad{}Structures\end{@norefs}}
19
19
\tocitem \@locref{htoc14}{\begin{@norefs}\@print{2.2}\quad{}Signatures\end{@norefs}}
21
21
\tocitem \@locref{htoc16}{\begin{@norefs}\@print{2.4}\quad{}Functors and type abstraction\end{@norefs}}
22
22
\tocitem \@locref{htoc17}{\begin{@norefs}\@print{2.5}\quad{}Modules and separate compilation\end{@norefs}}
23
23
\end{tocenv}
24
 
\tocitem \@locref{htoc18}{\begin{@norefs}\@print{Chapter 3}\quad{}Objects in Caml\end{@norefs}}
 
24
\tocitem \@locref{htoc18}{\begin{@norefs}\@print{Chapter�3}\quad{}Objects in Caml\end{@norefs}}
25
25
\begin{tocenv}
26
26
\tocitem \@locref{htoc19}{\begin{@norefs}\@print{3.1}\quad{}Classes and objects\end{@norefs}}
27
27
\tocitem \@locref{htoc20}{\begin{@norefs}\@print{3.2}\quad{}Immediate objects\end{@norefs}}
41
41
\tocitem \@locref{htoc34}{\begin{@norefs}\@print{3.16}\quad{}Binary methods\end{@norefs}}
42
42
\tocitem \@locref{htoc35}{\begin{@norefs}\@print{3.17}\quad{}Friends\end{@norefs}}
43
43
\end{tocenv}
44
 
\tocitem \@locref{htoc36}{\begin{@norefs}\@print{Chapter 4}\quad{}Labels and variants\end{@norefs}}
 
44
\tocitem \@locref{htoc36}{\begin{@norefs}\@print{Chapter�4}\quad{}Labels and variants\end{@norefs}}
45
45
\begin{tocenv}
46
46
\tocitem \@locref{htoc37}{\begin{@norefs}\@print{4.1}\quad{}Labels\end{@norefs}}
47
47
\begin{tocenv}
54
54
\tocitem \@locref{htoc42}{\begin{@norefs}\@print{4.2.1}\quad{}Weaknesses of polymorphic variants\end{@norefs}}
55
55
\end{tocenv}
56
56
\end{tocenv}
57
 
\tocitem \@locref{htoc43}{\begin{@norefs}\@print{Chapter 5}\quad{}Advanced examples with classes and modules\end{@norefs}}
 
57
\tocitem \@locref{htoc43}{\begin{@norefs}\@print{Chapter�5}\quad{}Advanced examples with classes and modules\end{@norefs}}
58
58
\begin{tocenv}
59
59
\tocitem \@locref{htoc44}{\begin{@norefs}\@print{5.1}\quad{}Extended example: bank accounts\end{@norefs}}
60
60
\tocitem \@locref{htoc45}{\begin{@norefs}\@print{5.2}\quad{}Simple modules as classes\end{@norefs}}
66
66
\tocitem \@locref{htoc49}{\begin{@norefs}\@print{5.3}\quad{}The subject/observer pattern\end{@norefs}}
67
67
\end{tocenv}
68
68
\end{tocenv}
69
 
\tocitem \@locref{htoc50}{\begin{@norefs}\@print{Part II}\quad{}The Objective Caml language\end{@norefs}}
 
69
\tocitem \@locref{htoc50}{\begin{@norefs}\@print{Part�II}\quad{}The Objective Caml language\end{@norefs}}
70
70
\begin{tocenv}
71
 
\tocitem \@locref{htoc51}{\begin{@norefs}\@print{Chapter 6}\quad{}The Objective Caml language\end{@norefs}}
 
71
\tocitem \@locref{htoc51}{\begin{@norefs}\@print{Chapter�6}\quad{}The Objective Caml language\end{@norefs}}
72
72
\begin{tocenv}
73
73
\tocitem \@locref{htoc52}{\begin{@norefs}\@print{6.1}\quad{}Lexical conventions\end{@norefs}}
74
74
\tocitem \@locref{htoc53}{\begin{@norefs}\@print{6.2}\quad{}Values\end{@norefs}}
86
86
\tocitem \@locref{htoc63}{\begin{@norefs}\@print{6.4}\quad{}Type expressions\end{@norefs}}
87
87
\tocitem \@locref{htoc64}{\begin{@norefs}\@print{6.5}\quad{}Constants\end{@norefs}}
88
88
\tocitem \@locref{htoc65}{\begin{@norefs}\@print{6.6}\quad{}Patterns\end{@norefs}}
89
 
\tocitem \@locref{htoc66}{\begin{@norefs}\@print{6.7}\quad{}Expressions\end{@norefs}}
 
89
\tocitem \@locref{htoc66}{\begin{@norefs}\@print{6.7}\quad{}Expressions\label{s:value-expr}\end{@norefs}}
90
90
\begin{tocenv}
91
91
\tocitem \@locref{htoc67}{\begin{@norefs}\@print{6.7.1}\quad{}Basic expressions\end{@norefs}}
92
92
\tocitem \@locref{htoc68}{\begin{@norefs}\@print{6.7.2}\quad{}Control structures\end{@norefs}}
114
114
\tocitem \@locref{htoc84}{\begin{@norefs}\@print{6.10.3}\quad{}Functor types\end{@norefs}}
115
115
\tocitem \@locref{htoc85}{\begin{@norefs}\@print{6.10.4}\quad{}The {\machine with} operator\end{@norefs}}
116
116
\end{tocenv}
117
 
\tocitem \@locref{htoc86}{\begin{@norefs}\@print{6.11}\quad{}Module expressions (module implementations)\end{@norefs}}
 
117
\tocitem \@locref{htoc86}{\begin{@norefs}\@print{6.11}\quad{}Module\label{s:module-expr} expressions (module implementations)\end{@norefs}}
118
118
\begin{tocenv}
119
119
\tocitem \@locref{htoc87}{\begin{@norefs}\@print{6.11.1}\quad{}Simple module expressions\end{@norefs}}
120
120
\tocitem \@locref{htoc88}{\begin{@norefs}\@print{6.11.2}\quad{}Structures\end{@norefs}}
122
122
\end{tocenv}
123
123
\tocitem \@locref{htoc90}{\begin{@norefs}\@print{6.12}\quad{}Compilation units\end{@norefs}}
124
124
\end{tocenv}
125
 
\tocitem \@locref{htoc91}{\begin{@norefs}\@print{Chapter 7}\quad{}Language extensions\end{@norefs}}
 
125
\tocitem \@locref{htoc91}{\begin{@norefs}\@print{Chapter�7}\quad{}Language extensions\end{@norefs}}
126
126
\begin{tocenv}
127
127
\tocitem \@locref{htoc92}{\begin{@norefs}\@print{7.1}\quad{}Integer literals for types {\machine int32}, {\machine int64} and {\machine nativeint}\end{@norefs}}
128
128
\tocitem \@locref{htoc93}{\begin{@norefs}\@print{7.2}\quad{}Streams and stream parsers\end{@norefs}}
136
136
\tocitem \@locref{htoc101}{\begin{@norefs}\@print{7.10}\quad{}Private row types\end{@norefs}}
137
137
\end{tocenv}
138
138
\end{tocenv}
139
 
\tocitem \@locref{htoc102}{\begin{@norefs}\@print{Part III}\quad{}The Objective Caml tools\end{@norefs}}
 
139
\tocitem \@locref{htoc102}{\begin{@norefs}\@print{Part�III}\quad{}The Objective Caml tools\end{@norefs}}
140
140
\begin{tocenv}
141
 
\tocitem \@locref{htoc103}{\begin{@norefs}\@print{Chapter 8}\quad{}Batch compilation (ocamlc)\end{@norefs}}
 
141
\tocitem \@locref{htoc103}{\begin{@norefs}\@print{Chapter�8}\quad{}Batch compilation (ocamlc)\end{@norefs}}
142
142
\begin{tocenv}
143
143
\tocitem \@locref{htoc104}{\begin{@norefs}\@print{8.1}\quad{}Overview of the compiler\end{@norefs}}
144
144
\tocitem \@locref{htoc105}{\begin{@norefs}\@print{8.2}\quad{}Options\end{@norefs}}
145
145
\tocitem \@locref{htoc106}{\begin{@norefs}\@print{8.3}\quad{}Modules and the file system\end{@norefs}}
146
146
\tocitem \@locref{htoc107}{\begin{@norefs}\@print{8.4}\quad{}Common errors\end{@norefs}}
147
147
\end{tocenv}
148
 
\tocitem \@locref{htoc108}{\begin{@norefs}\@print{Chapter 9}\quad{}The toplevel system (ocaml)\end{@norefs}}
 
148
\tocitem \@locref{htoc108}{\begin{@norefs}\@print{Chapter�9}\quad{}The toplevel system (ocaml)\end{@norefs}}
149
149
\begin{tocenv}
150
150
\tocitem \@locref{htoc109}{\begin{@norefs}\@print{9.1}\quad{}Options\end{@norefs}}
151
151
\tocitem \@locref{htoc110}{\begin{@norefs}\@print{9.2}\quad{}Toplevel directives\end{@norefs}}
154
154
\tocitem \@locref{htoc113}{\begin{@norefs}\@print{9.5}\quad{}Building custom toplevel systems: {\machine ocamlmktop}\end{@norefs}}
155
155
\tocitem \@locref{htoc114}{\begin{@norefs}\@print{9.6}\quad{}Options\end{@norefs}}
156
156
\end{tocenv}
157
 
\tocitem \@locref{htoc115}{\begin{@norefs}\@print{Chapter 10}\quad{}The runtime system (ocamlrun)\end{@norefs}}
 
157
\tocitem \@locref{htoc115}{\begin{@norefs}\@print{Chapter�10}\quad{}The runtime system (ocamlrun)\end{@norefs}}
158
158
\begin{tocenv}
159
159
\tocitem \@locref{htoc116}{\begin{@norefs}\@print{10.1}\quad{}Overview\end{@norefs}}
160
160
\tocitem \@locref{htoc117}{\begin{@norefs}\@print{10.2}\quad{}Options\end{@norefs}}
161
161
\tocitem \@locref{htoc118}{\begin{@norefs}\@print{10.3}\quad{}Dynamic loading of shared libraries\end{@norefs}}
162
162
\tocitem \@locref{htoc119}{\begin{@norefs}\@print{10.4}\quad{}Common errors\end{@norefs}}
163
163
\end{tocenv}
164
 
\tocitem \@locref{htoc120}{\begin{@norefs}\@print{Chapter 11}\quad{}Native-code compilation (ocamlopt)\end{@norefs}}
 
164
\tocitem \@locref{htoc120}{\begin{@norefs}\@print{Chapter�11}\quad{}Native-code compilation (ocamlopt)\end{@norefs}}
165
165
\begin{tocenv}
166
166
\tocitem \@locref{htoc121}{\begin{@norefs}\@print{11.1}\quad{}Overview of the compiler\end{@norefs}}
167
167
\tocitem \@locref{htoc122}{\begin{@norefs}\@print{11.2}\quad{}Options\end{@norefs}}
169
169
\tocitem \@locref{htoc124}{\begin{@norefs}\@print{11.4}\quad{}Running executables produced by ocamlopt\end{@norefs}}
170
170
\tocitem \@locref{htoc125}{\begin{@norefs}\@print{11.5}\quad{}Compatibility with the bytecode compiler\end{@norefs}}
171
171
\end{tocenv}
172
 
\tocitem \@locref{htoc126}{\begin{@norefs}\@print{Chapter 12}\quad{}Lexer and parser generators (ocamllex, ocamlyacc)\end{@norefs}}
 
172
\tocitem \@locref{htoc126}{\begin{@norefs}\@print{Chapter�12}\quad{}Lexer and parser generators (ocamllex, ocamlyacc)\end{@norefs}}
173
173
\begin{tocenv}
174
174
\tocitem \@locref{htoc127}{\begin{@norefs}\@print{12.1}\quad{}Overview of {\machine ocamllex}\end{@norefs}}
175
175
\begin{tocenv}
197
197
\tocitem \@locref{htoc144}{\begin{@norefs}\@print{12.6}\quad{}A complete example\end{@norefs}}
198
198
\tocitem \@locref{htoc145}{\begin{@norefs}\@print{12.7}\quad{}Common errors\end{@norefs}}
199
199
\end{tocenv}
200
 
\tocitem \@locref{htoc146}{\begin{@norefs}\@print{Chapter 13}\quad{}Dependency generator (ocamldep)\end{@norefs}}
 
200
\tocitem \@locref{htoc146}{\begin{@norefs}\@print{Chapter�13}\quad{}Dependency generator (ocamldep)\end{@norefs}}
201
201
\begin{tocenv}
202
202
\tocitem \@locref{htoc147}{\begin{@norefs}\@print{13.1}\quad{}Options\end{@norefs}}
203
203
\tocitem \@locref{htoc148}{\begin{@norefs}\@print{13.2}\quad{}A typical Makefile\end{@norefs}}
204
204
\end{tocenv}
205
 
\tocitem \@locref{htoc149}{\begin{@norefs}\@print{Chapter 14}\quad{}The browser/editor (ocamlbrowser)\end{@norefs}}
 
205
\tocitem \@locref{htoc149}{\begin{@norefs}\@print{Chapter�14}\quad{}The browser/editor (ocamlbrowser)\end{@norefs}}
206
206
\begin{tocenv}
207
207
\tocitem \@locref{htoc150}{\begin{@norefs}\@print{14.1}\quad{}Invocation\end{@norefs}}
208
208
\tocitem \@locref{htoc151}{\begin{@norefs}\@print{14.2}\quad{}Viewer\end{@norefs}}
210
210
\tocitem \@locref{htoc153}{\begin{@norefs}\@print{14.4}\quad{}File editor\end{@norefs}}
211
211
\tocitem \@locref{htoc154}{\begin{@norefs}\@print{14.5}\quad{}Shell\end{@norefs}}
212
212
\end{tocenv}
213
 
\tocitem \@locref{htoc155}{\begin{@norefs}\@print{Chapter 15}\quad{}The documentation generator (ocamldoc)\end{@norefs}}
 
213
\tocitem \@locref{htoc155}{\begin{@norefs}\@print{Chapter�15}\quad{}The documentation generator (ocamldoc)\end{@norefs}}
214
214
\begin{tocenv}
215
215
\tocitem \@locref{htoc156}{\begin{@norefs}\@print{15.1}\quad{}Usage\end{@norefs}}
216
216
\begin{tocenv}
236
236
\tocitem \@locref{htoc170}{\begin{@norefs}\@print{15.4.1}\quad{}Compilation and usage\end{@norefs}}
237
237
\end{tocenv}
238
238
\end{tocenv}
239
 
\tocitem \@locref{htoc171}{\begin{@norefs}\@print{Chapter 16}\quad{}The debugger (ocamldebug)\end{@norefs}}
 
239
\tocitem \@locref{htoc171}{\begin{@norefs}\@print{Chapter�16}\quad{}The debugger (ocamldebug)\end{@norefs}}
240
240
\begin{tocenv}
241
241
\tocitem \@locref{htoc172}{\begin{@norefs}\@print{16.1}\quad{}Compiling for debugging\end{@norefs}}
242
242
\tocitem \@locref{htoc173}{\begin{@norefs}\@print{16.2}\quad{}Invocation\end{@norefs}}
274
274
\tocitem \@locref{htoc197}{\begin{@norefs}\@print{16.9}\quad{}Miscellaneous commands\end{@norefs}}
275
275
\tocitem \@locref{htoc198}{\begin{@norefs}\@print{16.10}\quad{}Running the debugger under Emacs\end{@norefs}}
276
276
\end{tocenv}
277
 
\tocitem \@locref{htoc199}{\begin{@norefs}\@print{Chapter 17}\quad{}Profiling (ocamlprof)\end{@norefs}}
 
277
\tocitem \@locref{htoc199}{\begin{@norefs}\@print{Chapter�17}\quad{}Profiling (ocamlprof)\end{@norefs}}
278
278
\begin{tocenv}
279
279
\tocitem \@locref{htoc200}{\begin{@norefs}\@print{17.1}\quad{}Compiling for profiling\end{@norefs}}
280
280
\tocitem \@locref{htoc201}{\begin{@norefs}\@print{17.2}\quad{}Profiling an execution\end{@norefs}}
281
281
\tocitem \@locref{htoc202}{\begin{@norefs}\@print{17.3}\quad{}Printing profiling information\end{@norefs}}
282
282
\tocitem \@locref{htoc203}{\begin{@norefs}\@print{17.4}\quad{}Time profiling\end{@norefs}}
283
283
\end{tocenv}
284
 
\tocitem \@locref{htoc204}{\begin{@norefs}\@print{Chapter 18}\quad{}Interfacing C with Objective Caml\end{@norefs}}
 
284
\tocitem \@locref{htoc204}{\begin{@norefs}\@print{Chapter�18}\quad{}Interfacing\label{c:intf-c} C with Objective Caml\end{@norefs}}
285
285
\begin{tocenv}
286
286
\tocitem \@locref{htoc205}{\begin{@norefs}\@print{18.1}\quad{}Overview and compilation information\end{@norefs}}
287
287
\begin{tocenv}
342
342
\tocitem \@locref{htoc247}{\begin{@norefs}\@print{18.10}\quad{}Building mixed C/Caml libraries: {\machine ocamlmklib}\end{@norefs}}
343
343
\end{tocenv}
344
344
\end{tocenv}
345
 
\tocitem \@locref{htoc248}{\begin{@norefs}\@print{Part IV}\quad{}The Objective Caml library\end{@norefs}}
 
345
\tocitem \@locref{htoc248}{\begin{@norefs}\@print{Part�IV}\quad{}The Objective Caml library\end{@norefs}}
346
346
\begin{tocenv}
347
 
\tocitem \@locref{htoc249}{\begin{@norefs}\@print{Chapter 19}\quad{}The core library\end{@norefs}}
 
347
\tocitem \@locref{htoc249}{\begin{@norefs}\@print{Chapter�19}\quad{}The core library\end{@norefs}}
348
348
\begin{tocenv}
349
349
\tocitem \@locref{htoc250}{\begin{@norefs}\@print{19.1}\quad{}Built-in types and predefined exceptions\end{@norefs}}
350
350
\tocitem \@locref{htoc251}{\begin{@norefs}\@print{19.2}\quad{}Module {\tt Pervasives}: the initially opened module\end{@norefs}}
351
351
\end{tocenv}
352
 
\tocitem \@locref{htoc252}{\begin{@norefs}\@print{Chapter 20}\quad{}The standard library\end{@norefs}}
353
 
\tocitem \@locref{htoc253}{\begin{@norefs}\@print{Chapter 21}\quad{}The unix library: Unix system calls\end{@norefs}}
354
 
\tocitem \@locref{htoc254}{\begin{@norefs}\@print{Chapter 22}\quad{}The num library: arbitrary-precision rational arithmetic\end{@norefs}}
355
 
\tocitem \@locref{htoc255}{\begin{@norefs}\@print{Chapter 23}\quad{}The str library: regular expressions and string processing\end{@norefs}}
356
 
\tocitem \@locref{htoc256}{\begin{@norefs}\@print{Chapter 24}\quad{}The threads library\end{@norefs}}
357
 
\tocitem \@locref{htoc257}{\begin{@norefs}\@print{Chapter 25}\quad{}The graphics library\end{@norefs}}
358
 
\tocitem \@locref{htoc258}{\begin{@norefs}\@print{Chapter 26}\quad{}The dbm library: access to NDBM databases\end{@norefs}}
359
 
\tocitem \@locref{htoc259}{\begin{@norefs}\@print{Chapter 27}\quad{}The dynlink library: dynamic loading and linking of object files\end{@norefs}}
360
 
\tocitem \@locref{htoc260}{\begin{@norefs}\@print{Chapter 28}\quad{}The LablTk library: Tcl/Tk GUI interface\end{@norefs}}
361
 
\tocitem \@locref{htoc261}{\begin{@norefs}\@print{Chapter 29}\quad{}The bigarray library\end{@norefs}}
 
352
\tocitem \@locref{htoc252}{\begin{@norefs}\@print{Chapter�20}\quad{}The standard library\end{@norefs}}
 
353
\tocitem \@locref{htoc253}{\begin{@norefs}\@print{Chapter�21}\quad{}The unix library: Unix system calls\end{@norefs}}
 
354
\tocitem \@locref{htoc254}{\begin{@norefs}\@print{Chapter�22}\quad{}The num library: arbitrary-precision rational arithmetic\end{@norefs}}
 
355
\tocitem \@locref{htoc255}{\begin{@norefs}\@print{Chapter�23}\quad{}The str library: regular expressions and string processing\end{@norefs}}
 
356
\tocitem \@locref{htoc256}{\begin{@norefs}\@print{Chapter�24}\quad{}The threads library\end{@norefs}}
 
357
\tocitem \@locref{htoc257}{\begin{@norefs}\@print{Chapter�25}\quad{}The graphics library\end{@norefs}}
 
358
\tocitem \@locref{htoc258}{\begin{@norefs}\@print{Chapter�26}\quad{}The dbm library: access to NDBM databases\end{@norefs}}
 
359
\tocitem \@locref{htoc259}{\begin{@norefs}\@print{Chapter�27}\quad{}The dynlink library: dynamic loading and linking of object files\end{@norefs}}
 
360
\tocitem \@locref{htoc260}{\begin{@norefs}\@print{Chapter�28}\quad{}The LablTk library: Tcl/Tk GUI interface\end{@norefs}}
 
361
\tocitem \@locref{htoc261}{\begin{@norefs}\@print{Chapter�29}\quad{}The bigarray library\end{@norefs}}
362
362
\begin{tocenv}
363
363
\tocitem \@locref{htoc262}{\begin{@norefs}\@print{29.1}\quad{}Module {\tt Bigarray}: large, multi-dimensional, numerical arrays\end{@norefs}}
364
364
\tocitem \@locref{htoc263}{\begin{@norefs}\@print{29.2}\quad{}Big arrays in the Caml-C interface\end{@norefs}}
369
369
\end{tocenv}
370
370
\end{tocenv}
371
371
\end{tocenv}
372
 
\tocitem \@locref{htoc267}{\begin{@norefs}\@print{Part V}\quad{}Appendix\end{@norefs}}
 
372
\tocitem \@locref{htoc267}{\begin{@norefs}\@print{Part�V}\quad{}Appendix\end{@norefs}}
373
373
\end{tocenv}