[mercury-users] Semantics of 'new'

David Overton dmo at cs.mu.OZ.AU
Thu Feb 6 10:24:58 AEDT 2003

On Thu, Feb 06, 2003 at 06:15:49AM +0800, Douglas Auclair wrote:
> Hello, all,
> In reviewing existential quantification, I can across the following code 
> snippet:
> :- type univ ---> some [T] mkuniv(T).

This is an existentially quantified data type which is quite different
from an existentially quantified goal.  See the Chapter on "Existential
Types" in the Mercury reference manual.

> univ(X) = 'new mkuniv'(X).
> I didn't see an explanation of 'new' in the neither the Language reference 
> nor in the Library reference.

See the section on "Existentially typed data types".

David Overton                  Uni of Melbourne     +61 3 8344 1354
dmo at cs.mu.oz.au                Monash Uni (Clayton) +61 3 9905 5779
http://www.cs.mu.oz.au/~dmo    Mobile Phone         +61 4 0337 4393
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

More information about the users mailing list