[mercury-users] existential type question

[Michael Day]

> Shouldn't that be
>  	MaybeArg = 'new arg'(Arg).

Anyone still not think that the 'new functor' requirement is a blight on
humanity? (Or at least Mercury).

Michael

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