[mercury-users] partially instantiated data structures

[Peter Ross]

On 15-Jul-1999, James Cussens <jc at cs.york.ac.uk> wrote:
> 
> What's the state of play on partially instantiated data structures in
> Mercury? Logic programming without them isn't nice.
> 
We have an experimental version of the compiler which implements
definate aliasing (required for partially instantiated data structures).

However it has some performance problems (takes a few hours to compile
modules with large disjunctions in them).  This version of the compiler
is regularly synced up with the main branch of the compiler.

I am not sure when the problems will be solved.

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