Fix an undetected unique mode error -- the input array

Estimated hours taken: 0.25
Branches: main, release

library/array.m:
	Fix an undetected unique mode error -- the input array
	to 'elem :=' should have mode `array_di', not `array_ui'.
This commit is contained in:
Simon Taylor
2002-06-03 17:04:25 +00:00
parent c2fb1bb3e7
commit aa0528a3cc

View File

@@ -229,7 +229,7 @@
% Field update for arrays.
% (Array ^ elem(Index) := Value) = array__set(Array, Index, Value).
:- func 'array__elem :='(int, array(T), T) = array(T).
:- mode 'array__elem :='(in, array_ui, in) = array_uo is det.
:- mode 'array__elem :='(in, array_di, in) = array_uo is det.
%-----------------------------------------------------------------------------%