CASL tool set (CATS)
List of known problems
General: The error messages sometimes do not appear in the correct order.
If you do not understand an error, try to delete parts of the specifications,
using %( and %) for commenting out large parts. It makes sense to check
just the library imports (from ... get ...) first. Sorry, this problem
will be corrected soon.
Basic specifications admit non-linear visibility (while the Summary specifies
The error messages of the static checker could be better
The overload resolution is based on an old version of the overload relations,
but only in relatively subtle cases, this makes a difference
Bracket balancing within mixfix identifiers is not checked
Libraries are only treated in a rudimentary way. You always have to use
PATHs, which are interpreted relatively to directory specified with $CASL_LIB,
except that PATHs of form Basic/xxx refer to the Basic
Datatypes. Version numbers are just ignored.
- Does not work. You have to use CATS 0.56. Currently, we adapt
the LaTeX output to CASL 1.0.1 and the new style file.