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
haftm...@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
--
Home:
http://www.in.tum.de/~haftmann
PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
