[m-dev.] For review: Make Mercury cope with impure code (part 2/2)
Christopher Rodd SPEIRS
crs at students.cs.mu.oz.au
Sat Nov 15 02:02:43 AEDT 1997
Hi,
I was just wondering if I use an impure predicate for a user
defined equality predicate. Is it allowed? If so, is it handled
properly?
Chris
More information about the developers
mailing list