[m-dev.] For review: making terms polymorphic

[Thomas Charles CONWAY]

Fergus Henderson, you write:
> On 05-Nov-1998, Thomas Charles CONWAY <conway at cs.mu.OZ.AU> wrote:
> > Fergus Henderson, you write:
> > > 
> > > Since the change is not completely backwards compatible, the
> > > news file should explain what people will need to do to fix
> > > their code.
> > 
> > How is it incompatible? Existing code shouldn't need changing.
> 
> In some places people might need to add calls to term__generic_term,
> I think.

Ah yes, of course.

I added this to the NEWS file:

  Note that where the type of a term, etc. is inferred; that is where it
  occurs only locally and is not passed in any place that determines the
  type of the term, unbound type variable warnings may occur. These are
  easily fixed by adding a call to term__generic_term (see the documentation
  in the library reference manual) to bind the type variable. The warnings
  themselves are harmless and the code will work, but of course code that
  produces no warnings is to be preferred.

Thomas
-- 
Thomas Conway <conway at cs.mu.oz.au> )O+
To a killer whale, otters are like hairy popcorn -- Paul Dayton