[mercury-users] full and empty lists

[Ralph Becket]

David Overton, Monday, 14 January 2002:
> On Mon, Jan 14, 2002 at 11:20:15AM +1100, Ralph Becket wrote:
> > 
> > Why did you pick the name "ne_tl_io"?
> >                                  ^^
> > Surely you mean "ne_tl_out"?
> 
> Ralph, I think you've misread his code.  The mode ne_tl_io is 
> `ground >> non_empty_list', not `free >> non_empty_list' so using
> `out/1' is incorrect.

Oops!

> > The mode for full_timeline/1 is wrong.
> 
> Only using your definition of ne_tl_io :-)

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