Bugs

Contents

If you find a bug, not listed below, please send an email to mlkit at itu.dk containing information about how the bug can be reproduced.

Known Bugs and Limitations

Arithmetic and Trigonometric Functions in Math Module

The implementation uses the C functions specified in math.h. Unfortunately, these C functions are platform dependent and do not always return NaN precisely when the Basis Library stipulates that they should.

Polymorphic Equality

Polymorphic equality is implemented only for "regular" data types. A datatype binding

tyvarseq_1 tycon_1 = conbind_1 AND ... AND tvseq_n tycon_n = conbind_n


is regular iff all occurrences of tycon_i, i \in {1,...,n} in {conbind_1, ..., conbind_n} are on the form

tyvarseq_i tycon_i