[mercury-users] Optional fields in a datatype - how to represent?

[Peter Ross]

It may also help to realise that the mercury compiler expands the
following two lines as

On Mon, Apr 23, 2001 at 11:37:08AM +1000, David Overton wrote:
> 
> 	fred = employee(_, Age, _)
> 

E = fred,
E = employee(_, Age, _)

> or, use field access syntax:
> 
> 	Age = fred ^ age
> 
E = fred,
Age = E ^ age
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------