[mercury-users] Collections of closures

[Warwick Harvey]

David Overton wrote:
> On Mon, 10 Jan, 2000 at 12:57:35PM EST, Warwick Harvey wrote:
> > Really?  I don't see how.  You can't pass an object with a `pred' inst to 
> > something expecting `ground', and (last time I checked) declaring the 
> > `pragma c_code' to be `pred(...) -> ground' doesn't work either.  If I'm 
> > missing something, please let me know!
> 
> Higher order insts are subinsts of ground and so objects with `pred'
> insts can be passed anywhere a ground object is required.  [...]

I stand corrected.  Thankyou.

Warwick

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