GNU logs - #2816, boring messages

Message sent to bug-submit-list@HIDDEN, Emacs Bugs <bug-gnu-emacs@HIDDEN>:

Subject: bug#2816: regexp-opt: does not optimize 'Abc' and 'abc'
Reply-To: Jari Aalto <jari.aalto@HIDDEN>, 2816 <at> debbugs.gnu.org
Resent-From: Jari Aalto <jari.aalto@HIDDEN>
Resent-To: bug-submit-list@HIDDEN
Resent-CC: Emacs Bugs <bug-gnu-emacs@HIDDEN>
Resent-Date: Sun, 29 Mar 2009 15:35:04 +0000
Resent-Message-ID: <handler.2816.B.123834054915117@HIDDEN>
Resent-Sender: help-debbugs@HIDDEN
From: Jari Aalto <jari.aalto@HIDDEN>
To: Emacs bug BTS <submit <at> debbugs.gnu.org>
Date: Sun, 29 Mar 2009 18:28:55 +0300
Message-ID: <877i28nya0.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii


A)

    (regexp-opt
      '("Abc"
        "abc"))

    => "\\(?:[Aa]bc\\)"

B)

    (regexp-opt
      '("Abc"
        "def"
        "abc"))

    => "\\(?:Abc\\|abc\\|def\\)"

Shouldn't regexp-opt optimize B case as well?

Jari

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.420 (Entity 5.420)
Content-Type: text/plain; charset=utf-8
X-Loop: owner@HIDDEN
From: help-debbugs@HIDDEN (Emacs bug Tracking System)
To: Jari Aalto <jari.aalto@HIDDEN>
Subject: bug#2816: Acknowledgement (regexp-opt: does not optimize 'Abc' 
 and 'abc')
Message-ID: <handler.2816.B.123834054915117.ack@HIDDEN>
References: <877i28nya0.fsf@HIDDEN>
X-Emacs-PR-Message: ack 2816
X-Emacs-PR-Package: emacs
Reply-To: 2816 <at> debbugs.gnu.org
Date: Sun, 29 Mar 2009 15:35:05 +0000

Thank you for filing a new bug report with Emacs.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 Emacs Bugs <bug-gnu-emacs@HIDDEN>

If you wish to submit further information on this problem, please
send it to 2816 <at> debbugs.gnu.org, as before.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
2816: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D2816
Emacs Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message received at control@HIDDEN:

Received: (at control) by emacsbugs.donarmstrong.com; 29 Mar 2009 16:30:58 +0000
From jari.aalto@HIDDEN Sun Mar 29 09:30:58 2009
X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02
	(2008-06-10) on rzlab.ucr.edu
X-Spam-Level: 
X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available.
	hammytokens:Tokens not available.
X-Spam-Status: No, score=-2.0 required=4.0 tests=MURPHY_DRUGS_REL8,
	VALID_BTS_CONTROL autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02
Received: from emh07.mail.saunalahti.fi (emh07.mail.saunalahti.fi [62.142.5.117])
	by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n2TGUs7U031259
	for <control@HIDDEN>; Sun, 29 Mar 2009 09:30:56 -0700
Received: from saunalahti-vams (vs3-10.mail.saunalahti.fi [62.142.5.94])
	by emh07-2.mail.saunalahti.fi (Postfix) with SMTP id 8FDC518D24D
	for <control@HIDDEN>; Sun, 29 Mar 2009 19:30:53 +0300 (EEST)
Received: from emh01.mail.saunalahti.fi ([62.142.5.107])
	by vs3-10.mail.saunalahti.fi ([62.142.5.94])
	with SMTP (gateway) id A078618CB0F; Sun, 29 Mar 2009 19:30:53 +0300
Received: from jondo.cante.net (a91-155-187-216.elisa-laajakaista.fi [91.155.187.216])
	by emh01.mail.saunalahti.fi (Postfix) with ESMTP id 6ECAD4050
	for <control@HIDDEN>; Sun, 29 Mar 2009 19:30:52 +0300 (EEST)
