Re: bug to do with as-binding masking datatype constructor name

Andreas Rossberg <[email protected]> Wed, 13 Apr 2011 08:49:32 +0200

Newsgroups	gmane.comp.lang.ml.mlton.devel,gmane.comp.lang.ml.polyml.general
Message-ID	<[email protected]>

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