[MLton] bug to do with as-binding masking datatype constructor name

Andreas Rossberg rossberg at mpi-sws.org
Tue Apr 12 23:49:32 PDT 2011


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




More information about the MLton mailing list