GNU bug report logs - #17830
24.4.50; smie: inners and up-list

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: emacs; Severity: minor; Reported by: Leo Liu <sdl.web@HIDDEN>; dated Sun, 22 Jun 2014 03:30:05 UTC; Maintainer for emacs is bug-gnu-emacs@HIDDEN.
Severity set to 'minor' from 'normal' Request was from Stefan Kangas <stefan@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

Message received at 17830 <at> debbugs.gnu.org:


Received: (at 17830) by debbugs.gnu.org; 22 Jun 2014 12:43:16 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jun 22 08:43:16 2014
Received: from localhost ([127.0.0.1]:56721 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1Wyh75-0007P2-0k
	for submit <at> debbugs.gnu.org; Sun, 22 Jun 2014 08:43:15 -0400
Received: from ironport2-out.teksavvy.com ([206.248.154.181]:30589)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <monnier@HIDDEN>) id 1Wyh71-0007Oj-KW
 for 17830 <at> debbugs.gnu.org; Sun, 22 Jun 2014 08:43:12 -0400
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ArYGAIDvNVNLd+D9/2dsb2JhbABZgwaDSr0vgw6BFxd0giUBAQEBAgFWIwULCw4mEhQYDSSIBAjSGReOegeEOASpGYFqg0wh
X-IPAS-Result: ArYGAIDvNVNLd+D9/2dsb2JhbABZgwaDSr0vgw6BFxd0giUBAQEBAgFWIwULCw4mEhQYDSSIBAjSGReOegeEOASpGYFqg0wh
X-IronPort-AV: E=Sophos;i="4.97,753,1389762000"; d="scan'208";a="69058386"
Received: from 75-119-224-253.dsl.teksavvy.com (HELO pastel.home)
 ([75.119.224.253])
 by ironport2-out.teksavvy.com with ESMTP/TLS/ADH-AES256-SHA;
 22 Jun 2014 08:43:05 -0400
Received: by pastel.home (Postfix, from userid 20848)
 id B287460359; Sun, 22 Jun 2014 08:43:05 -0400 (EDT)
From: Stefan Monnier <monnier@HIDDEN>
To: Leo Liu <sdl.web@HIDDEN>
Subject: Re: bug#17830: 24.4.50; smie: inners and up-list
Message-ID: <jwv1tuhjf99.fsf-monnier+emacsbugs@HIDDEN>
References: <m3lhspwrl2.fsf@HIDDEN>
Date: Sun, 22 Jun 2014 08:43:05 -0400
In-Reply-To: <m3lhspwrl2.fsf@HIDDEN> (Leo Liu's message of "Sun, 22 Jun
 2014 11:28:25 +0800")
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.4.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.3 (/)
X-Debbugs-Envelope-To: 17830
Cc: 17830 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: 0.3 (/)

> I quite like the support for show-paren-mode in smie of 24.4 for
> closers. But I often also want to be able to jump to the beginning of
> the block with backward-up-list by key C-M-u.

> However, if the block has inners such as `let ... in ... end' (sml-mode)
> and point is between `in' and `end', backward-up-list always misses the
> `let' opener. Some smie grammars take the `... in ...' out of the block
> which makes backward-up-list work but show-paren-mode won't show `in' as
> the inner matching `let' any more.

> Any fix to this? Thanks.

The use of forward-sexp-function in up-list is indeed problematic,
although it does work 90% of the time.

We probably need to introduce an up-list-function hook.  `transpose-sexp'
similarly fails in to do the right thing in some cases (tho for
transpose-sexp, the problem is not so much in the "jump over a sexp"
part as in the way it decides what to leave unchanged around point).


        Stefan




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#17830; Package emacs. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 22 Jun 2014 03:29:08 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sat Jun 21 23:29:08 2014
Received: from localhost ([127.0.0.1]:56568 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.80)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1WyYSq-0000s1-9Y
	for submit <at> debbugs.gnu.org; Sat, 21 Jun 2014 23:29:08 -0400
Received: from eggs.gnu.org ([208.118.235.92]:33139)
 by debbugs.gnu.org with esmtp (Exim 4.80)
 (envelope-from <sdl.web@HIDDEN>) id 1WyYSn-0000rP-FC
 for submit <at> debbugs.gnu.org; Sat, 21 Jun 2014 23:29:06 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <sdl.web@HIDDEN>) id 1WyYSY-00005c-VF
 for submit <at> debbugs.gnu.org; Sat, 21 Jun 2014 23:28:59 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM,
 T_DKIM_INVALID autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:38601)
 by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <sdl.web@HIDDEN>) id 1WyYSY-00005Y-SK
 for submit <at> debbugs.gnu.org; Sat, 21 Jun 2014 23:28:50 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:34855)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <sdl.web@HIDDEN>) id 1WyYSP-0006UM-Ql
 for bug-gnu-emacs@HIDDEN; Sat, 21 Jun 2014 23:28:50 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <sdl.web@HIDDEN>) id 1WyYSG-0008U3-LD
 for bug-gnu-emacs@HIDDEN; Sat, 21 Jun 2014 23:28:41 -0400
