The speed of type inference has been improved for large programs with
a lot of mutually recursive predicates. TCLP now tries to type check
prolog files for modules that don't have .typ files. The error messages
have been updated so they can be understood by Emacs in a compilation
buffer.
A cache system was implemented in order to speed up the initialization of TCLP. This release also contains two bugfixes: it correctly prints errors of typeof declarations, and prints names correctly when encountering an error with --option nodefault.
In this release, a speed improvement was achieved
thanks to the elimination and the simplification of various
type constraints. There were also some bugfixes, both in
libraries and in the type checker.