[mercury-users] What mode is necessary?

[Mike Potanin]

On Wed, 20 Nov 2002, Ralph Becket wrote:

> We do have a branch of the compiler that can handle this sort of
> thing, but it has not been integrated with the main branch.  There
> are compile-time efficiency issues with it that have not been solved.
Is thit branch public? How to get it?
>
> The simplest solution is to use take_upto/2 as defined in the list library:
>
> 	[X, Y] = take_upto(2, [1, 2, 3, 4])
I want to make more compex pred. "preffix" is only test.
>
> There's some debate as to whether we really want to support partially
> instantiated structures.  It's not clear that the few good examples of
> their use justify the obfuscated coding style they also make possible!
It strongly will simplify implimentations of "message passing".

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