Slightly obfuscated bounded real error message...

From: Warwick Harvey <wh_at_icparc.ic.ac.uk>
Date: Thu 23 Aug 2001 04:20:00 PM GMT
Message-ID: <20010823172000.H18028@tempest.icparc.ic.ac.uk> 
Presumably this should produce a slightly less elaborate error message?  :)

goat: ~/rotds/patch-stable/bin/i386_linux/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.2 #29, Tue Aug 21 00:15 2001
[eclipse 1]: 0.0__0.1 == 0.0__0.1.
exiting to an undefined tag in exit_block('undecidable comparison of bounded reals')
Abort
[eclipse 2]: 


Cheers,
Warwick
Received on Thu Aug 23 17:20:01 2001

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