[m-dev.] for review: bugfix for exist_q_vars bound to head tvars

[Fergus Henderson]

On 24-Sep-1998, David Glen JEFFERY <dgj at cs.mu.OZ.AU> wrote:
> On 24-Sep-1998, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
>  % We rename any existentially quantified type variables which
> -% get mapped to other type variables.
> +% get mapped to other type variables, unless they are mapped to type
> +% variables from the head of the predicate.

... to universally quantified type variables ...
       ^^^^^^^^^^^^^^^^^^^^^^

Otherwise that's fine.

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