Commit 0e3f0650 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-03-14 17:33:36 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-14 17:33:36+00:00
parent 8423705d
......@@ -145,7 +145,14 @@ integers, characters, and atoms. To each kind corresponds a family of types.
<li><code>%%i%%--%%j%%</code> (where <code>%%i%%</code> and
<code>%%j%%</code> are integer literals, or <code>*</code>
for infinity): integer interval. E.g.: <code>100--*</code>,
<code>*--0</code> (note that <code>*</code> stands both
<code>*--0</code>
<footnote>
You should be careful when putting parenthesis around
a type of the form <code>*--%%i%%</code>. Indeed,
<code>(*--%%i%%)</code> would be parsed as a comment.
You have to put a whitespace after the left parenthesis.
</footnote>
(note that <code>*</code> stands both
for plus and minus infinity). </li>
<li><code>%%i%%</code> (where <code>%%i%%</code> is an integer
literal): integer singleton type.</li>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment