Commit 204b7cff authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2004-03-13 16:48:28 by beppe] Empty log message

Original author: beppe
Date: 2004-03-13 16:48:28+00:00
parent 62c914e5
......@@ -113,11 +113,12 @@ T($$int$$) = -1073741824 -- 1073741823
T($$string$$) = Latin1
T($$unit$$) = []
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 positive (result) position
| { u : T($$%%t%%$$) } if in covariant (result) position
T($${ u :$$ $$%%t%%$$ $$}$$) = <
| {| u : T($$%%t%%$$) |} if in negative (argument) position
| {| u : T($$%%t%%$$) |} if in contravariant (argument) 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