Pattern-matching redundancy and exhaustiveness is not
checked. This is important, since CeXL requires patterns in let-bindings to
be exhaustive - a difference from Standard ML.
The syntactical constraints for the BNF-grammar in the language specification
are not implemented, which means things like checking that the types list,
bool etc. and the constructors true, false, nil etc. are not redeclared.
The error reporting is not the best
The performance is still bad
Modified: 2004-07-27
E-mail: (for spam-mail protection you cannot copy this e-mail address - you must spell it, and please don't mention this e-mail address on your own website)