[m-rev.] for review: Modecheck coerce of terms with existential types.

[Peter Wang]

On Thu, 11 Jul 2024 15:51:28 +1000 Julien Fischer <jfischer at opturion.com> wrote:
> Hi Peter,
> 
> On Mon, 8 Jul 2024 at 16:24, Peter Wang <novalazy at gmail.com> wrote:
> > +        ( if existq_tvars_contains(ConsExistQTVars, TypeX) then
> > +            % TypeX is an existential type. We can assume that TypeX = TypeY,
> > +            % so BoundInstX is acceptable for the result term as well.
> > +            % The only thing we do is to make the remove uniqueness in the
> > +            % result inst if the input remains live (this may or may not
> > +            % really be necessary?).
> 
> That last sentence doesn't make sense.

Fixed, thanks.

Peter