ml-lpt-lib in mlton (or rather, *not* in)

On 25/05/11 05:06, Matthew Fluet wrote:
> (Indeed, the ml-ulex tool admits regular expression complement,
> intersection, and union, so would admit relatively concise
> definitions of alphanumId and symId regular expressions that excluded
> the reserved words.)

Speaking of ml-ulex, mlton-20100608 (Ubuntu 10.10) has a dangling reference to 

 /Users/mtf/devel/smlnj/smlnj-110.72/lib/ml-lpt-lib.cm/ml-lpt-lib.mlb

in 

 /usr/lib/mlton/sml/smlnj-lib/JSON/json-lib.mlb

Is this fixed in a more recent release?

Michael

_______________________________________________
MLton mailing list
[email protected]
http://mlton.org/mailman/listinfo/mlton

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iQEcBAEBAgAGBQJN3x8ZAAoJEGKGQ6ej3R2R5IYH/0QLxdGZnJ7iEd7XieuHl6bE
db45Cws4+j+Jo1kBqOteA5sCUmuHwEUuFJvy0kAxH7SlQxtQkl4AsC2TZTUCLVf2
rPklogBWYZuonlBGdzQ2PKwvTF44ce6XZzztnI8jkfct5shRmLzxqwH0apVIxKCN
PcLDj6fkfj9DeV1hHZDp+P+95b0CMdtWNsaCLls0sDwqyqcVVKn7HkFZJWySNAGt
RJFK3CPj+AOSxSQItnZXrnM2kf7IcrxcQn5yt8aa7XwF30jWu7O3zjONlUe4gJ7/
HL/dV446YVtPI0PbQ6CJFVimYGHXyTkAIJVZmG8iBuATDqW/Ni9yq2k1nB8QFO8=
=ugzj
-----END PGP SIGNATURE-----