[mercury-users] Mode specific clauses; (f(free)>>f(ground)) vs. (g(free)>>g(ground))

Mark Brown mark at csse.unimelb.edu.au
Wed Jan 31 10:35:49 AEDT 2007

On 31-Jan-2007, Jrg Roman Rudnick <joerg.rudnick at t-online.de> wrote:
> Dear experienced ones,
> in aim to provide a handy "one arg per config" interface to Tk 
> configuration for the mercury_tk interface, I have a question:
> First, here is some surrounding code:
> :-type data --->
>    forename(string);
>    surname(string);
>    ...
> :-inst forenameG ---> forename(ground).
> :-inst surnameG ---> surname(ground).
> :-inst forenameF ---> forename(free).
> :-inst surnameF ---> surname(free).

>From the reference manual: "The current implementation does not handle
partially instantiated data structures yet." Unfortunately, you'll have
to find a way to do this using ground data for the time being.

(Incidentally, the compiler really should report something when it sees
insts that it can't handle.)


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