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
-
Basic specifications admit non-linear visibility (while the Summary specifies
linear visibility)
-
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
-
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.
LaTeX output
- 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.
cofi@informatik.uni-bremen.de