 | 9.5 Object expressions |
| 
| 9 SML translator |
| 
| 9.7 Value expressions |
|
| 9.6 Type expressions |
9.6 Type expressions
The RSL type literals are accepted.
A type name that is not an abbreviation translates as a name. A type
name that is an abbreviation translates as the abbreviation.
A product type expression translates to a structure that defines
equality and a "toString" function for output.
A set type expression translates to an instantiation of the set
functor from the RSL library.
A list type expression translates to an instantiation of the list
functor from the RSL library.
A map type expression translates to an instantiation of the map
functor from the RSL library.
A function type expression translates to an instantiation of the function
functor from the RSL library.
A subtype expression translates as its maximal type.
A bracketed type expression translates as its constituent type expression.
Chris George, April 17, 2008
| 9.6 Type expressions |
| 9.5 Object expressions |
| |
| 9 SML translator |
| |
| 9.7 Value expressions |
|