Re: Fix a couple of typos in JIT

At 2020-08-20 22:51:41 +1200, dgrowleyml@gmail.com wrote:
>
> > +This is done at query execution time, possibly even only in cases where
> > +the relevant task is done a number of times, makes it JIT, rather than
> > +ahead-of-time (AOT). Given the way JIT compilation is used in PostgreSQL,
> > +the lines between interpretation, AOT and JIT are somewhat blurry.
> > […]
> 
> Oh, I see. I missed that. Perhaps it would be better changed to "The
> fact that this"

Or maybe even:

    This is JIT, rather than ahead-of-time (AOT) compilation, because it
    is done at query execution time, and perhaps only in cases where the
    relevant task is repeated a number of times. Given the way …

-- Abhijit