From: Jari Aalto <jari.aalto@HIDDEN>
To: control <at> debbugs.gnu.org
Subject: Bug#2816 change of tags / patch
Mail-Copies-To: poster
X-Bug-User-Agent: Emacs 23.0.91.2 and tinydebian.el 2009.0307.1503
Date: Sun, 29 Mar 2009 19:30:51 +0300
Message-ID: <87skkwxpdw.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Antivirus: VAMS

tags 2816 + patch
thanks

Message sent to bug-submit-list@HIDDEN, Emacs Bugs <bug-gnu-emacs@HIDDEN>:

Subject: bug#2816: regexp-opt: does not optimize 'Abc' and 'abc'
Reply-To: Stefan Monnier <monnier@HIDDEN>, 2816 <at> debbugs.gnu.org
Resent-From: Stefan Monnier <monnier@HIDDEN>
Resent-To: bug-submit-list@HIDDEN
Resent-CC: Emacs Bugs <bug-gnu-emacs@HIDDEN>
Resent-Date: Sun, 29 Mar 2009 17:20:03 +0000
Resent-Message-ID: <handler.2816.B.12383468059130@HIDDEN>
Resent-Sender: help-debbugs@HIDDEN
From: Stefan Monnier <monnier@HIDDEN>
To: Jari Aalto <jari.aalto@HIDDEN>
Cc: 2816 <at> debbugs.gnu.org,
        Emacs bug BTS <submit <at> debbugs.gnu.org>
Message-ID: <jwvy6uo9rwy.fsf-monnier+emacsbugreports@HIDDEN>
References: <877i28nya0.fsf@HIDDEN>
Date: Sun, 29 Mar 2009 13:13:09 -0400
In-Reply-To: <877i28nya0.fsf@HIDDEN> (Jari Aalto's message of "Sun,
	29 Mar 2009 18:28:55 +0300")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.91 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

> A)

>     (regexp-opt
>       '("Abc"
>         "abc"))

>     => "\\(?:[Aa]bc\\)"

> B)

>     (regexp-opt
>       '("Abc"
>         "def"
>         "abc"))

>     => "\\(?:Abc\\|abc\\|def\\)"

> Shouldn't regexp-opt optimize B case as well?

