[m-dev.] Module qualification of typeclass methods

[Tyson Dowd]

On 06-Nov-2001, Simon Taylor <stayl at cs.mu.OZ.AU> wrote:
> On 06-Nov-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> > Zoltan wrote:
> > > 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.
> > >
> > What was the result of this discussion?
> 
> We spent a lot of time discussing record syntax, and left the module
> system discussion for the next meeting.

I also found it difficult to explain what the requirements are of the
extensions that are being proposed.

Can you gather together a few of the example interfaces that you are
generating and finding difficult to use? 

And can you then list the problems that are happening with them?

We can then discuss them with a bit more background, and so better
decide which extensions out of all the possible ones that we should use.

(Also, we are moving the Mercury meetings to Mondays, so this will be
discussed on Monday).

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't everyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------