[m-dev.] Arithmetic switch construct

Ralph Becket rbeck at microsoft.com
Thu Feb 8 00:00:49 AEDT 2001


>From Fergus Henderson on 07/02/2001 12:58:04
> 
> Why not write that as
> 
> 	f(cons1) = result1.
> 	f(cons2) = result1.
> 
> ?
> 
> Perhaps you have a better motivating example? ;-)

Lambdas (always handy) and inline stuff, e.g.

	f(X) = h(X, case g(X) of foo => 1, bar => 2, ...).

One can always bail out to predicate notation, so it's not a big
deal really.  More a case of slightly wonky symmetry.

--
Ralph Becket      |      MSR Cambridge      |      rbeck at microsoft.com 

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