Commit 82d98774 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-03-14 16:20:39 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-14 16:20:39+00:00
parent 320cb519
......@@ -35,7 +35,7 @@ which includes a few built-in examples.
</li>
<li>Symbolic atoms:
<ul>
<li>Values: <duce>`A, `B, `a, `b, ...</duce> </li>
<li>Values: <duce>`A, `B, `a, `b, `true, `false, ...</duce> </li>
<li>Types: singletons <duce>`A, `B, ...</duce> </li>
</ul>
</li>
......@@ -48,6 +48,8 @@ which includes a few built-in examples.
<li>Infix:
<br/> <duce>@</duce> : String,String -> String
<br/> <duce>+,*,-,div,mod</duce> : Integer,Integer -> Integer
<br/> <duce>=, &lt;&lt;, &lt;=, &gt;&gt;, &gt;= </duce> :
Integer,Integer -> Bool = <duce>`true | `false</duce>
</li>
<li>Prefix:
<br/><duce>load_xml,load_html, dump_to_file</duce> : String -> Any
......@@ -162,6 +164,8 @@ en</duce></li>
<duce>match e1 with p -> e2</duce>;
<duce>let p : t = e1 in e2</duce> equivalent to
<duce>let p = (e1 : t) in e2</duce> </li>
<li>If-then-else: <duce>if e1 then e2 else e3</duce>, equivalent to
<duce>match e1 with `true -> e2 | `false -> e3</duce></li>
<li>Exceptions: <ul>
<li>Raise exception: <duce>raise e</duce></li>
<li>Handle exception: <duce>try e with p1 -> e1 | ... | pn ->
......
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