[mercury-users] Tuple type class instances

[Thomas Conway]

On Fri, Jun 22, 2001 at 03:12:02PM EST, Simon Taylor wrote:
> If you really want a decomposable tuple-like type, use nested pairs.
> 

Or if you want it to look like tuples use ,/2:

    :- type (A, B) ---> (A, B).

    ... X = (foo, bar, baz, quux), ....

-- 
  Thomas Conway )O+
 <conway at cs.mu.oz.au>       499 User error! Replace user, and press any key.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------