[m-dev.] @ syntax (was: Freeze the compiler)

Fergus Henderson fjh at cs.mu.OZ.AU
Tue Nov 14 22:41:52 AEDT 2000


On 14-Nov-2000, Ralph Becket <rbeck at microsoft.com> wrote:
> >From Michael Day on 14/11/2000 08:07:27
> > 
> > > It would just be a syntactic transformation.
> > > You would just declare e.g.
> > > 
> > > 	:- func elem(map(K, V), K) = V.
> > > 	:- func 'elem :='(map(K, V), K, V) = map(K, V).
> > 
> > In the 'elem :=' example, must the space be preserved exactly? Will
> > including an extra space or two produce obscure error messages?
> 
> I believe that the correct syntax is to have no spaces at all
> before the `:='

Yes, you're right.

> (I would have voted for one, but I shan't quibble).

I would have voted for one too.
In fact, if there are no objections, I propose that we make that change.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
                                    |  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
--------------------------------------------------------------------------



More information about the developers mailing list