From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: John Wiegley Newsgroups: gmane.emacs.devel Subject: Re: Character folding in the pretest Date: Thu, 04 Feb 2016 12:23:22 -0800 Message-ID: References: <87mvriuk3a.fsf@gmail.com> <8737t9ex1p.fsf@petton.fr> <83oabxyf71.fsf@gnu.org> <56B230D1.90902@gmail.com> <87bn7x4i4o.fsf@wanadoo.es> <87d1sc4rin.fsf@djcbsoftware.nl> <87vb6431rd.fsf@wanadoo.es> <56B37DF4.7000808@gmail.com> Reply-To: John Wiegley NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1454617434 10403 80.91.229.3 (4 Feb 2016 20:23:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 4 Feb 2016 20:23:54 +0000 (UTC) Cc: emacs-devel@gnu.org To: =?utf-8?Q?Cl=C3=A9ment?= Pit--Claudel Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Feb 04 21:23:46 2016 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1aRQRN-00007y-7I for ged-emacs-devel@m.gmane.org; Thu, 04 Feb 2016 21:23:45 +0100 Original-Received: from localhost ([::1]:43915 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aRQRM-0001XM-AM for ged-emacs-devel@m.gmane.org; Thu, 04 Feb 2016 15:23:44 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47001) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aRQR8-0001Ww-2S for emacs-devel@gnu.org; Thu, 04 Feb 2016 15:23:30 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aRQR4-0008Dh-Ss for emacs-devel@gnu.org; Thu, 04 Feb 2016 15:23:30 -0500 Original-Received: from mail-pa0-x231.google.com ([2607:f8b0:400e:c03::231]:36553) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aRQR4-0008DR-LE for emacs-devel@gnu.org; Thu, 04 Feb 2016 15:23:26 -0500 Original-Received: by mail-pa0-x231.google.com with SMTP id yy13so20897359pab.3 for ; Thu, 04 Feb 2016 12:23:26 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=from:to:cc:subject:in-reply-to:date:message-id:references :user-agent:reply-to:mail-followup-to:mime-version:content-type :content-transfer-encoding; bh=4z9NI8ix5cYhtU/iobO/en5jFfsOWOOKlx9ZvGWiCVw=; b=TN70l4Wlk12GY0um8pa0E5jdydnc0DO63j6TVpPLF+6quuT95PXsEC/8jDHiqR17OD 3uznkE4ragytaAr1yIBx7eFDjW6HR4afZmEZcStE4jZkd4nvJVXykk5hx3Zdprp0QR30 y+/4iYgN1eamvJ/KSMN77dQ1dLNxHYGdKIAc0EzyzTeVBMbCVd7K6zHkwMO0ghAIANvg Toxn0E40gXnv/5oRPHCt79+TDthQAxQlYSDwq1EAcEXe41kVWOyqgGgH8CoCEq3ZnyT4 bO6YjUE2Zhu32Zi0ZAVYQbATRo2jDlmrlBo8wa7VfNCa1oDapiOuv2yeqAQhnSAdm+Hl qWqA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:from:to:cc:subject:in-reply-to:date:message-id :references:user-agent:reply-to:mail-followup-to:mime-version :content-type:content-transfer-encoding; bh=4z9NI8ix5cYhtU/iobO/en5jFfsOWOOKlx9ZvGWiCVw=; b=HP5GrCEWYJ+SzdwFbJoBMijvEV3bdazM281N2tDHv66lFE/W0JSCn+WIUA8PE8lccA Ds74/TcuOH6MsfmVInpAvaY6VoD0Mp0RTDE2oRKwc3ESjAr7vNK9GUZ5KW5aKL1LlBnM 0nQu2S/9emBZVchjxXhGPYzQFiN0DfAIA+YWijqmPy4uCuJ7kqcNGlIBagZ76FjVMSro 0ph/bvv1B2hVCMTlhvD5mYu9xzifhobqnkQZ2J/TveafGOeoM9Y4eOAbJRw55HhrMQUx XwwFDm23T/f5yN+xsudX791PRA68eNekBG6l/gKM7h/QnVu+Mme5zneiI9umkEw80Rw1 cI8Q== X-Gm-Message-State: AG10YORDWSM2B2/+dGCQnfR3O3f3efMy1NRTKN01h0hjoEbB34mg7XRsuO0eCgVmJkLTcw== X-Received: by 10.67.24.3 with SMTP id ie3mr13988527pad.23.1454617405983; Thu, 04 Feb 2016 12:23:25 -0800 (PST) Original-Received: from Vulcan.local (76-234-68-79.lightspeed.frokca.sbcglobal.net. [76.234.68.79]) by smtp.gmail.com with ESMTPSA id cf6sm19038808pad.41.2016.02.04.12.23.24 (version=TLS1 cipher=AES128-SHA bits=128/128); Thu, 04 Feb 2016 12:23:25 -0800 (PST) X-Google-Original-From: "John Wiegley" Original-Received: by Vulcan.local (Postfix, from userid 501) id 24E7D12BD0109; Thu, 4 Feb 2016 12:23:24 -0800 (PST) In-Reply-To: <56B37DF4.7000808@gmail.com> (=?utf-8?Q?=22Cl=C3=A9ment?= Pit--Claudel"'s message of "Thu, 4 Feb 2016 11:36:04 -0500") User-Agent: Gnus/5.130014 (Ma Gnus v0.14) Emacs/24.5 (darwin) Mail-Followup-To: =?utf-8?Q?Cl=C3=A9ment?= Pit--Claudel , emacs-devel@gnu.org X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 2607:f8b0:400e:c03::231 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 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-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:199330 Archived-At: >>>>> Cl=C3=A9ment Pit--Claudel writes: > For me the strength of this feature is that it lets me find virtually > anything using an dumb keyboard (one without easy access to accents); I > don't care too much about false positives (that is, I don't mind if =E2= =80=98n=E2=80=99 > finds =E2=80=98=C3=B1=E2=80=99). Going beyond natural languages, there have been a few times when I've wanted to search for equivalence expressions in an Agda file, for example, but rea= lly I want it to match against anything similar, so typing "x =3D y", I'd like = it to find occurrences using =E2=89=88 =E2=89=85 =E2=89=83 =E2=89=A1 =3D, etc.. This sort of lax searching is like taking a "quotient" of your buffer based= on the equivalence classes you're interested in, and then searching against th= at version of the buffer. And there many quotients to be taken, for many reaso= ns. A locale-based quotient for natural language text seems like a reasonable default, unless pretesting/polling shows us otherwise. However, there will always be times when you don't want it, or you want a different quotient altogether, or even various combinations of them. --=20 John Wiegley GPG fingerprint =3D 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2