Commit d2e9937d 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 46052710
......@@ -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
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.
(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