Cannot compile MLB files that include module entities

Open eldesh opened this issue 4 years ago • 3 comments

MLBasis includes the signature, structure and functor definition as part of basdec. http://mlton.org/MLBasisSyntaxAndSemantics

Mar 21 '21 07:03 eldesh

This MLton feature will be difficult to support in MLKit. The feature can be simulated at the file-level, however.

Mar 21 '21 10:03 melsman

To implement the feature, a possible path would be to generate "rebinding-code" dynamically and store it in a file in the MLB directory (with a name generated from the hash of its content)... I'll reopen this issue - maybe someone will attack it at some point...

Mar 21 '21 10:03 melsman

@melsman First, I implemented the parser https://github.com/eldesh/mlkit/commit/893d62fdfe50992922278826297cb6908a045ef8. Is this a reasonable starting point? What should I do next? Where should I make changes to achieve it?

Mar 24 '21 15:03 eldesh