[mercury-users] tuple syntax

[Robert Ernst Johann JESCHOFNIK]

On Thu, 11 Nov 1999, Peter Schachte wrote:

> Right.  There's been some discussion of "type unfolding" (or whatever
> you want to call it; ie, when a term contains an argument A of a type
> with only one alternative, replacing A with all the arguments of A).
> This is a nice, general optimization (that unfortunately can lead to a
> slowdown in some cases) that would solve this problem with tuples
> quite nicely, and could be beneficial in other cases, as well.

Hrm. Perhaps a pragma could be added stating that this type should (or
possibly should not) be `unfolded'.
eg
	:- pragma unfold(tuple/2).
	:- type tuple ---> (A,B).


rob

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