From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= Newsgroups: gmane.emacs.devel Subject: Re: forward-comment and syntax-ppss Date: Fri, 16 Dec 2016 21:39:16 -0500 Message-ID: References: <83fd1db0-7362-6117-c5cd-715398c0dea4@gmail.com> <20161207220447.GA4503@acm.fritz.box> <20161208201517.GB3120@acm.fritz.box> <20161209190747.GC2203@acm.fritz.box> <5a70902f-882e-f616-74b2-df6eb81fc70c@yandex.ru> <20161211101715.GA14084@acm.fritz.box> <51c0554f-40d0-37a5-b134-17058343aa3f@yandex.ru> <877a8d5a-ee08-29a1-8c7e-6cc8a82dfc83@gmail.com> <4ded3b07-18ab-4864-b72d-f217a86c123d@default> <295c7d25-444d-2bf5-b649-e9eafec3bd2d@gmail.com> <08a5c56e-e942-4608-aaa9-01aa437ee438@default> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="Is3sG033gTOpOwU4RrXVDqewWk7S21kGL" X-Trace: blaine.gmane.org 1481942423 3750 195.159.176.226 (17 Dec 2016 02:40:23 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 17 Dec 2016 02:40:23 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1 To: Drew Adams , emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sat Dec 17 03:40:18 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1cI4v1-0007uK-6t for ged-emacs-devel@m.gmane.org; Sat, 17 Dec 2016 03:40:15 +0100 Original-Received: from localhost ([::1]:35110 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cI4v4-0005Sb-33 for ged-emacs-devel@m.gmane.org; Fri, 16 Dec 2016 21:40:18 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:39777) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cI4uM-0005SS-5f for emacs-devel@gnu.org; Fri, 16 Dec 2016 21:39:35 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cI4uI-0004iI-GB for emacs-devel@gnu.org; Fri, 16 Dec 2016 21:39:34 -0500 Original-Received: from mout.kundenserver.de ([212.227.126.131]:52584) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1cI4uI-0004gp-4B for emacs-devel@gnu.org; Fri, 16 Dec 2016 21:39:30 -0500 Original-Received: from [18.189.127.106] ([18.189.127.106]) by mrelayeu.kundenserver.de (mreue002 [212.227.15.168]) with ESMTPSA (Nemesis) id 0MDHpc-1cNZ5M17wS-00GX4H; Sat, 17 Dec 2016 03:39:24 +0100 In-Reply-To: <08a5c56e-e942-4608-aaa9-01aa437ee438@default> X-Provags-ID: V03:K0:Bq4MJ748nVPG/49FqPkROGZJw50WSsFb6tgGUZr3h3+gdsptVaa EOj8nef32rlLaPvCuRBmxpr+UPXgrInmgixKhTXkZvP7p6khHQErj4pkZiJ++DaAYriUp4E zLscS5YENRRmDTj0DMk2xdJ05F9hJD0txlCQeVPvcYuhLsZsqfumck93MG6KUCRE40sT3lJ +QYQ5REGZoDEc90vZINGA== X-UI-Out-Filterresults: notjunk:1;V01:K0:Wr8dKq6Xfbg=:DuN4iFKRLWovUPPIFnSlwU rjRp+ksIut2XkzVcnTUW7fO6qcNl509aTraAlh+7dQV7vTy1Q534NFFp/V85N/DoX+mzgfTZc EfPPl2JdiBztMpdBozro0+9BgI9KwX3phESrvL78BfIA8+f1pmLwLPBJziNV5KdRm1iBMZUz5 WJxNgwI1dLr7K9J4oJJXXFGLFEbSlL0XgNVuPTOJ9zTbAui+0ZxngfQ9SZiDdeFXyNrYAaAyF gOPYo1jm1CoGG9GTGAjypraP/ZcSSSm9CL71u0s8tYLfb8Bipdv/xKfFYc7QzXgwSMznKfRFA ughw5yk3VaS7uifBYAYExV+8UmxjLJeBcfoYiCWbz4TSzNJ/HBMP4McCC5gQfuybSkQRai7HK T4yesEzbj6Ar02frjIAb8e0hSd51f0Mg9o6489rE1S6vZP+rVoa28rpHC0WuWMtTOdGcC34Lv RNCls+a7IVlG+yygiEjFAzrmXUhQdtpwtyogoqMbbUKgOWL9a8A64sruSj5MTv7YCnpAgxPMT mI+Ldxa6PQ5y0wRhv24SmKIiuecd2yEdVKWmr5Fv5e86kAorNscTSxxfWLAfagiE0U5o0XOnl rZf2yYWQt9l3AKPzwTn/msqHMUPubxDcEMkgtrKYmEjArRrlUNLNK++sRO5499ZEUuFE+K5cr JJZ+qDKU5fuLaI1RAxhB3TSuS9Eml2GgTcm/cM6CMIapyb9kVmIKje4rIK3ZRPWvk7FU= X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 212.227.126.131 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.org gmane.emacs.devel:210568 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --Is3sG033gTOpOwU4RrXVDqewWk7S21kGL Content-Type: multipart/mixed; boundary="q3jIUN7Wo1ogb8ni6clL38Kpn4lAgCKnv"; protected-headers="v1" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: Drew Adams , emacs-devel@gnu.org Message-ID: Subject: Re: forward-comment and syntax-ppss References: <83fd1db0-7362-6117-c5cd-715398c0dea4@gmail.com> <20161207220447.GA4503@acm.fritz.box> <20161208201517.GB3120@acm.fritz.box> <20161209190747.GC2203@acm.fritz.box> <5a70902f-882e-f616-74b2-df6eb81fc70c@yandex.ru> <20161211101715.GA14084@acm.fritz.box> <51c0554f-40d0-37a5-b134-17058343aa3f@yandex.ru> <877a8d5a-ee08-29a1-8c7e-6cc8a82dfc83@gmail.com> <4ded3b07-18ab-4864-b72d-f217a86c123d@default> <295c7d25-444d-2bf5-b649-e9eafec3bd2d@gmail.com> <08a5c56e-e942-4608-aaa9-01aa437ee438@default> In-Reply-To: <08a5c56e-e942-4608-aaa9-01aa437ee438@default> --q3jIUN7Wo1ogb8ni6clL38Kpn4lAgCKnv Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-12-16 18:16, Drew Adams wrote: >>> "Narrowing breaks proof-general". Really? Narrowing did that? >> >> I mean that narrowing a buffer causes Proof General to misbehave. Tha= t's >> obviously a Proof General bug; I only intended it as an example of a >> facility for which narrowing made things harder. >=20 > OK. But that's like saying that variables break program `xyz' > because variables make things harder. Yes, things that change > state make things harder, and that includes narrowing. If this > were Haskell then things wouldn't be so hard... Yup. I think a significant part of the issue is just that some devs forg= et that using point-min may require widening. I didn't know about for a = while, even after I started programming in ELisp. --q3jIUN7Wo1ogb8ni6clL38Kpn4lAgCKnv-- --Is3sG033gTOpOwU4RrXVDqewWk7S21kGL Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQIcBAEBCAAGBQJYVKVaAAoJEPqg+cTm90wjbhsP/03DmK5XT/w4iBgSatgwDA5h vx73yk7aqTEYTOV6V+dLRXz7jZ7Z60yTU/SJ/hwpGK/zVJJ693qVXclQDCey0lXd Wzgag5tEQ+4JRdqbZLNWCJQ5C18oDGN9a6Xs1IRp3aDEzqdeV9DE90pZzaMeBTHN N1x0+7nk9AI5oPBbzTbdxcsYjCI3p1OKA08le+/SKlTWR4wCmKs8fAT7hUq0qhLa s40sEtJH39pOjT9VEiJfIjfE9ShPJI0UI2h9SD9PUsq2nsL35fAFSax+ChhPkEM+ lJ4vZzIVkk00/XRnzXNwPQj7XdGSvNieMTLPWng/AAUTnKKbq1umNrLvzlzfVWiS KP+U0DRe8WHoroj6UY5qvFQo/Y/fzSMYobO69KQxffh+PFPwjKhl/bdP8631tssr xl+PlW+RpeO5EmN/RxHgdR0so11rr7zkJ2Sz+NXtOwylEkpqDopz7K5I0BWfvSZs 9l+SNGS1g2AB2XG6PTyrhoDCcOyS2zvqXeLByLGsFLEQmQ58pSHOi7i8xIQBkAsg B1WXiJukOlg2+3ccpSW8ntq4CdG/uiEWb2LqmZPl9cIoDPj6LT5Z6Wh/YJThoVAx saHc8uMg6khIlqwlFkwrNF3DkstM6NDpIQnegPqwp6c3HgvCYgffdx8QO24N5Iuz cpcr+Dj9439puGr+yCR/ =47D1 -----END PGP SIGNATURE----- --Is3sG033gTOpOwU4RrXVDqewWk7S21kGL--