On Mon, May 26, 2014 at 7:01 PM, Norbert Melzer <timmelzer@gmail.com> wrote:

The arrays he gave as an example had all At least one dimension equal to 0. So assocs would produce an empty list as far as I remember, so the three arrays would be considered to be equal indeed. It's a pity I can't check that right now, I'm on mobile...

Then I would indeed expect them to be trivially equal in H'98. 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.

--
brandon s allbery kf8nh                               sine nomine associates
allbery.b@gmail.com                                  ballbery@sinenomine.net
unix, openafs, kerberos, infrastructure, xmonad        http://sinenomine.net