[mercury-users] Array-bounds

[Lee Naish]

>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 :-)