[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