|
| 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 feature.
+1
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 `hard-widen'
+999 :)
| [Prev in Thread] | Current Thread | [Next in Thread] |