[r2003-10-04 17:10:07 by cvscast] Beppe: error corrections

Original author: cvscast
Date: 2003-10-04 17:10:07+00:00

web/memento.xml

@@ -54,15 +54,15 @@ _" character,  starting by a capitalized letter or underscore.</li>
      <br/> <code>@</code> : concatenation of sequences
      <br/> <code>+,*,-,div,mod</code> : Integer,Integer -> Integer
      <br/> <code>=, &lt;&lt;, &lt;=, &gt;&gt;, &gt;= </code> :
-Integer,Integer -> Bool = <code>`true | `false</code>
+t,t -> Bool = <code>`true | `false</code> (all non functional types t)
    </li>
    <li>Prefix:
         <br/><code>load_xml,load_html</code> : String -> Any,
         <br/><code>dump_to_file</code> : String -> String -> Any,
         <br/><code>print_xml</code> : Any -> String
         <br/><code>print</code> : String -> []
-        <br/><code>int_of</code> : [('0'--'9')+] -> Integer
-        <br/><code>string_of</code> : Integer -> String
+        <br/><code>int_of</code> : ['-'? ('0'--'9')+] -> Integer
+        <br/><code>string_of</code> : Any -> Latin1
    </li>
  </ul>
 </box>