>Frank A. Christoph wrote:
>>
>> >Standard ML does not allow this. One important aspect of the SML module
>> >system actually is its strong separation from the core language.
>>
>> Not that old saw again...! Ocaml separates the two as well.
>
>Well, the new let-module feature undermines the separation quite a bit,
>because any expression can now contain arbitrary module code -- the
>module system no longer rests on top of the core language.
Syntactically, that's clearly true. I was under the impression, though, that it was
_all_ syntax, but it seems I seriously underestimated the magnitude of this extension.
The fact that local modules only warranted a single paragraph in the language manual
undoubtedly contributed to my misunderstanding...!
Thanks for clearing that up.
--FC
