[MLKit-devel] Bug in equality of array types

[Vesa K. <ves...@gm...>]

Consider the following program:

<--- eq.sml --->
fun arrayEq (a : 'a array, b : 'a array) = a = b
fun refEq (a : 'a ref, b : 'a ref) = a = b
<--- eq.sml --->

Compiling it with MLKit (4.3.2) gives:

<--- output --->
[reading source file:   eq.sml]

eq.sml, line 1, column 43:
  fun arrayEq (a : 'a array, b : 'a array) = a = b
                                             ^^^^^
Type clash,
   operand suggests operator type: 'a array * 'a array->'b
   but I found operator type:      ''c * ''c->bool
Stopping compilation of MLB-file due to errors.
<--- output --->

-Vesa Karvonen