On Apr 13, 2011, at 01:49, Michael Norrish wrote: > Poly 5.3 rejects > > datatype foo = bar of string > > fun f x = let > val bar as y = 3 > in > bar + x > end > > MLton 20091212~svn accepts it. > > Who's right? Mlton, although this is arguably a design bug of the language. /Andreas