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

[Michael Norrish]

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

-------------- 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/20110527/ce01eb24/signature.pgp