From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.bugs Subject: bug#21526: 24.5; prolog-mode: broken indentation for if-then-else construct Date: Tue, 29 Sep 2015 23:28:46 -0400 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1443650634 25196 80.91.229.3 (30 Sep 2015 22:03:54 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 30 Sep 2015 22:03:54 +0000 (UTC) Cc: 21526@debbugs.gnu.org To: Markus Triska Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Oct 01 00:03:44 2015 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1ZhPTT-0003Oh-4a for geb-bug-gnu-emacs@m.gmane.org; Thu, 01 Oct 2015 00:03:43 +0200 Original-Received: from localhost ([::1]:34269 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZhPTS-0003Qn-Kj for geb-bug-gnu-emacs@m.gmane.org; Wed, 30 Sep 2015 18:03:42 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:52285) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zh84n-0003Of-GP for bug-gnu-emacs@gnu.org; Tue, 29 Sep 2015 23:29:06 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zh84k-0003jX-72 for bug-gnu-emacs@gnu.org; Tue, 29 Sep 2015 23:29:05 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:59437) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zh84k-0003jS-48 for bug-gnu-emacs@gnu.org; Tue, 29 Sep 2015 23:29:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Zh84j-0002xI-OT for bug-gnu-emacs@gnu.org; Tue, 29 Sep 2015 23:29:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 30 Sep 2015 03:29:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 21526 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 21526-submit@debbugs.gnu.org id=B21526.144358373011330 (code B ref 21526); Wed, 30 Sep 2015 03:29:01 +0000 Original-Received: (at 21526) by debbugs.gnu.org; 30 Sep 2015 03:28:50 +0000 Original-Received: from localhost ([127.0.0.1]:48406 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Zh84Y-0002wg-7H for submit@debbugs.gnu.org; Tue, 29 Sep 2015 23:28:50 -0400 Original-Received: from ironport2-out.teksavvy.com ([206.248.154.181]:59347) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1Zh84V-0002wS-NA for 21526@debbugs.gnu.org; Tue, 29 Sep 2015 23:28:48 -0400 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A3EwA731xV/wihxEVcgxBUXoJQhVW7NwmBUoV5BAICgTw5FAEBAQEBAQGBCkEFg10BAQMBJy8jBQsLNBIUGA0kiDcIzyMBAQEBBgEBAQEeizqFBQeELQWQNI5jg2uQPYFFI4QUIjGCRwEBAQ X-IPAS-Result: A0A3EwA731xV/wihxEVcgxBUXoJQhVW7NwmBUoV5BAICgTw5FAEBAQEBAQGBCkEFg10BAQMBJy8jBQsLNBIUGA0kiDcIzyMBAQEBBgEBAQEeizqFBQeELQWQNI5jg2uQPYFFI4QUIjGCRwEBAQ X-IronPort-AV: E=Sophos;i="5.13,465,1427774400"; d="scan'208";a="166451029" Original-Received: from 69-196-161-8.dsl.teksavvy.com (HELO pastel.home) ([69.196.161.8]) by ironport2-out.teksavvy.com with ESMTP; 29 Sep 2015 23:28:47 -0400 Original-Received: by pastel.home (Postfix, from userid 20848) id 99769627CC; Tue, 29 Sep 2015 23:28:46 -0400 (EDT) In-Reply-To: (Markus Triska's message of "Tue, 22 Sep 2015 23:04:14 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.0.50 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.15 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 208.118.235.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:107077 Archived-At: > Here are further test cases I found when trying this patch: > > (1) After evaluating (show-paren-mode 1) and using the Prolog content: > > t1 :- a. > t2 :- b.HERE > > The dot in the immediately preceding line is highlighted as the > (mistakenly classified as such) "matching" element. Hmm... indeed it seems to be a problem in the show-paren-mode provided by SMIE. There's some logic to it, but to the extent that C-M-b jumps to just before "t2", we should either highlight "t2" or just the "t" or nothing at all. > (2) Please enable syntax highlighting for DCGs with zero arguments. The current code provides very minimal support for DCG, indeed. AFAIK, the same was true of Bruda's version (after all, the current code is Bruda's just with the new SMIE indentation swapped in and the electric self-insert keys re-implemented via post-self-insert-hook). If his version has evolved in the mean time, we/he should merge the changes. > Whereas the expected result is: > > test :- > ( a -> > b > ; c -> > HERE This should work now. Stefan