[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: forward-comment and syntax-ppss

From: Andreas Röhler
Subject: Re: forward-comment and syntax-ppss
Date: Sun, 11 Dec 2016 11:40:48 +0100
User-agent: Mozilla/5.0 (X11; Linux i686; rv:45.0) Gecko/20100101 Icedove/45.4.0

On 11.12.2016 11:17, Alan Mackenzie wrote:
Hello, Dmitry.

That's just rhetoric.
I don't think so.  In particular, I was thinking of what I think is
called "hard widening".  I think it would be a mistake to add this

  At the moment, narrowing is a strong, direct, simple facility
- it does what it says it does and no more.  Were "hard widening" to be
introduced, we could easily end up with a confused mess of `widen' and

+999 :)

reply via email to

[Prev in Thread] Current Thread [Next in Thread]