[mercury-users] How to vary implementations of a pred declaration?

[doug.auclair at logicaltypes.com]

Dear all,

A bit of additional information.  In the previously attached example:

:- type class ---> class(string).
:- type attributes ---> attributes(assoc_list(string, string.poly_type)).

When I reduced that module down to 150 clauses, it did eventually
(after a (very) prolonged period) compile and produce an executable...

It'd be great if the space and time efficiency of the compilation of 
this module could be improved ... it appears to be superlinear for
list arguments ...

Sincerely,
Doug Auclair

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