[clean-list] unique arrays in unique records

[jerzy.karczmarczuk at info.unicaen.fr]

valery at freesurf.fr writes: 

> I am struggling with uniqueness typing (again).
...
> The state of the search is stored in a unique record, which contains,
> among other things, a unique array representing the board. My attemp to
> update the array is bellow (function seek), but it is rejected :
> Uniqueness error [knight.icl,13,seek]: "board" demanded attribute cannot
> be offered by shared object 
> 
> How to update a unique array in a record ?

Are you sure your record is unique? I don't see it. 


Jerzy Karczmarczuk