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

Fergus Henderson fjh at cs.mu.OZ.AU
Mon Dec 14 16:48:38 AEDT 1998

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        |     -- leaked Microsoft memo.

More information about the developers mailing list