library/array.m:
Add uint versions of most of this module's operations.
NEWS.md:
Mention the new operations.
library/edit_distance.m:
Use the new array operations to eliminate some casts.
library/edit_seq.m:
Minor style fix.
tests/hard_coded/array_gen.{m,exp}:
tests/hard_coded/array_test_2.{m,exp}:
Extend the tests of array.m's operations to the corresponding uint
versions. Expect the output for the new versions.
tests/hard_coded/array_resize.m:
tests/hard_coded/array_shrink.m:
Extend the tests of array.m's operations to the corresponding uint
versions, but generate output only if their results differ from the
original int versions. (They don't differ.)
tests/hard_coded/array_primitives.m:
Style fixes.
Branches: main
Add procedures to the array module for creating and filling new arrays in a
single call. (This avoids situations where the elements of a newly created
array are set to initial value which is then immediately overwritten.)
library/array.m:
Add the function array.generate/2 and the predicate
array.generate_foldl/5.
Add an XXX regarding some C# foreign code in this module.
NEWS:
Announce the new predicate and function.
tests/hard_coded/Mmakefile:
tests/hard_coded/array_gen.{m,exp}:
Test the new functionality.