 | 9.3 Declarations |
| 
| 9 SML translator |
| 
| 9.5 Object expressions |
|
| 9.4 Class expressions |
9.4 Class expressions
A class expression translates to the definitions which
the translation of the contents
of the class expression results in.
A basic class expression translates as its declarations.
An extending class expression translates as the two class expressions.
Hiding is ignored: hidden names are visible. Since internal names are
used this causes no problems.
Renaming is ignored. Since internal names are
used this causes no problems.
With expressions are translated by opening the SML structures for objects.
A scheme instantiation translates as the unfolded scheme with
substituted parameters.
Chris George, April 17, 2008
| 9.4 Class expressions |
| 9.3 Declarations |
| |
| 9 SML translator |
| |
| 9.5 Object expressions |
|