ML Kit bugs page

Home : Bugs

Bugs

If you find a bug, please report it via email to mlkit@it.edu including a (preferably small) test program which demonstrates the problem. We also solicit general questions about the use of the ML Kit or its implementation to the mlkit@it.edu mailing-list.

Known Bugs and Limitations

Arithmetic and Trigonomitric 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 tyvarseq_n tycon_n = conbind_n
```
is regular iff all occurrences of tycon_i, i in {1,...,n} in {conbind_1, ..., conbind_n} are in the context
```
     tyvarseq_i tycon_i
```

mlkit@it.edu