[m-dev.] for review: polymorphic unification not (in, in)

[David Glen JEFFERY]

On 03-Dec-1998, Warwick Harvey <wharvey at cs.monash.edu.au> wrote:
> 
> Estimated hours taken: 3
> 
> Include a context in the error message output when polymorphic
> unification is attempted with a non-ground instantiation.
> 
> compiler/polymorphism.m:
> 	Include a context in the error message output when polymorphic
> 	unification is attempted with a non-ground instantiation.
> 
> compiler/prog_out.m:
> 	Add a context_to_string/2 predicate, which writes a context to a
> 	string (rather than writing it out directly).
> 	Rearranged and cleaned up some of the related predicates to make
> 	use of the new predicate, to avoid code duplication and unnecessary
> 	runtime calls.

That looks fine, thanks.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Did you just call everyone "chicken"?
PhD student,                    |  Homer: Noooo.  I swear on this Bible!
Dept. of Comp. Sci. & Soft. Eng.|  Marge: That's not a Bible; that's a book of
University of Melbourne         |         carpet samples!
Australia                       |  Homer: Ooooh... Fuzzy.