[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
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.)
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the users