(I assume you meant ml-nlffigen.) ml-nlffigen is part of SML/NJ, not part of MLton.
On Mon, Nov 1, 2021 at 8:34 AM Florian Weimer <f...@deneb.enyo.de> wrote: > > * Henry Cejtin: > > > As far as I know, the ckit stuff is just included because it needed > > some tweaks to work under MLton. > > I don't think that any of "our" stuff depends on it. > > I think mlnffigen needs ckit.
