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

[Andre Roberge]

On Wed, Dec 14, 2011 at 9:08 PM, Ron Adam <ron3200 at gmail.com> wrote:

> On Wed, 2011-12-14 at 18:53 -0500, Terry Reedy wrote:
> > On 12/13/2011 10:53 AM, Guido van Rossum wrote:
> > > 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
>

Why not use INDENT, ;, and DEDENT   (or   <INDENT>   <;>   and <DEDENT>) ?

;-)


André
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.python.org/pipermail/python-ideas/attachments/20111214/de6a0c6b/attachment.html>