On Alpha Linux, on main branch: Version 5.1.0, Thu Jan 11 19:49 2001 [eclipse 1]: et_flag(variable_names, off). yes. [eclipse 2]: open(queue(""), update, a). yes. [eclipse 3]: write_exdr(a, 1_2). no (more) solution. [eclipse 4]: read_exdr(a, X). Segmentation violation - possible reasons are: - a faulty external C function - certain operations on circular terms - machine stack overflow ... The write_exdr fails because 1_2 cannot be represented in exdr. Normally, the subsequent read_exdr should return a variable (and does on other architectures, and also if variable_names is not off for Alpha Linx): Version 5.1.0, Thu Jan 11 19:49 2001 [eclipse 1]: open(queue(""), update,a). yes. [eclipse 2]: write_exdr(a,1_2). no (more) solution. [eclipse 3]: read_exdr(a,X). X = X thames: /usr/local/eclipse/rotds/patch-2001-03-29/alpha_linux/install/bin/alpha_ linux/eclipse [.eclipserc compiled traceable 96 bytes in 0.00 seconds ECLiPSe Constraint Logic Programming System [kernel] Copyright Imperial College London and ICL Certain libraries copyright Parc Technologies Ltd GMP library copyright Free Software Foundation On the patch branch, a different (but still incorrect) result is returned: Version 5.1.1, Thu Mar 29 01:08 2001 [eclipse 1]: set_flag(variable_names,off). yes. [eclipse 2]: open(queue(""), update, a). yes. [eclipse 3]: write_exdr(a, 1_2). no (more) solution. [eclipse 4]: read_exdr(a, X). X = 1466021957376 yes. [eclipse 5]:Received on Thu Mar 29 16:37:42 2001
This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:05 PM GMT GMT