[MLton] Implementation of processing ML Basis files

Hi there,

I ask this on the devel list as this is about the compiler itself.

I would like to ask you to estimate how much work it would be to port
MLton's .mlb file support to Poly/ML. I have a student who is willing
to do it.

I have found the semantics of ML Basis files:

http://mlton.org/MLBasisSyntaxAndSemantics

especially

http://mlton.org/MLBasis.attachments/mlb-formal.pdf

I have found the lexer and grammar files for it, which can be directly used:

https://github.com/MLton/mlton/tree/master/mlton/front-end

Where is the part which actually "evaluates" an .mlb file?

And, what do you think, how much work would it be to port it?

The ML Kit also supports ML Basis files, they write their libraries
with .mlb files. So it would be useful to have this for Poly/ML as
well.

Yours

- Gergely