On 30/03/12 12:52, David Matthews wrote:
It is, of course, possible to write local nonfix & in datatype t = & end This should work in both Poly/ML and SML/NJ although I haven't tested SML/NJ here.
Good point - I'd forgotten about nonfix. Thanks for the updates. That is much more preferable to a workaround! Phil _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
