> On 3 Mar 2021, at 10:55, Remi Forax <fo...@univ-mlv.fr> wrote: > > > I also found the code of the translation of > "printXCoordOfUpperLeftPointBeforePatterns" confusing, > because the local variable 'c' in this example is not related to the binding > 'c' in the pattern matching example.
That’s a good point, thanks. I’ll change that. Gavin
