[mercury-users] Another indexing proposal (was mercury website (was Suggestion: new operator))

[Peter Schachte]

On Sat, Oct 21, 2000 at 06:26:33PM +1100, Fergus Henderson wrote:
> What I was talking about was just allowing ''(String, 3) to be
> *either* a higher-order call or a call to a call to a user-defined
> ''/N function (with the usual overloading mechanism used to
> distinguish between these two cases).  Currently ''(String, 3) is
> always treated as a higher-order call, never a call to a user-defined
> ''/N function.

Ah, I had forgotten that ''/N is already special, and that expressions of
the form String(3) are already translated to calls to ''.  In that case,
this seems like a very good solution.  The fact that you can make '' a
typeclass method is icing on the cake.

-- 
Peter Schachte <schachte at cs.mu.OZ.AU>  I consider the C declarator syntax an
http://www.cs.mu.oz.au/~schachte/      experiment that failed. Nevertheless,
Phone:  +61 3 8344 9166                I adopted it for C++.
Fax:    +61 3 9348 1184                    -- Bjarne Stroustrup 
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------