Commit bbf7a289 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-03-13 22:22:34 by beppe] Empty log message

Original author: beppe
Date: 2004-03-13 22:22:34+00:00
parent 8bb833ce
......@@ -116,12 +116,13 @@ T($$int$$) = -1073741824 -- 1073741823
T($$string$$) = Latin1
T($$unit$$) = []
T($$%%t%%$$ $$->$$ $$%%u%%$$) = T($$%%t%%$$) -> T($$%%u%%$$)
T($$%%t%%$$ $$*$$ $$%%u%%$$) = ( T($$%%t%%$$) , T($$%%u%%$$) )
T($$%%t%%$$ $$list$$) = [ T($$%%t%%$$)* ]
T($$A$$) = `A
T($$A of$$ $$%%t%%$$) = ( `A, T($$%%t%%$$) )
| { u : T($$%%t%%$$) } if in covariant (result) position
| { u : T($$%%t%%$$) } if in contravariant (argument) position
T($${ u :$$ $$%%t%%$$ $$}$$) = <
| {| u : T($$%%t%%$$) |} if in contravariant (argument) position
| {| u : T($$%%t%%$$) |} if in covariant (result) position
]]></sample>
......
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