[mercury-users] array2d

[Jakob Puchinger]

>> Is there any reason why the array and array2d types
>> do not have the same interfaces? (e.g. init vs. new)
> 
> Written at different times by different authors.
> (I'll try to synchronize them at some point.)

This is really a pity!

Do you think it is complicated to add the following predicate:
:- pred array2d.make_empty_array2d(array2d(T)::array2d_uo) is det.
It is available for array.
Furthermore something similar to array.size would also be very nice!

Cheers,
Jakob
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------