[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#18520: string ports should not have an encoding
From: |
David Kastrup |
Subject: |
bug#18520: string ports should not have an encoding |
Date: |
Tue, 23 Sep 2014 11:00:25 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux) |
address@hidden (Ludovic Courtès) writes:
> David Kastrup <address@hidden> skribis:
>
>> address@hidden (Ludovic Courtès) writes:
>>
>>> David Kastrup <address@hidden> 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?
Sure. That's where ftell gets its info from.
> Line/column info remains identical regardless of the encoding, so I tend
> to think it’s more robust to use that.
Column info remains identical regardless of the encoding? Since when?
--
David Kastrup
- bug#18520: string ports should not have an encoding, David Kastrup, 2014/09/21
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/22
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/22
- bug#18520: string ports should not have an encoding, David Kastrup, 2014/09/22
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/22
- bug#18520: string ports should not have an encoding, David Kastrup, 2014/09/22
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/22
- bug#18520: string ports should not have an encoding, David Kastrup, 2014/09/22
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/23
- bug#18520: string ports should not have an encoding,
David Kastrup <=
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/23
- bug#18520: string ports should not have an encoding, David Kastrup, 2014/09/23
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/23
- bug#18520: string ports should not have an encoding, David Kastrup, 2014/09/23
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/23
- bug#18520: string ports should not have an encoding, David Kastrup, 2014/09/23
- bug#18520: string ports should not have an encoding, Ludovic Courtès, 2014/09/23
bug#18520: string ports should not have an encoding, Mark H Weaver, 2014/09/24