Re: update_struct

From: Sebastian Brand <Sebastian.Brand_at_cwi.nl>
Date: Tue 21 Aug 2001 04:39:07 PM GMT
Message-ID: <20010821183907.A7811@cwi.nl>
Hello,


it seems, update_struct is a tough one.  It still does not work correctly:


ECLiPSe Constraint Logic Programming System [kernel]
...
Version 5.2 #28, Thu Aug 16 00:14 2001

[eclipse 1]:		local struct( d( f )).

Yes (0.00s cpu)
[eclipse 2]:		local struct( a(b, c: d, e)).

Yes (0.00s cpu)
[eclipse 3]: 		update_struct(a, e:b, A, B).

A = a(_236, _237, b)
B = a(_236, _237, b)
Yes (0.00s cpu)



Best regards,
Sebastian







[Joachim Schimpf:]
|  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 Tue Aug 21 17:39:09 2001

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