Problem with array updates

Rolf-Thomas Happe rthappe@mathematik.uni-freiburg.de
Sat, 19 Feb 2000 15:50:28 +0100 (CET)


> If I instead use the VEBTree tyoe as descripted above (i.e., without uniqueness
> annotations), then I can use the createArray function, but I can't update it
> destructively: an expression with this form:
> 
>   insertWasEmpty (ManyVEB u f l det res) = 
>    let 
>        a  = ...
>        w = ...
>        f1 = ...
>        l1 = ...
>        res1 = ...
>    in (ManyVEB u f1 l1 {det & [toInt a] = w} res1)

Perhaps det or entries of det appear somewhere in the ...  Then you
should thread the "observations" of det in the manner of Example p. 31,
Clean LR V1.3 (updating unique arrays using a unique array selection.)

rthappe