On May 26, Brandon Allbery <allbery.b@gmail.com> wrote:

On Mon, May 26, 2014 at 5:12 PM, Kevin Van Horn <kevin@ksvanhorn.com> wrote:

I'm looking on the Haskell 98 Report, and the definition of (==) for values of type Array a b looks wrong to me. Here is the definition given:

a == a' = (assocs a == assocs a')

But this fails to account for the array length in each dimension; hence, if

Have you tested this?

Yes. For the arrays I defined I had assocs a = [ ], because the length in one dimension was equal to 0. So I had x == y but bounds x != bounds y.

I think if you're looking for anything more precise, you need to switch to something that can't be represented in H'98 or even H'2010, namely arrays with the bounds in the type.