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

[Fergus Henderson]

On 30-Nov-1998, Warwick Harvey <wharvey at cs.monash.edu.au> wrote:
> So I present the following diff for review:
> 
> Estimated hours taken: 0.5
> 
> compiler/polymorphism.m:
> 	Include a context in the error message output when polymorphic
> 	unification is attempted with a non-ground instantiation.

This broke the test case tests/invalid/polymorphic_unification.err_exp.
Could you please fix that?

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.