Re: copy_term/3

Ulrich Scholz wrote:
> 
> I guess I found a bug with copy_term/3.

No, but you have found a bug in the error handling of the
following syntax error:

[eclipse 1]: copy_term(s(a,X{a},Y, Z{b}), Copy, Metas).
undefined variable attribute in trans_meta_in(X, _113, eclipse)
syntax error : in source transformation
| copy_term(s(a,X{a},Y, Z{b}), Copy, Metas).
|                                           ^ here


This error is raised because you haven't declared the attribute,
but with your output_mode settings it crashes while trying to print
the message. The following works:


Version 5.5 #71, Sat Apr 12 00:13 2003
[eclipse 1]: set_flag(output_mode, "QPMV").

Yes (0.00s cpu)
[eclipse 2]: meta_attribute(eclipse,[]).

Yes (0.01s cpu)
[eclipse 3]: sepia_kernel:copy_term(s(a,X{a},Y, Z{b}), Copy, Metas).

X = X_127{suspend : _125, a}
Y = Y_109
Z = Z_132{suspend : _130, b}
Copy = s(a, _247, Y_250, _252)
Metas = [[Z_132{suspend : _130, b}|_252], [X_127{suspend : _125, a}|_247]]
Yes (0.00s cpu)


I just see that copy_term/3 is documented but not visible by
default. We'll fix this as well.


-- 
 Joachim Schimpf              /             phone: +44 20 7594 8187
 IC-Parc                     /      mailto:J.Schimpf@imperial.ac.uk
 Imperial College London    /    http://www.icparc.ic.ac.uk/eclipse