[m-dev.] Module qualification of typeclass methods

Simon Taylor stayl at cs.mu.OZ.AU
Thu Nov 1 16:11:55 AEDT 2001


On 31-Oct-2001, Peter Ross <peter.ross at miscrit.be> wrote:
> Fergus wrote:
> To make this clear:
> 
> :- module foo__bar.
> :- export_module baz__bar__foo.
> :- end_module.
> 
> Would replace all module qualifiers baz__bar__foo with foo__bar on the items
> in baz__bar__foo.
> 
> > % combining two modules into a single module:
> > :- module foo.
> > :- interface.
> > :- export_module bar.
> > :- export_module baz.
> > :- end_module foo.
> >

How would this handle the case where `bar' and `baz' define
a predicate, type, mode, etc. with the same name?

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



More information about the developers mailing list