Bugs
From MLKit
Contents |
[edit]
Comments and Bug Reports
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.
[edit]
Known Bugs and Limitations
[edit]
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.
[edit]
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
