[m-dev.] module system discussion

[Simon Taylor]

On 11-Dec-2001, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 30-Nov-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> > 
> > I'm not proposing the `:- transparent_module' extension just
> > for .NET. I am arguing that it is generally good style to qualify
> > class method names with the class name, and that it is worth adding
> > a small extension to the module system to make that more convenient.
> > This hasn't come up before because we haven't used typeclasses much
> > before, and especially not in large module hierarchies.
> 
> Wouldn't ordinary nested modules and `:- use_hierarchy' suffice,
> both for Mercury type classes, and for interfacing with .NET?

I don't think it's OK to have to `:- use_hierarchy System'
to use the classes defined at the top level.

The sloppy solution (import everything) should not be the only
practical solution.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------