 | 3 Tool components available |
| 
| Top |
| 
| 5 Pretty printer |
|
| 4 Type checker |
4 Type checker
Type checking is performed on any context files first, followed by the
input module mentioned in the command.
The tool outputs the names of modules it is checking. If it finds
errors it also outputs (on standard output) messages in the form
X.rsl:m:n: text
which indicates there is an error described by text in the
file X.rsl at line m and column n.
Apart from syntax errors the tool runs to completion. So remember
that some errors may be the consequences of earlier ones.
In the case of syntax errors the tool is usually one token ahead of
what caused the error, so you may need to go back past the preceding space or
new line to find the cause.
Chris George, April 17, 2008
| 4 Type checker |
| 3 Tool components available |
| |
| Top |
| |
| 5 Pretty printer |
|