diff: bug fix for quantification problem

[Fergus Henderson]

On 23-Jan-1998, Andrew Bromage <bromage at cs.mu.OZ.AU> wrote:
> Fergus Henderson wrote:
> 
> > compiler/quantification.m:
> > 	Fix a problem where the use of explicit quantifiers lead to
> > 	spurious warnings about unbound type variables, by deleting
> > 	explicit quantifiers during quantification (once the
> > 	variables have been renamed apart, the explicit quantifiers
> > 	are no longer needed).
> 
> Will the explicit qualifiers be needed for --compile-to-prolog, if it
> ever gets implemented?

Nope.

-- 
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.