Received: from mail-pa0-x22b.google.com ([2607:f8b0:400e:c03::22b]:54907)
 by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <sdl.web@HIDDEN>) id 1WyYSG-0008Tr-E9
 for bug-gnu-emacs@HIDDEN; Sat, 21 Jun 2014 23:28:32 -0400
Received: by mail-pa0-f43.google.com with SMTP id lf10so4497659pab.16
 for <bug-gnu-emacs@HIDDEN>; Sat, 21 Jun 2014 20:28:31 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113;
 h=from:to:subject:date:message-id:mime-version:content-type;
 bh=uobW07r5uxOctw0M97x8Evp8bs1PRpLJb5v6EKQ8LYE=;
 b=XVJl7227w3PZ0HaKEaoq7ULqW5VUtYr+CZLAFmkvLQmZO47P2RPzaO3OyOpGBp/0Xk
 Rzy7rd3tyzx/kwOLWO0/2151SzkIV0Yum6m4lnkHED21kRI5spslCdqdIK3j9I4xJlwl
 WZizduBnCVeR36gHhOMJp0+c5pehPQ8Mjy11dbdfKMIMlZF3q0SSDrmolx2fVaSFNjKD
 KBLS64ZRQXTE+0rS+hHJRgl8GWwWCH30p5if8bkrJQvn2pgEtEWjMFH8X3Cge6eN8dCG
 EuFr23vau4s0OAilV+99iifan6hTRGY2FV+bfCLY5MzXB98gjqPlL5fxJUusViRvHo6f
 1eDA==
X-Received: by 10.68.193.100 with SMTP id hn4mr17505463pbc.50.1403407711080;
 Sat, 21 Jun 2014 20:28:31 -0700 (PDT)
Received: from fortuna ([221.222.158.228])
 by mx.google.com with ESMTPSA id fn2sm69537333pab.22.2014.06.21.20.28.28
 for <bug-gnu-emacs@HIDDEN>
 (version=TLSv1.1 cipher=RC4-SHA bits=128/128);
 Sat, 21 Jun 2014 20:28:30 -0700 (PDT)
From: Leo Liu <sdl.web@HIDDEN>
To: bug-gnu-emacs@HIDDEN
Subject: 24.4.50; smie: inners and up-list
X-Debbugs-CC: Stefan Monnier <monnier@HIDDEN>
Date: Sun, 22 Jun 2014 11:28:25 +0800
Message-ID: <m3lhspwrl2.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
 (bad octet value).
X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address
 (bad octet value).
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -4.0 (----)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <http://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <http://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <http://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -4.0 (----)


I quite like the support for show-paren-mode in smie of 24.4 for
closers. But I often also want to be able to jump to the beginning of
the block with backward-up-list by key C-M-u.

However, if the block has inners such as `let ... in ... end' (sml-mode)
and point is between `in' and `end', backward-up-list always misses the
`let' opener. Some smie grammars take the `... in ...' out of the block
which makes backward-up-list work but show-paren-mode won't show `in' as
the inner matching `let' any more.

Any fix to this? Thanks.

Leo




Acknowledgement sent to Leo Liu <sdl.web@HIDDEN>:
New bug report received and forwarded. Copy sent to monnier@HIDDEN, bug-gnu-emacs@HIDDEN. Full text available.
Report forwarded to monnier@HIDDEN, bug-gnu-emacs@HIDDEN:
bug#17830; Package emacs. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Wed, 29 Jun 2022 15:15:02 UTC

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