12 Nov
2010
12 Nov
'10
9:15 a.m.
Hi,
the two datatype declarations in sequence
datatype 'a T = T of ('a * 'a T) list; datatype 'a S = S of 'a T;
give a strange error message
haftmann@macbroy15:/home/nfs_data$ /opt/polyml/polyml-5.3.0/x86-linux/polyml Poly/ML 5.3 Release
datatype 'a T = T of ('a * 'a T) list;
datatype 'a S = S of 'a T; datatype 'a T = T of ('a * 'a T) list
Exception- InternalError: changeL: Unknown code raised while compiling
Exception- InternalError: changeL: Unknown code raised while compiling
Apparently I'm using polyml 5.3.0 un x86-linux.
Thanks for any hints, Florian