[mercury-users] fact tables

Julien Fischer juliensf at csse.unimelb.edu.au
Wed Jan 17 23:35:20 AEDT 2007

On Wed, 17 Jan 2007, Tomas By wrote:

> Hello,
> I have a procedure with the signature:
> :- pred name(string::in,int::in,string::in,mytp::in,mytp::out) is semidet.
> where `mytp' is just an atomic value:
> :- type mytp ---> a ; b ; c ; d.
> This procedure has 1000+ clauses and compiling it takes forever.

What version of the compiler are you using?  Recent development versions
have fixed many of the problems with compiling predicates with large
numbers of clauses.

mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au

More information about the users mailing list