Bugs

If you find a bug, not listed below, please contribute with an issue on the Github page 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.