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

Jörg Roman Rudnick joerg.rudnick at t-online.de
Wed Jan 31 11:27:29 AEDT 2007

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,

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

More information about the users mailing list