Re: ml-ulex and mlton compatibility

On 2016-11-22 21:16, Eugen Zalinescu wrote:

> I'm trying to compile a project that uses the tools ml-ulex (called
> with the --strict-sml switch) and mlton. Compilation fails with
> "Undefined variable ULexBuffer.getu".

> It seems to me that this is caused by an incompatibility between the
> used version of these tools.
> 
> These tools were provided by the ml-lpt and mlton packages in Ubuntu
> xenix, thus with the versions 110.78-2 and 20100608 respectively. I've
> also tried with the manually installed version 20130715 and got the
> same result.
> 
> Any hint on how to fix this?

I think the lpt compatibility library in those versions of mlton still
only works with sources generated by the old mllex, and not with ones
generated by ml-ulex.

You could check out the current development version of mlton and use
just the lpt runtime from that, maybe aided by some mlb magic.

-- 
Please *no* private Cc: on mailing lists and newsgroups
Personal signed mail: please _encrypt_ and sign
Don't clear-text sign: http://cr.yp.to/smtp/8bitmime.html

------------------------------------------------------------------------------