[m-dev.] Adding `.' as a module separator

[David Overton]

On Mon, Dec 02, 2002 at 02:06:54PM +1100, Ralph Becket wrote:
> David Overton, Monday,  2 December 2002:
> > 
> > Currently we only allow one kind of module qualification per name.  If
> > the name contains a colon (':') then any occurrences of `__' are treated
> > as part of the name rather than as a module qualifier.  I think if we
> > are planning to phase out `__' as a  module-qualifier in
> > preference to `.' then we should stick to a simple rule like this.  The
> > way `__' is parsed at the moment is a bit of a hack anyway because it's
> > not recognised as a separate token by the lexer (IIRC).
> 
> I'm currently running a bootcheck on a version of the compiler that
> accepts both ':' and '.' as module separator operators that can be used
> together or separately.
> 
> What we want to do is change the use of ':' from module separator to
> `with_type` synonym.

Yes, I realise this.  What I'm saying is that there is no need to worry
about how we should parse names containing both `__' and `.' (or `:')
because the simple rule we have now (ignore `__' as a module seperator
if there is a `:') can easily be extended to cover `.' as well as `:'.


David
-- 
David Overton                  Uni of Melbourne     +61 3 8344 9159
dmo at cs.mu.oz.au                Monash Uni (Clayton) +61 3 9905 5779
http://www.cs.mu.oz.au/~dmo    Mobile Phone         +61 4 0337 4393
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------