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

[Jörg Roman Rudnick]

Thank you, Mark; I think it's time to begin finishing my work in a less 
elegant way...

I just did not want to miss the opportunity.


All  the best,

             Nick
>
> >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.)
>
> Cheers,
> Mark.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mercurylang.org/archives/users/attachments/20070131/dac97579/attachment.html>