Re: update_struct

From: Joachim Schimpf <j.schimpf_at_icparc.ic.ac.uk>
Date: Wed 08 Aug 2001 04:33:47 PM GMT
Message-ID: <3B7169EB.CFE50731@icparc.ic.ac.uk>
Sebastian Brand wrote:
> 
> The following gives an error for both (uncommented) update_struct
> calls:
> 
>         :- local struct( sub(d, e) ).
>         :- local struct( a(b, c:sub) ).
> 
>         :-      X = a with [b:1, c:Xc],
>                 Xc = sub with [d:2, e:3],
> 
>         %       update_struct(a, [d:20], Y, Z).
>         %       update_struct(a, [c:C], Y, W).
> 
> so: does update_struct only work with unnested structures?
> It is not mentioned in the documentation...

Thanks for your report.
It will work in Eclipse 5.2 #26 or above,
which should appear on the ftp site in the next few days.

Best regards,
-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc, Imperial College   /            mailto:J.Schimpf@ic.ac.uk
 London SW7 2AZ, UK         /    http://www.icparc.ic.ac.uk/eclipse
Received on Wed Aug 08 17:33:47 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:09 PM GMT GMT