[mercury-users] Array-bounds

Lee Naish lee at cs.mu.oz.au
Wed Jun 11 16:12:40 AEST 1997

>array__from_list/2 returns an array which starts from 1
>uniq_array__from_list/2 returns an array which starts from 0
>As the documentation of array__from_list/2 does not tell that it starts
>from 1, I assumed it started from 0. You can imagine the consequences!
>My suggestions:
>  - Adapt the documentation of array__from_list/2.
>  - Add an array__from_list/3 which has an argument to specify
>    where the array starts!

A third suggestion
   - make array__from_list/2 nondet and return both

	lee :-)

More information about the users mailing list