[m-dev.] for review: improvements for record syntax

[Simon Taylor]

Fergus wrote:
> On 05-Dec-2000, Peter Schachte <schachte at cs.mu.OZ.AU> wrote:
> > I see two sensible ways to handle `^'.  Given the term W ^ f(X, Y), it could
> > traslate into either (1) f(W, X, Y) or (2) f(X, Y, W).  Ralph, I believe,
> > preferred the former; I don't really have a preference.  I didn't look that
> > closely at the diff, which approach did Simon choose?
> 
> Simon chose (2).
> I'm with Ralph in preferring (1).

I think it's worth keeping the equivalence between field selection
and function application. The only reason they're not completely
equivalent now is that the compiler doesn't do mode inference for
higher-order terms.

Simon.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------