[m-rev.] for review: Document how tuple types work in subtypes/coerce.

[Peter Wang]

On Thu, 11 Jul 2024 17:13:38 +1000 Julien Fischer <jfischer at opturion.com> wrote:
> On Tue, 9 Jul 2024 at 14:34, Peter Wang <novalazy at gmail.com> wrote:
> > +The subtype relation @samp{S =< T} has four cases to consider:
> > +when @samp{S} and @samp{T} are both discriminated union types,
> > +when they are both tuple types,
> > +when they are both higher order types,
> 
> s/higher order/higher-order/
> 

Done.

> > +and all other types.
> 
> I suggest listing those cases using @itemize.
> 

I tried it, but the additional level of indentation and the lack of
space between the items looks bad (with the style sheet makeinfo uses).
I opted to number the cases manually.

Thanks for the review.

Peter