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: Overlays as an AA-tree Date: Tue, 22 Nov 2016 08:44:28 -0500 Message-ID: <7f6fdfd1-93ab-5faa-efc4-3faccfda00ab@gmail.com> References: <87d1jylv43.fsf@fastmail.com> <87a8f0p69w.fsf@fastmail.com> <878tujlmp0.fsf@fastmail.com> <87k2dx97tq.fsf@fastmail.com> <834m51csqz.fsf@gnu.org> <87fuol8gxv.fsf@fastmail.com> <1047fa66-2cd2-3073-5916-49357c12eeef@gmail.com> <87y40cszpk.fsf@fastmail.com> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="v6wLxcrVlVVtTC8opHpE0a501kKaelVw5" X-Trace: blaine.gmane.org 1479822348 2262 195.159.176.226 (22 Nov 2016 13:45:48 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Tue, 22 Nov 2016 13:45:48 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 Cc: emacs-devel@gnu.org To: Joakim Jalap Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Tue Nov 22 14:45:45 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 1c9BOI-0008Ee-99 for ged-emacs-devel@m.gmane.org; Tue, 22 Nov 2016 14:45:42 +0100 Original-Received: from localhost ([::1]:55774 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1c9BOL-0001uE-K3 for ged-emacs-devel@m.gmane.org; Tue, 22 Nov 2016 08:45:45 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:49228) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1c9BNP-0001rD-F7 for emacs-devel@gnu.org; Tue, 22 Nov 2016 08:44:51 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1c9BNK-0006TR-Ix for emacs-devel@gnu.org; Tue, 22 Nov 2016 08:44:47 -0500 Original-Received: from mout.kundenserver.de ([212.227.126.133]:54777) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1c9BNK-0006Rx-51 for emacs-devel@gnu.org; Tue, 22 Nov 2016 08:44:42 -0500 Original-Received: from [18.111.103.57] ([18.111.103.57]) by mrelayeu.kundenserver.de (mreue002 [212.227.15.168]) with ESMTPSA (Nemesis) id 0MROT1-1cJrg42jeR-00UeGR; Tue, 22 Nov 2016 14:44:35 +0100 In-Reply-To: <87y40cszpk.fsf@fastmail.com> X-Provags-ID: V03:K0:K/wuzsnsiLbJ481uSw6DjnFUraWO7LMDdeo6bCYBDR9HYg+IkgE LHoJ66O/4HRfoDJ6WHUGgFoT93sFGPutJWFpU+1mREu0XSSyQOwMm4YzsOYwcB8kP5oPTec TjpOh1mm2llD9TWtxD5N3TrnGaX56ApYo+SFvU/0gTLBCIIFaIT1AyNDjCsJkWD4dJunC+q 1Qe/2JlRLSzTi+q6odgdQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:Ow30eTsJD6E=:CGneibPSqnsiwG2J/zfr5w DcKSDwd4xZdcaDVWlxnVyphzgoRq9d3rTzkpaNBKRta9LzdQy7p6vSe5GZXhha5clrvWzw7tm RXTqkN+5o8ZZDHqFdONjeh1rtSsdCV+bGBIPCUv81517YWdRnFG/KO7iCD6sTjogz4qtKqiB0 bzBch9lpJuNb2tV8Ny9Rj4uJLYXiFVp9iP/PolwfFWI9jcHK+8bxVtLjmOiiA1CyDBAbVk3gG UrX4NnlsJ0Nw3ksze/63cH0VwWpkLeyMO9TbMViQ4P/uqHEeMQMFUN5te25vHt+3NaZ6kL/2a Dp4gu8gLqnAL7blthUlrWpRiQZo65nYKc9Cgtv/O043QCtOgxKtttd7vSCGy+hC+q0DXxZrhW N4hVI9WsuxuMO0pQ0JdLBr6DN6YvU0TaDrgQBxHqibG5sR8vXjDb6+g4Yws+J8qDmbU1k3lyA 3HzE1wHhXd9K1cmlki0D3tydmBvHb8dehkFmxXUqwBeInZFk2CbttqZCAOxpzJQYMVnP1m8Cx OmOYoj8RZwRl79E2ebkhgUtKELzO0jY77WORdTvS/8IQ/MccGZECEL1hN0rpSX/FpQzutSEZL hQXarZak2RL2P8/uqLE+1XKob5uk/UyTf8jKDKfAOuvvXBAWYvhc1F6QC2pjOiHMAl473/eqv qtnVKAZK1O0sM9A/vybjttlSUtmhx2AE1b5XbB7mPtC1hkbsqoFKyElo0sWMxgaVDUDjNMx30 Z0VR0TTpAD+b0mYo X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] [fuzzy] X-Received-From: 212.227.126.133 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:209543 Archived-At: This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --v6wLxcrVlVVtTC8opHpE0a501kKaelVw5 Content-Type: multipart/mixed; boundary="ilTxoKV7Wdbq2TIUdRmC73oEK4KOq1KeW"; protected-headers="v1" From: =?UTF-8?Q?Cl=c3=a9ment_Pit--Claudel?= To: Joakim Jalap Cc: emacs-devel@gnu.org Message-ID: <7f6fdfd1-93ab-5faa-efc4-3faccfda00ab@gmail.com> Subject: Re: Overlays as an AA-tree References: <87d1jylv43.fsf@fastmail.com> <87a8f0p69w.fsf@fastmail.com> <878tujlmp0.fsf@fastmail.com> <87k2dx97tq.fsf@fastmail.com> <834m51csqz.fsf@gnu.org> <87fuol8gxv.fsf@fastmail.com> <1047fa66-2cd2-3073-5916-49357c12eeef@gmail.com> <87y40cszpk.fsf@fastmail.com> In-Reply-To: <87y40cszpk.fsf@fastmail.com> --ilTxoKV7Wdbq2TIUdRmC73oEK4KOq1KeW Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 2016-11-22 03:09, Joakim Jalap wrote: > But I hope that in a few weeks or so I can publish it somewhere so you > can try it out :) Excellent! I'll be very happy to try it out :) (two packages that I use h= eavily, Flycheck and Proof General, suffer from overlay-related performan= ce issues, so I'm quite excited) Cheers, Cl=C3=A9ment. --ilTxoKV7Wdbq2TIUdRmC73oEK4KOq1KeW-- --v6wLxcrVlVVtTC8opHpE0a501kKaelVw5 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 iQIcBAEBCAAGBQJYNEvBAAoJEPqg+cTm90wjZ1YQALvDqs+w67xFFmY5lI8WFEKA 2nYpVPo2qkJCHsjdBLW+yJQlNhcy8f9hBZpfaMM1Wy1WWF7b6UfjObF21LQEAC4J YR5FBmMjqcRchokhq3EoAFz1fWJX7BSro6sG4q6XQcb7UDAZUFtkETIMlVGdTffU 6TNXxmf5/Hy/WwcnfzYRoMA5ERgylAnYP9GGCQrRT+e2ZIIOvtElqIpgeOO2yrRC OYtXGtwrN2D+iiLnt7ktaI4GlShmL5SvuV5VN9oF185EacBvp2TMzkC8UHLalhUp GlPsHKHhLB7aqFzZGA/V54waaQdlxpst+MkpkSsfaQ8fbytACq4q3aJeb8jS0HJE /sqWUqghpHTBhoOZy1LXl6Pp0KX57apvvks/YhM3o0ShlfEj4TXCYEnMeidvF9Yr 4F+a8ZSkI90QG0IcLwkUj+RgAKFwpDWkF23Qc6vbnHYKjz2TV/TJMqMGco6usxye cerWW/wWO1TiWt3d7U4UYVQsT+JyCYdL99wy0jAAtrfuu8lE2Ri70IPkp1BbCGqF KtjLwtIZq2QL+zCCBMhpuRIzhSvloBObmRG1eYZfm1drgJTZpfGcNvRo5tKEmREm 6G1GqT0Ccxvnr090FfKtBNxPJS4HJJoBu5wY1weOWMRqqy/5xzvtVsS/C4FyeBkZ 53jR3c26i5ySv8ZOOmy6 =AApJ -----END PGP SIGNATURE----- --v6wLxcrVlVVtTC8opHpE0a501kKaelVw5--