bug to do with as-binding masking datatype constructor name

Michael Norrish <[email protected]> Wed, 13 Apr 2011 09:49:20 +1000
Newsgroups gmane.comp.lang.ml.mlton.devel,gmane.comp.lang.ml.polyml.general
Message-ID <[email protected]>
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

_______________________________________________
MLton mailing list
[email protected]
http://mlton.org/mailman/listinfo/mlton
signature.asc (application/pgp-signature, 554 B)
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJNpOUAAAoJEGKGQ6ej3R2RjCkH+gO2HwFs4Gbt15eOCft55pYP
NRV7QHFshQDun08zMNyTDjX3DNT9IhTM0sHtXhRCESyY35Mz44yph1rYiYzgeSUW
5SWQ/Oz8zyKiR2WgHr2pOV+vW0U8UtWvHd8aKmlYati4z9nTRCA2xtxYvWupLeK4
uR2igieBL3xUNrdue+ROoBpddZYw9sYClmBlzi5fBAeS3bib4G255gHwCEqd0rpd
zts7+IIMWIKmW3xw99tDoyt+NEyzcXtua2/LZjx2lRScSrhUUa3/7x7UD9ZAxEDb
HL2Wd9GytYvJs6rR6R+1GxhdltKQB/P9loJyDrMr2tptokNGX6vXclsoWzqJmQM=
=JgeU
-----END PGP SIGNATURE-----