[mercury-users] first argument to spawn.

[Thomas Conway]

On Tue, Sep 05, 2000 at 09:03:54PM EST, Peter Ross wrote:
> Hi,
> 
> I have just been trying to justify why the first argument to spawn is a
> cc_multi closure,  I find the argument quite weak.
> Spawn itself should be cc_multi, but the first argument to spawn should
> be able to be det or cc_multi.

Yes. That's right, I just found it sufficiently convenient to wrap a
	(pred(di, uo) is cc_multi -->
		...
	)
round det things that I never bothered to make a mode for a det closure.
You definitely want the cc_multi mode because otherwise you couldn't
call spawn from within a spawned thread.

Thomas
-- 
 Thomas Conway              Unicode for terrorists: U+0001 300C
 <conway at cs.mu.oz.au>         "Tie his hands behind his back"
 Mercurian )O+  
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------