The `opt' of regexp-opt should be understood in the sense of
optimization used in compilers, not in the formal mathematical sense of
"optimal".  I.e. it does some effort to improve things, but without any
guarantee about what is and what isn't optimized.

So, yes, it would be good if it did do what you suggest, but it's not
a bug if it doesn't.


        Stefan

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.420 (Entity 5.420)
Content-Type: text/plain; charset=utf-8
X-Loop: owner@HIDDEN
From: help-debbugs@HIDDEN (Emacs bug Tracking System)
To: Stefan Monnier <monnier@HIDDEN>
Subject: bug#2816: Info received (bug#2816: regexp-opt: does not optimize 
 'Abc' and 'abc')
Message-ID: <handler.2816.B.12383468059130.ackinfo@HIDDEN>
References: <jwvy6uo9rwy.fsf-monnier+emacsbugreports@HIDDEN>
X-Emacs-PR-Message: ack-info 2816
X-Emacs-PR-Package: emacs
X-Emacs-PR-Keywords: patch
Reply-To: 2816 <at> debbugs.gnu.org
Date: Sun, 29 Mar 2009 17:20:03 +0000

Thank you for the additional information you have supplied regarding
this bug report.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 Emacs Bugs <bug-gnu-emacs@HIDDEN>

If you wish to submit further information on this problem, please
send it to 2816 <at> debbugs.gnu.org, as before.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
2816: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D2816
Emacs Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to bug-submit-list@HIDDEN, Emacs Bugs <bug-gnu-emacs@HIDDEN>:

X-Loop: owner@HIDDEN
Subject: bug#2816: regexp-opt: does not optimize 'Abc' and 'abc'
Reply-To: Stefan Monnier <monnier@HIDDEN>, 2816 <at> debbugs.gnu.org
Resent-From: Stefan Monnier <monnier@HIDDEN>
Resent-To: bug-submit-list@HIDDEN
Resent-CC: Emacs Bugs <bug-gnu-emacs@HIDDEN>
Resent-Date: Sun, 29 Mar 2009 17:20:05 +0000
Resent-Message-ID: <handler.2816.B2816.12383468059128@HIDDEN>
Resent-Sender: help-debbugs@HIDDEN
X-Emacs-PR-Message: followup 2816
X-Emacs-PR-Package: emacs
X-Emacs-PR-Keywords: patch
Received: via spool by 2816-submit@HIDDEN id=B2816.12383468059128
          (code B ref 2816); Sun, 29 Mar 2009 17:20:05 +0000
Received: (at 2816) by emacsbugs.donarmstrong.com; 29 Mar 2009 17:13:25 +0000
X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02
	(2008-06-10) on rzlab.ucr.edu
X-Spam-Level: 
X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available.
	hammytokens:Tokens not available.
X-Spam-Status: No, score=-0.5 required=4.0 tests=HAS_BUG_NUMBER,XIRONPORT
	autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02
Received: from ironport2-out.teksavvy.com (ironport2-out.teksavvy.com [206.248.154.182])
	by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n2THDFE7009118;
	Sun, 29 Mar 2009 10:13:17 -0700
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlMFAHNJz0lFxIfy/2dsb2JhbACBUcYdg3oGhHc
X-IronPort-AV: E=Sophos;i="4.38,442,1233550800"; 
   d="scan'208";a="35897495"
Received: from 69-196-135-242.dsl.teksavvy.com (HELO pastel.home) ([69.196.135.242])
  by ironport2-out.teksavvy.com with ESMTP; 29 Mar 2009 13:13:10 -0400
Received: by pastel.home (Postfix, from userid 20848)
	id 7111C8682; Sun, 29 Mar 2009 13:13:09 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
To: Jari Aalto <jari.aalto@HIDDEN>
Cc: 2816 <at> debbugs.gnu.org,
        Emacs bug BTS <submit <at> debbugs.gnu.org>
Message-ID: <jwvy6uo9rwy.fsf-monnier+emacsbugreports@HIDDEN>
References: <877i28nya0.fsf@HIDDEN>
Date: Sun, 29 Mar 2009 13:13:09 -0400
In-Reply-To: <877i28nya0.fsf@HIDDEN> (Jari Aalto's message of "Sun,
	29 Mar 2009 18:28:55 +0300")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.91 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

> A)

>     (regexp-opt
>       '("Abc"
>         "abc"))

>     => "\\(?:[Aa]bc\\)"

> B)

>     (regexp-opt
>       '("Abc"
>         "def"
>         "abc"))

>     => "\\(?:Abc\\|abc\\|def\\)"

> Shouldn't regexp-opt optimize B case as well?

The `opt' of regexp-opt should be understood in the sense of
optimization used in compilers, not in the formal mathematical sense of
"optimal".  I.e. it does some effort to improve things, but without any
guarantee about what is and what isn't optimized.

So, yes, it would be good if it did do what you suggest, but it's not
a bug if it doesn't.


        Stefan

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.420 (Entity 5.420)
Content-Type: text/plain; charset=utf-8
X-Loop: owner@HIDDEN
From: help-debbugs@HIDDEN (Emacs bug Tracking System)
To: Stefan Monnier <monnier@HIDDEN>
Subject: bug#2816: Info received (bug#2816: regexp-opt: does not optimize 
 'Abc' and 'abc')
Message-ID: <handler.2816.B2816.12383468059128.ackinfo@HIDDEN>
References: <jwvy6uo9rwy.fsf-monnier+emacsbugreports@HIDDEN>
X-Emacs-PR-Message: ack-info 2816
X-Emacs-PR-Package: emacs
X-Emacs-PR-Keywords: patch
Reply-To: 2816 <at> debbugs.gnu.org
Date: Sun, 29 Mar 2009 17:20:05 +0000

