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

[Michael N. <Mic...@ni...>]

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