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">
9
<TITLE>Constants</TITLE>
16
<A HREF="manual012.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
17
<A HREF="manual008.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
18
<A HREF="manual014.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
12
<A HREF="manual012.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
13
<A HREF="manual008.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
14
<A HREF="patterns.html"><IMG SRC="next_motif.gif" ALT="Next"></A>
21
<H2 CLASS="section"><A NAME="htoc64">6.5</A> Constants</H2>
24
<DIV CLASS="center"><TABLE CELLSPACING=2 CELLPADDING=0>
25
<TR><TD ALIGN=right NOWRAP>
26
<A NAME="constant"></A>
27
<FONT COLOR=maroon><I><TT>constant</TT></I></FONT></TD>
28
<TD ALIGN=right NOWRAP>::=</TD>
29
<TD ALIGN=left NOWRAP>
30
<FONT COLOR=maroon><I><a href="manual009.html#integer-literal"><font color=maroon><TT>integer-literal</TT></font></a></I></FONT></TD>
32
<TR><TD ALIGN=right NOWRAP> </TD>
33
<TD ALIGN=right NOWRAP>∣</TD>
34
<TD ALIGN=left NOWRAP> <FONT COLOR=maroon><I><a href="manual009.html#float-literal"><font color=maroon><TT>float-literal</TT></font></a></I></FONT></TD>
36
<TR><TD ALIGN=right NOWRAP> </TD>
37
<TD ALIGN=right NOWRAP>∣</TD>
38
<TD ALIGN=left NOWRAP> <FONT COLOR=maroon><I><a href="manual009.html#char-literal"><font color=maroon><TT>char-literal</TT></font></a></I></FONT></TD>
40
<TR><TD ALIGN=right NOWRAP> </TD>
41
<TD ALIGN=right NOWRAP>∣</TD>
42
<TD ALIGN=left NOWRAP> <FONT COLOR=maroon><I><a href="manual009.html#string-literal"><font color=maroon><TT>string-literal</TT></font></a></I></FONT></TD>
44
<TR><TD ALIGN=right NOWRAP> </TD>
45
<TD ALIGN=right NOWRAP>∣</TD>
46
<TD ALIGN=left NOWRAP> <FONT COLOR=maroon><I><a href="manual011.html#constr"><font color=maroon><TT>constr</TT></font></a></I></FONT></TD>
48
<TR><TD ALIGN=right NOWRAP> </TD>
49
<TD ALIGN=right NOWRAP>∣</TD>
50
<TD ALIGN=left NOWRAP> <FONT COLOR=blue><TT>false</TT></FONT></TD>
52
<TR><TD ALIGN=right NOWRAP> </TD>
53
<TD ALIGN=right NOWRAP>∣</TD>
54
<TD ALIGN=left NOWRAP> <FONT COLOR=blue><TT>true</TT></FONT></TD>
56
<TR><TD ALIGN=right NOWRAP> </TD>
57
<TD ALIGN=right NOWRAP>∣</TD>
58
<TD ALIGN=left NOWRAP> <FONT COLOR=blue><TT>[]</TT></FONT></TD>
60
<TR><TD ALIGN=right NOWRAP> </TD>
61
<TD ALIGN=right NOWRAP>∣</TD>
62
<TD ALIGN=left NOWRAP> <FONT COLOR=blue><TT>()</TT></FONT></TD>
64
<TR><TD ALIGN=right NOWRAP> </TD>
65
<TD ALIGN=right NOWRAP>∣</TD>
66
<TD ALIGN=left NOWRAP> <TT><FONT COLOR=blue>`</FONT><FONT COLOR=maroon><a href="manual011.html#tag-name"><font color=maroon><I>tag-name</I></font></a></FONT></TT></TD>
67
</TR></TABLE></DIV><BR>
69
The syntactic class of constants comprises literals from the four
16
<H2 CLASS="section"><A NAME="htoc64">6.5</A>��Constants</H2><TABLE CLASS="display dcenter"><TR VALIGN="middle"><TD CLASS="dcell"><TABLE CELLSPACING=6 CELLPADDING=0><TR><TD ALIGN=right NOWRAP>
17
<I><A NAME="constant"><FONT COLOR=maroon>constant</FONT></A></I></TD><TD ALIGN=center NOWRAP>::=</TD><TD ALIGN=left NOWRAP>
18
<I><A HREF="lex.html#integer-literal"><FONT COLOR=maroon>integer-literal</FONT></A></I>
20
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<I><A HREF="lex.html#float-literal"><FONT COLOR=maroon>float-literal</FONT></A></I>
22
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<I><A HREF="lex.html#char-literal"><FONT COLOR=maroon>char-literal</FONT></A></I>
24
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<I><A HREF="lex.html#string-literal"><FONT COLOR=maroon>string-literal</FONT></A></I>
26
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<I><A HREF="manual011.html#constr"><FONT COLOR=maroon>constr</FONT></A></I>
28
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<FONT COLOR=blue><TT>false</TT></FONT>
30
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<FONT COLOR=blue><TT>true</TT></FONT>
32
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<FONT COLOR=blue><TT>[]</TT></FONT>
34
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<FONT COLOR=blue><TT>()</TT></FONT>
36
<TR><TD ALIGN=right NOWRAP> </TD><TD ALIGN=center NOWRAP>∣</TD><TD ALIGN=left NOWRAP>�<FONT COLOR=blue><TT>`</TT></FONT><I><A HREF="manual011.html#tag-name"><FONT COLOR=maroon>tag-name</FONT></A></I></TD></TR>
38
</TABLE><P>The syntactic class of constants comprises literals from the four
70
39
base types (integers, floating-point numbers, characters, character
71
40
strings), and constant constructors from both normal and polymorphic
72
41
variants, as well as the special constants <TT>false</TT>, <TT>true</TT>, <TT>[]</TT>,
73
42
and <TT>()</TT>, which behave like constant constructors.
78
<A HREF="manual012.html"><IMG SRC ="previous_motif.gif" ALT="Previous"></A>
79
<A HREF="manual008.html"><IMG SRC ="contents_motif.gif" ALT="Up"></A>
80
<A HREF="manual014.html"><IMG SRC ="next_motif.gif" ALT="Next"></A>
45
<A HREF="manual012.html"><IMG SRC="previous_motif.gif" ALT="Previous"></A>
46
<A HREF="manual008.html"><IMG SRC="contents_motif.gif" ALT="Up"></A>
47
<A HREF="patterns.html"><IMG SRC="next_motif.gif" ALT="Next"></A>