Thank you for the additional information you have supplied regarding
this bug report.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 Emacs Bugs <bug-gnu-emacs@HIDDEN>

If you wish to submit further information on this problem, please
send it to 2816 <at> debbugs.gnu.org, as before.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
2816: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D2816
Emacs Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message received at control@HIDDEN:

Received: (at control) by emacsbugs.donarmstrong.com; 29 Mar 2009 20:42:38 +0000
From jari.aalto@HIDDEN Sun Mar 29 13:42:37 2009
X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02
	(2008-06-10) on rzlab.ucr.edu
X-Spam-Level: 
X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available.
	hammytokens:Tokens not available.
X-Spam-Status: No, score=-2.0 required=4.0 tests=VALID_BTS_CONTROL
	autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02
Received: from emh05.mail.saunalahti.fi (emh05.mail.saunalahti.fi [62.142.5.111])
	by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n2TKgYKH029108
	for <control@HIDDEN>; Sun, 29 Mar 2009 13:42:35 -0700
Received: from saunalahti-vams (vs3-12.mail.saunalahti.fi [62.142.5.96])
	by emh05-2.mail.saunalahti.fi (Postfix) with SMTP id 1F1C08BBB7
	for <control@HIDDEN>; Sun, 29 Mar 2009 23:42:33 +0300 (EEST)
Received: from emh04.mail.saunalahti.fi ([62.142.5.110])
	by vs3-12.mail.saunalahti.fi ([62.142.5.96])
	with SMTP (gateway) id A06E57007F9; Sun, 29 Mar 2009 23:42:33 +0300
Received: from jondo.cante.net (a91-155-187-216.elisa-laajakaista.fi [91.155.187.216])
	by emh04.mail.saunalahti.fi (Postfix) with ESMTP id 098D041BE8
	for <control@HIDDEN>; Sun, 29 Mar 2009 23:42:31 +0300 (EEST)
From: Jari Aalto <jari.aalto@HIDDEN>
To: control <at> debbugs.gnu.org
Subject: Bug#2816 Change of severity / wishlist
Mail-Copies-To: poster
X-Bug-User-Agent: Emacs 23.0.91.2 and tinydebian.el 2009.0307.1503
Date: Sun, 29 Mar 2009 23:42:31 +0300
Message-ID: <87bprkxdqg.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Antivirus: VAMS

severity 2816 wishlist
thanks

Message received at control@HIDDEN:

Received: (at control) by emacsbugs.donarmstrong.com; 7 Apr 2009 02:32:22 +0000
From rgm@HIDDEN Mon Apr  6 19:32:22 2009
X-Spam-Checker-Version: SpamAssassin 3.2.5-bugs.debian.org_2005_01_02
	(2008-06-10) on rzlab.ucr.edu
X-Spam-Level: 
X-Spam-Bayes: score:0.5 Bayes not run. spammytokens:Tokens not available.
	hammytokens:Tokens not available.
X-Spam-Status: No, score=0.0 required=4.0 tests=MURPHY_DRUGS_REL8
	autolearn=ham version=3.2.5-bugs.debian.org_2005_01_02
Received: from fencepost.gnu.org (fencepost.gnu.org [140.186.70.10])
	by rzlab.ucr.edu (8.13.8/8.13.8/Debian-3) with ESMTP id n372WJeX004942
	for <control@HIDDEN>; Mon, 6 Apr 2009 19:32:21 -0700
Received: from rgm by fencepost.gnu.org with local (Exim 4.67)
	(envelope-from <rgm@HIDDEN>)
	id 1Lr16p-0001TO-1U; Mon, 06 Apr 2009 22:32:19 -0400
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <18906.47922.961917.469812@HIDDEN>
Date: Mon, 6 Apr 2009 22:32:18 -0400
From: Glenn Morris <rgm@HIDDEN>
To: control <control <at> debbugs.gnu.org>
Subject: control message

merge 2879 2880 2882 2883
reassign 2879 notemacs
tags 2816 - patch
merge 2912 2913

Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.