[mercury-users] fact tables

[Tomas By]

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.

In order for me to try fact tables, is there some simple way to map a user
defined type (mytp) to an integer? I suppose this is what the compiler
does internally.

/Tomas


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