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

On Thu, May 26, 2011 at 11:48 PM, Michael Norrish
<[email protected]> wrote:
> 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?

Not yet.  It's on my TODO to integrate the ml-lpt tools and lib.