From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Lars Ingebrigtsen Newsgroups: gmane.emacs.devel Subject: Re: Make regexp handling more regular Date: Thu, 03 Dec 2020 17:58:36 +0100 Message-ID: <87mtyuomgz.fsf@gnus.org> References: <87lfeg60iy.fsf@gnus.org> <87blfbz3lu.fsf@gnus.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17599"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: emacs-devel@gnu.org To: Stefan Monnier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Dec 03 18:04:19 2020 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kks1j-0004Rj-2T for ged-emacs-devel@m.gmane-mx.org; Thu, 03 Dec 2020 18:04:19 +0100 Original-Received: from localhost ([::1]:42810 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kks1h-0002ad-QE for ged-emacs-devel@m.gmane-mx.org; Thu, 03 Dec 2020 12:04:17 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:48374) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kkrwO-0007Vd-Pt for emacs-devel@gnu.org; Thu, 03 Dec 2020 11:58:48 -0500 Original-Received: from quimby.gnus.org ([2a01:4f9:2b:f0f::2]:38598) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kkrwM-0002fS-CN for emacs-devel@gnu.org; Thu, 03 Dec 2020 11:58:48 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnus.org; s=20200322; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=fkatOOaZgsrZk1ceKNiPfGPZQMvPs2o+ggsuIkN63Cc=; b=cxFzmEPraP0mXsDtmWgqmc8Mcw NEz9RK+gBXj+DntPrgdqCA1u9Izc99z7uctnUfQW2JP0kDww0QAAeVaYeN8FZHp8bxLx95FX0YtBb wVAKUgZDbVCSQM3dQsCOoeiO3JdCPzp1+S/vM7LDS81bz+eTCJFWDHJztSk4NrVC+EXA=; Original-Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=xo) by quimby.gnus.org with esmtpsa (TLS1.3:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kkrwD-00060M-IT; Thu, 03 Dec 2020 17:58:43 +0100 Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAABGdBTUEAALGPC/xhBQAAACBj SFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAAIVBMVEX9/PPOxrWsVD6T jYS6rkp3j3Xi3NO0raRPOTznOCz///8FxZ9VAAAAAWJLR0QKaND0VgAAAAd0SU1FB+QMAxA0IAom wZQAAAFwSURBVDjLrdRBa4MwFADgFIpn3cBehyvDXpsVutvWudHjoJX12LCRXufG1quEWp634aDo v917JhXbzsKgTxTx8yXmmYSxpji7ZO2HR7yxnpeTOrx7rD0maCVhsgNZE/y4r+M7xsQimYRSzs3j BeODZDoOOAfgfAjwZOClAt/j/Hq0ujUgKsh6CEHXgKXBO4CW2wBSQ/cAhH0EhgjdfXDmJQRbGFV9 MIRwqgiKMsOuSkIZsDJQZRAMQG2hVhIEzvsBUKUwwjDkfBrcT4I3DZ4BqiWoAiDdEAxrMEPI8TTg Q1LLQIAKak2lflr8DVAU/hXBbBcUQr4mGOjPrEBtoR5AbR2B7KIBiu/TwWYfaLw4cFifCoos/i/k p4G+agL6gzGTQkQORbRcRh8ENwgQ07LCw8S5hjQnsGwpbRbJjtNxNeAMUDFrRdIVTDi4xKWGHs4r L8ZXMcRXebU/afr2sFQ48nIrMJ1YpK4r8VPcpk3J+gVPZhxhOIArbAAAACV0RVh0ZGF0ZTpjcmVh dGUAMjAyMC0xMi0wM1QxNjo1MjozMiswMDowMGXfu6kAAAAldEVYdGRhdGU6bW9kaWZ5ADIwMjAt MTItMDNUMTY6NTI6MzIrMDA6MDAUggMVAAAAAElFTkSuQmCC X-Now-Playing: =?utf-8?B?UsOzaXPDrW4=?= Murphy's _Play Thing_: "Play Thing" In-Reply-To: (Stefan Monnier's message of "Thu, 03 Dec 2020 10:10:06 -0500") Received-SPF: pass client-ip=2a01:4f9:2b:f0f::2; envelope-from=larsi@gnus.org; helo=quimby.gnus.org X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 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-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:260229 Archived-At: Stefan Monnier writes: > I'm not completely sure what it would look like, tho. Maybe > > (let-re-match (overall (beg end)) (re-match "regexp") > ...) > > which would be equivalent to > > (progn > (re-match "regexp") > (let ((overall (match-string 0)) > (beg (match-beginning 1)) > (end (match-end 1))) > ...)) > > ?? Then we don't really need the re-match function at all... (let-re-match (overall (beg end)) ("regexp") ...) or (let-re-match "regexp" (overall (beg end)) ...) (or something) would be sufficient... But I think this would be too somewhat cumbersome. Like, if you want to write (while (setq m1 (re-search "foo")) (setq m2 (re-match "[0-9]")) (zot (re-string m1 0) (re-end m2 0))) you quickly find yourself deeply nested, and sometimes with awkward ways of using the let-ret-matched variable if you want to use it later, outside the form, etc. Hm... -- (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no