On Apr 22, 2013, at 03:31 , Michael Norrish michael.norr...@nicta.com.au
wrote:
Is the following really supposed to be acceptable? Both Poly/ML and mlton
accept
it without complaining:
datatype '+ = C | D;
(Moscow ML rejects it. mlton and Poly/ML treat it as the declaration of a
On 22/04/13 4:29 PM, Andreas Rossberg wrote:
On Apr 22, 2013, at 03:31 , Michael Norrish
michael.norr...@nicta.com.au wrote:
Is the following really supposed to be acceptable? Both Poly/ML and
mlton accept it without complaining:
datatype '+ = C | D;
(Moscow ML rejects it. mlton and