[m-dev.] Module qualification of typeclass methods

[Zoltan Somogyi]

On 31-Oct-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> I have an alternative proposal, which was part of my original proposal
> for nested modules.  This proposal is to have a new construct
> 
> 	:- export_module <module name>.
> 
> which includes the *contents* of the specified module in the current module.
> (Maybe `export_module' isn't the best name for it.
> Other possible names include `export_module_contents',
> `module_contents', `copy', and `include'.)

While I like the idea of this functionality, I would vote very strongly against
the name "export_module". The name "include" would be much better.

We also need to agree on exactly what this operator would do. May I propose
tomorrow's meeting as the time and place to hash it out? Pete, you would need
to provide your input before then, of course.

Zoltan.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------