← Back to branch summary

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

« back to all changes in this revision

Viewing changes to ocaml.html/manual008.html

  • 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/manual008.html
3
3
<HTML>
4
4
<HEAD>
5
5
 
6
 
 
7
 
 
8
6
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
9
 
<META name="GENERATOR" content="hevea 1.08">
 
7
<META name="GENERATOR" content="hevea 1.09">
10
8
<LINK rel="stylesheet" type="text/css" href="manual.css">
11
 
<TITLE>
12
 
The Objective Caml language
13
 
</TITLE>
 
9
<TITLE>The Objective Caml language</TITLE>
14
10
</HEAD>
15
11
<BODY >
16
 
<A HREF="manual007.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
17
 
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
18
 
<A HREF="manual021.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
 
12
<A HREF="manual007.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
 
13
<A HREF="index.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
 
14
<A HREF="manual021.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
19
15
<HR>
20
 
 
21
 
<H1 CLASS="chapter"><A NAME="htoc51">Chapter&nbsp;6</A>&nbsp;&nbsp;The Objective Caml language</H1> <A NAME="c:refman"></A>
22
 
 
23
 
 
24
 
<H2 CLASS="section">Foreword</H2>
25
 
This document is intended as a reference manual for the Objective Caml
 
16
<H1 CLASS="chapter"><A NAME="htoc51">Chapter�6</A>��The Objective Caml language</H1><P> <A NAME="c:refman"></A>
 
17
</P><H2 CLASS="section">Foreword</H2><P>This document is intended as a reference manual for the Objective Caml
26
18
language. It lists the language constructs, and gives their precise
27
19
syntax and informal semantics. It is by no means a tutorial
28
20
introduction to the language: there is not a single example. A good
29
 
working knowledge of Caml is assumed.<BR>
30
 
<BR>
31
 
No attempt has been made at mathematical rigor: words are employed
 
21
working knowledge of Caml is assumed.</P><P>No attempt has been made at mathematical rigor: words are employed
32
22
with their intuitive meaning, without further definition. As a
33
23
consequence, the typing rules have been left out, by lack of the
34
24
mathematical framework required to express them, while they are
35
 
definitely part of a full formal definition of the language. <BR>
36
 
<BR>
37
 
 
38
 
<H3 CLASS="subsection">Notations</H3>
39
 
The syntax of the language is given in BNF-like notation. Terminal
 
25
definitely part of a full formal definition of the language. </P><H3 CLASS="subsection">Notations</H3><P>The syntax of the language is given in BNF-like notation. Terminal
40
26
symbols are set in typewriter font (<FONT COLOR=blue><TT>like</TT> <TT>this</TT></FONT>).
41
 
Non-terminal symbols are set in italic font (<FONT COLOR=maroon><I><TT>like</TT> &nbsp;<TT>that</TT></I></FONT>). 
42
 
Square brackets [&hellip;] denote optional components. Curly brackets
43
 
{&hellip;} denotes zero, one or several repetitions of the enclosed
44
 
components. Curly bracket with a trailing plus sign {&hellip;}<SUP>+</SUP>
 
27
Non-terminal symbols are set in italic font (<FONT COLOR=maroon><I>like that</I></FONT>). 
 
28
Square brackets [&#X2026;] denote optional components. Curly brackets
 
29
{&#X2026;} denotes zero, one or several repetitions of the enclosed
 
30
components. Curly bracket with a trailing plus sign {&#X2026;}<SUP>+</SUP>
45
31
denote one or several repetitions of the enclosed components.
46
 
Parentheses (&hellip;) denote grouping.<BR>
47
 
<BR>
48
 
 
49
 
<BR>
50
 
<BR>
51
 
<UL>
52
 
<LI><A HREF="manual009.html">Lexical conventions</A> <img alt="updated" src="updated_tiny.gif">
53
 
<LI><A HREF="manual010.html">Values</A> <img alt="updated" src="updated_tiny.gif">
54
 
<LI><A HREF="manual011.html">Names</A>
55
 
<LI><A HREF="manual012.html">Type expressions</A> <img alt="updated" src="updated_tiny.gif">
56
 
<LI><A HREF="manual013.html">Constants</A>
57
 
<LI><A HREF="manual014.html">Patterns</A>
58
 
<LI><A HREF="manual015.html">Expressions</A> <img alt="updated" src="updated_tiny.gif">
59
 
<LI><A HREF="manual016.html">Type and exception definitions</A> <img alt="updated" src="updated_tiny.gif">
60
 
<LI><A HREF="manual017.html">Classes</A>
61
 
<LI><A HREF="manual018.html">Module types (module specifications)</A>
62
 
<LI><A HREF="manual019.html">Module expressions (module implementations)</A>
63
 
<LI><A HREF="manual020.html">Compilation units</A>
 
32
Parentheses (&#X2026;) denote grouping.</P><UL>
 
33
<LI><A HREF="lex.html">Lexical conventions</A></LI>
 
34
<LI><A HREF="manual010.html">Values</A></LI>
 
35
<LI><A HREF="manual011.html">Names</A></LI>
 
36
<LI><A HREF="manual012.html">Type expressions</A></LI>
 
37
<LI><A HREF="manual013.html">Constants</A></LI>
 
38
<LI><A HREF="patterns.html">Patterns</A></LI>
 
39
<LI><A HREF="expr.html">Expressions</A></LI>
 
40
<LI><A HREF="manual016.html">Type and exception definitions</A></LI>
 
41
<LI><A HREF="manual017.html">Classes</A></LI>
 
42
<LI><A HREF="manual018.html">Module types (module specifications)</A></LI>
 
43
<LI><A HREF="manual019.html">Module expressions (module implementations)</A></LI>
 
44
<LI><A HREF="manual020.html">Compilation units</A></LI>
64
45
</UL>
65
 
 
66
 
<BR>
67
 
<BR>
68
46
<HR>
69
 
<A HREF="manual007.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
70
 
<A HREF="index.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
71
 
<A HREF="manual021.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
 
47
<A HREF="manual007.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
 
48
<A HREF="index.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
 
49
<A HREF="manual021.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
72
50
</BODY>
73
51
</HTML>