2 Apr
2012
2 Apr
'12
8:25 p.m.
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