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

Michael Norrish Michael.Norrish at nicta.com.au
Tue Apr 12 16:49:20 PDT 2011


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?

Best,
Michael

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 554 bytes
Desc: OpenPGP digital signature
Url : http://mlton.org/pipermail/mlton/attachments/20110413/ebd8b510/signature.pgp


More information about the MLton mailing list