David Kastrup <[email protected]> skribis: > [email protected] (Ludovic Courtès) writes: > >> David Kastrup <[email protected]> skribis: >>> >>> For error messages, yes. For associating a position in a string with a >>> previously parsed closure, no. >> >> But wouldn’t a line/column pair be as suitable as a unique identifier as >> the position in the file? > > As long as the reencoded UTF-8 is byte-identical to the original.
Sorry, what do you mean by “reencoded UTF-8”? The internal string port buffer? Line/column info remains identical regardless of the encoding, so I tend to think it’s more robust to use that. Thanks, Ludo’.
