[mercury-users] Exceptions and unique modes

[Thomas Conway]

On Fri, Mar 02, 2001 at 01:01:22AM EST, Peter Ross wrote:
> A simple source to source transformation along the lines of
> 
> :- type t2
>         --->    f2(int)
>         ;       wrapper(t2_g2).
> 
> :- type t2_g2
>         --->    g2(int, int, int, int, int, int, int, int, int, int,
>                 int, int, int, int, int, int, int, int, int, int).

Okay, but now you're introducing an extra dereference,
which will slow the program down.

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