1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
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
158
159
160
|
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"
"http://www.w3.org/TR/REC-html40/loose.dtd">
<HTML>
<HEAD>
<TITLE>The Objective-Caml system, release 3.09</TITLE>
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
<META name="GENERATOR" content="hevea 1.08">
<LINK rel="stylesheet" type="text/css" href="manual.css">
</HEAD>
<BODY >
<!--HEVEA command line is: hevea -v -fix -exec xxdate.exe -O -I .. -I ../refman -I ../library -I ../cmds -I ../tutorials -I ../../styles -I ../texstuff manual.hva -e macros.tex ../manual.tex -->
<!--HACHA command line is: hacha manual.html -->
<BR>
<BR>
<DIV CLASS="center">
<FONT SIZE=7>The Objective Caml system<BR>
release 3.09<BR>
</FONT><FONT SIZE=5>Documentation and user's manual<BR>
</FONT><FONT SIZE=4>Xavier Leroy<BR>
(with Damien Doligez, Jacques Garrigue, Didier Rmy and Jrme Vouillon)<BR><BR>
</FONT><FONT SIZE=3>Copyright 2004 Institut National de
Recherche en Informatique et en Automatique
</FONT></DIV>
<BR>
<BR>
<BLOCKQUOTE CLASS="quote">
<HR SIZE=2>
This is a special version of the manual in which substantial
differences
<div style="background-color:yellow; border-style:none; border-width:0.5pt">
<font color="red">
to version 3.08 are marked in this style
</font></div>
(if you enable style
sheets). Additionally, metasymbols in the grammar rules are hot
(refering to their definition) and there is an additional
appendix containing just the ocaml grammar rules. This enhanced
version was produced by <A
HREF="http://wwwtcs.inf.tu-dresden.de/~tews/">Hendrik Tews</A>,
it can be viewed online at
<A HREF="http://wwwtcs.inf.tu-dresden.de/~tews/htmlman-3.09">http://wwwtcs.inf.tu-dresden.de/~tews/htmlman-3.09</A>
or downloaded as
<A
HREF="http://wwwtcs.inf.tu-dresden.de/~tews/htmlman-3.09/ocaml-3.09-refman.html.tar.gz">tar.gz
file.</A>
<P>
This <A HREF="http://caml.inria.fr/pub/docs/manual-ocaml/index.html" >original manual</A> is also available in
<A HREF="http://caml.inria.fr/distrib/ocaml-3.09/ocaml-3.09-refman.pdf">PDF</A>.
<A HREF="http://caml.inria.fr/distrib/ocaml-3.09/ocaml-3.09-refman.ps.gz">Postscript</A>,
<A HREF="http://caml.inria.fr/distrib/ocaml-3.09/ocaml-3.09-refman.dvi.gz">DVI</A>,
<A HREF="http://caml.inria.fr/distrib/ocaml-3.09/ocaml-3.09-refman.txt">plain text</A>,
as a
<A HREF="http://caml.inria.fr/distrib/ocaml-3.09/ocaml-3.09-refman.html.tar.gz">bundle of HTML files</A>,
and as a
<A HREF="http://caml.inria.fr/distrib/ocaml-3.09/ocaml-3.09-refman.info.tar.gz">bundle of Emacs Info files</A>.
<HR SIZE=2>
</BLOCKQUOTE>
<UL>
<LI><A HREF="manual001.html">Contents</A>
<LI><A HREF="manual002.html">Foreword</A>
</UL>
<TABLE CLASS="center">
<TR><TD>
<H1 CLASS="part"><A NAME="htoc1">Part I</A><BR>
An introduction to Objective Caml</H1></TD>
</TR></TABLE>
<A NAME="p:tutorials"></A>
<BR>
<UL>
<LI><A HREF="manual003.html">The core language</A>
<LI><A HREF="manual004.html">The module system</A>
<LI><A HREF="manual005.html">Objects in Caml</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual006.html">Labels and variants</A>
<LI><A HREF="manual007.html">Advanced examples with classes and modules</A>
</UL>
<TABLE CLASS="center">
<TR><TD>
<H1 CLASS="part"><A NAME="htoc50">Part II</A><BR>
The Objective Caml language</H1></TD>
</TR></TABLE>
<A NAME="p:refman"></A>
<BR>
<UL>
<LI><A HREF="manual008.html">The Objective Caml language</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual021.html">Language extensions</A> <img alt="updated" src="updated_tiny.gif">
</UL>
<TABLE CLASS="center">
<TR><TD>
<H1 CLASS="part"><A NAME="htoc102">Part III</A><BR>
The Objective Caml tools</H1></TD>
</TR></TABLE>
<A NAME="p:commands"></A><BR>
<UL>
<LI><A HREF="manual022.html">Batch compilation (ocamlc)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual023.html">The toplevel system (ocaml)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual024.html">The runtime system (ocamlrun)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual025.html">Native-code compilation (ocamlopt)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual026.html">Lexer and parser generators (ocamllex, ocamlyacc)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual027.html">Dependency generator (ocamldep)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual028.html">The browser/editor (ocamlbrowser)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual029.html">The documentation generator (ocamldoc)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual030.html">The debugger (ocamldebug)</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual031.html">Profiling (ocamlprof)</A>
<LI><A HREF="manual032.html">Interfacing C with Objective Caml</A> <img alt="updated" src="updated_tiny.gif">
</UL>
<TABLE CLASS="center">
<TR><TD>
<H1 CLASS="part"><A NAME="htoc248">Part IV</A><BR>
The Objective Caml library</H1></TD>
</TR></TABLE>
<A NAME="p:library"></A>
<BR>
<UL>
<LI><A HREF="manual033.html">The core library</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual034.html">The standard library</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual035.html">The unix library: Unix system calls</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual036.html">The num library: arbitrary-precision rational arithmetic</A>
<LI><A HREF="manual037.html">The str library: regular expressions and string processing</A>
<LI><A HREF="manual038.html">The threads library</A>
<LI><A HREF="manual039.html">The graphics library</A> <img alt="updated" src="updated_tiny.gif">
<LI><A HREF="manual040.html">The dbm library: access to NDBM databases</A>
<LI><A HREF="manual041.html">The dynlink library: dynamic loading and linking of object files</A>
<LI><A HREF="manual042.html">The LablTk library: Tcl/Tk GUI interface</A>
<LI><A HREF="manual043.html">The bigarray library</A>
</UL>
<TABLE CLASS="center">
<TR><TD>
<H1 CLASS="part"><A NAME="htoc267">Part V</A><BR>
Appendix</H1></TD>
</TR></TABLE>
<A NAME="p:appendix"></A><BR>
<ul>
<li><a HREF="libref/index_modules.html">Index of modules</a></li>
<li><a HREF="libref/index_module_types.html">Index of module types</a></li>
<li><a HREF="libref/index_types.html">Index of types</a></li>
<li><a HREF="libref/index_exceptions.html">Index of exceptions</a></li>
<li><a HREF="libref/index_values.html">Index of values</a></li>
</ul>
<UL>
<LI><A HREF="manual044.html">Index of keywords</A>
</UL>
<UL>
<LI><A HREF="full-grammar.html">Ocaml grammar overview</A>
</UL>
<!--FOOTER-->
<HR SIZE=2><BLOCKQUOTE CLASS="quote"><EM>This document was translated from L<sup>A</sup>T<sub>E</sub>X by
<A HREF="http://pauillac.inria.fr/~maranget/hevea/index.html">H<FONT SIZE=2><sup>E</sup></FONT>V<FONT SIZE=2><sup>E</sup></FONT>A</A>.</EM></BLOCKQUOTE></BODY>
</HTML>
|
