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

[Ralph Becket]

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.

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