On Sat, 17 Feb 2001, Dave Thomas wrote:

> What triggers the creation of a new set of state for this function:
> does each call site get its own, or is it based on scope. For example, 

I can't remember.  In Icon the sequence can be finished by fail or
return, but you are asking about what state any caller gets.  I think
it is scope based in Icon, but I'd have to look.

I will get back to you about this, but I have to duck out of the 
list for a while for reasons I'll explain later.

I don't know what happens in the Mercury language, even though my
initials are Hg :-)

> 
> Dave
> 
	Hugh