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

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Thu Mar 23 17:41:35 AEDT 2006

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

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

More information about the users mailing list