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
Maybe interesting to know: in the svn the error is gone:
haftmann@macbroy15:/home/nfs_data$ /opt/polyml/polyml-svn/x86-linux/poly Poly/ML 5.4.1 Testing 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 datatype 'a S = S of 'a T
Sorry for not having tested this before the first posting.
Florian
-
florian.haftmann＠informatik.tu-muenchen.de