[m-dev.] Infix syntax proposal

[Fergus Henderson]

On 14-Aug-2002, Douglas Michael Auclair <dauclair at hotmail.com> wrote:
> I propose the following amendment to the infix syntax -- add a declaration 
> to the language of the form:
> 
> :- infix foo, bar, baz.

How would this interact with the module system?
For example, can these declarations occur in the interface
section of a module, and if so, what effect do they have
on importing modules?  Does it make a difference whether
the importing module uses "import_module" or "use_module"
to import the module containing the infix declaration?
If infix declarations occurring in the interface section
of a module don't have any effect on importing modules,
wouldn't this be an annoying inconsistency?

How would this interact with term I/O?
For example, should the behaviour of io__read and io__print take
infix declarations into account?
If not, wouldn't this be an annoying inconsistency?
If so, how would this interact with the module system?
How would it interact with dynamic loading of modules?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------