copy_term/3

From: Ulrich Scholz <scholz_at_inferenzsysteme.informatik.tu-darmstadt.de>
Date: Thu 29 May 2003 06:15:17 PM GMT
Message-ID: <20030529181516.GA16567@kiwi.intellektik.informatik.tu-darmstadt.de>
I guess I found a bug with copy_term/3.  Bad, it would have come in handy
right now.  Could you please send me some code to simulate it?

Thank you, Uli

Example from the manual:

scholz@kibo:~> eclipse
ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.5 #63, Tue Feb 11 00:22 2003
[eclipse 1]: set_flag(output_mode, "QPMV").


Yes (0.00s cpu)
[eclipse 2]:    copy_term(s(a,X{a},Y, Z{b}), Copy, Metas).
undefined variable attribute in trans_meta_in(X_118{Segmentation violation - possible reasons are:
- a faulty external C function
- certain operations on circular terms
- machine stack overflow
- an internal error in ECLiPSe
Aborting execution....

*** ECLiPSe fatal error: reset/0 called
ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.5 #63, Tue Feb 11 00:22 2003
[eclipse 1]:


---

scholz@kibo:~> eclipse
ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.5 #63, Tue Feb 11 00:22 2003
[eclipse 1]: copy_term(X,Y,Z).
calling an undefined procedure copy_term(X, Y, Z) in module eclipse
Abort
[eclipse 2]:
-- 
Ulrich Scholz

scholz@informatik.tu-darmstadt.de
http://www.intellektik.informatik.tu-darmstadt.de/~scholz
Received on Thu May 29 19:44:34 2003

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