lib(fd) breaks writeq

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Fri 26 Jan 2001 05:12:46 PM GMT
Message-ID: <3A71B00E.9D879144@icparc.ic.ac.uk>
Just FYI...

If one loads the FD library, writeq (and variants) can print things
which are not readable.

goat: 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.1.0, Wed Nov 22 12:31 2000
[eclipse 1]: writeq(20 * -3).
20 * -3
yes.
[eclipse 2]: read(X).
 20 * -3
 
X = 20 * -3
yes.
[eclipse 3]: lib(fd).
fd_domain.eco compiled traceable 0 bytes in 0.01 seconds
fd_arith.eco compiled traceable 0 bytes in 0.04 seconds
fd_util.pl compiled traceable 2112 bytes in 0.01 seconds
fd_chip.pl compiled traceable 4708 bytes in 0.02 seconds
fd_elipsys.pl compiled traceable 11004 bytes in 0.01 seconds
fd.eco     compiled traceable 0 bytes in 0.09 seconds

yes.
[eclipse 4]: writeq(20 * -3).
20*-3
yes.
[eclipse 5]: read(X).
 20*-3
syntax error: postfix/infix operator expected
| 20*-3
|    ^ here

no (more) solution.
[eclipse 6]: 
bye

Cheers,
Warwick
Received on Fri Jan 26 17:12:47 2001

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