Maybe interesting to know: in the svn the error is gone:
> haftm...@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
--
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
