Re: ml-lpt-lib in mlton (or rather, *not* in)
Matthew Fluet <[email protected]> Tue, 21 Jun 2011 22:35:44 -0400
| Newsgroups | gmane.comp.lang.ml.mlton.devel |
|---|---|
| Message-ID | <[email protected]> |
On Fri, May 27, 2011 at 8:44 AM, Matthew Fluet <[email protected]> wrote: > 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. In SVN, I've added the ml-lpt lib to the set of libraries distributed with MLton and also fixed the above dangling reference. This doesn't include the ml-lpt tools (ml-ulex and ml-antlr) in the MLton distribution, but you should be able to use SML/NJ's versions of these tools (just be sure to use the "--strict-sml" flag with ml-ulex to avoid the use of vector literals).