[r2005-03-14 13:35:28 by afrisch] Empty log message

Original author: afrisch
Date: 2005-03-14 13:35:28+00:00

web/manual/types_patterns.xml

@@ -144,7 +144,9 @@ integers, characters, and atoms. To each kind corresponds a family of types.
     <li><code>Int</code>: all the integers.</li>
     <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>. </li>
+     for infinity): integer interval. E.g.: <code>100--*</code>,
+     <code>*--0</code> (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>
    </ul>