[m-dev.] diff: get rid of unnecessary tvars

[Fergus Henderson]

On 23-Jun-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> On 22-Jun-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> > On 22-Jun-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> > > Get rid of unnecessary type variables when creating the auxiliary predicate
> > > for an instance method. This avoids problems when typecheck.m gets rid of
> > > unused tvars that it thinks were introduced by type inference.
> > 
> > What kind of problems?  Do you have a regression test?
> 
> Well... there's already a test case, I'm pretty sure. There's also already
> a fix, but this change just makes things a little nicer. I've re-worded the
> log message below.
...
> Get rid of unnecessary type variables when creating the auxiliary predicate
> for an instance method. This is a little more robust than the current
> approach since typecheck.m is now able to get rid of any unused tvars... they
> *must* have been introduced by type inference.

If you just insert "hopefully" in there, e.g.

	s/This is a little more/This will hopefully be a little more/

then I'll be completely happy with this change ;-)

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.