Commit b5fa77ae by Pietro Abate

### [r2004-03-12 20:22:59 by beppe] Empty log message

```Original author: beppe
Date: 2004-03-12 20:24:49+00:00```
parent 7237d121
 ... ... @@ -107,16 +107,18 @@ you just have to follow the translation function, T, given by:

\$\$ \$\$%%u%%\$\$) = T(\$\$%%t%%\$\$) -> T(\$\$%%u%%\$\$) T(\$\$A\$\$) = `A T(\$\$A of \$\$ \$\$%%t%%\$\$) = ( `A, T(\$\$%%t%%\$\$) ) T(\$\${ u : \$\$ \$\$%%t%%\$\$ \$\$}\$\$) = { u : T(\$\$%%t%%\$\$) } or {| u : T(\$\$%%t%%\$\$) |} (depends on if it stands for a function argument or a return value). T(\$\$bool\$\$) = Bool T(\$\$char\$\$) = Char T(\$\$int\$\$) = -1073741824 -- 1073741823 T(\$\$string\$\$) = Latin1 T(\$\$unit\$\$) = [] T(\$\$%%t%%\$\$ \$\$->\$\$ \$\$%%u%%\$\$) = T(\$\$%%t%%\$\$) -> T(\$\$%%u%%\$\$) T(\$\$A\$\$) = `A T(\$\$A of\$\$ \$\$%%t%%\$\$) = ( `A, T(\$\$%%t%%\$\$) ) | { u : T(\$\$%%t%%\$\$) } if in positive (result) position T(\$\${ u :\$\$ \$\$%%t%%\$\$ \$\$}\$\$) = < | {| u : T(\$\$%%t%%\$\$) |} if in negative (argument) position ]]> ... ...
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!