first class modules don't allow "with type" declarations for types in sub-modules #5358
Original bug ID: 5358
For some reason, 1st-class modules have more restrictive "with" syntax, which turns out to be a practical problem.
The main constraint is that with constraints do not seem to be able to refer to sub-modules. Consider the following code snippet:
It would be nice to lift this restriction. (Also, allowing "with module" declarations would be good.)
There's a thread discussing this initiated by this message:
with a useful explanation by Alain Frisch here:
The text was updated successfully, but these errors were encountered: