bignums and write_exdr (#895)

From: Kish Shen <k.shen_at_icparc.ic.ac.uk>
Date: Fri 09 Feb 2001 05:52:25 PM GMT
Message-ID: <3A842E59.EEC4C886@icparc.ic.ac.uk>
Bignums are not representable in EXDR, so write_exdr should fail with
bignums, but on Linux and Solaris:

[eclipse 6]:
write_exdr(a,1111111111111111111111111111111111111111111111111111111111111).

yes.
[eclipse 7]: read_exdr(a,X).

X = 1281023894007607751
yes.
[eclipse 8]: 

It does fail correctly on Alpha Linux.
Received on Fri Feb 09 17:52:25 2001

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