[Python-ideas] Transportable indent level markers. >>>===<<<

[Guido van Rossum]

On Mon, Dec 12, 2011 at 9:24 PM, Terry Reedy <tjreedy at udel.edu> wrote:
> On 12/12/2011 5:07 PM, Ron Adam wrote:
>
>> To make that work, we need to use unique character sequences that aren't
>> already used.  After some thought, I came up with these indent-markers.
>>
>>     ///   # indent level +1
>>     ;;;   # indent level +0
>>     \\\   # indent level -1
>
>
> >>>
> ===
> <<<
> would work even better ;-).

No they wouldn't, these are too similar to the markers left behind by
merge tools for unmergable sections. Those markers were chosen because
they are unlikely to occur in regular code. Let's keep it that way.
:-)

-- 
--Guido van Rossum (python.org/~guido)