[mercury-users] fact tables

[Julien Fischer]

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.

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