[mercury-users] full and empty lists

[Dave Slutzkin]

 --- Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 16-Jan-2002, Dave Slutzkin <dave_slutzkin at yahoo.com> wrote:
>
> > So this mode inference doesn't work completely with field access
> functions? 
> 
> The distinction is between variables and non-variables.
> It's nothing specific to field access functions;
> it's the same for all function calls.

Ah yes.  If I'd read my own email carefully before sending I would have
realised exactly why it doesn't work.  I was thinking all C where
object.member is a piece of data, instead of Mercury where object^member is
the function returning the value of member in object...

thanks anyway,

Dave.

http://my.yahoo.com.au - My Yahoo!
- It's My Yahoo! Get your own!
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------