From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Markus Triska Newsgroups: gmane.emacs.bugs Subject: bug#21526: 24.5; prolog-mode: broken indentation for if-then-else construct Date: Mon, 21 Sep 2015 08:02:32 +0200 Message-ID: References: NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1442815403 23435 80.91.229.3 (21 Sep 2015 06:03:23 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 21 Sep 2015 06:03:23 +0000 (UTC) To: 21526@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Mon Sep 21 08:03:11 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 1ZduBy-0004Wt-GP for geb-bug-gnu-emacs@m.gmane.org; Mon, 21 Sep 2015 08:03:10 +0200 Original-Received: from localhost ([::1]:55773 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZduBy-00007n-3M for geb-bug-gnu-emacs@m.gmane.org; Mon, 21 Sep 2015 02:03:10 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46193) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZduBu-00007U-FW for bug-gnu-emacs@gnu.org; Mon, 21 Sep 2015 02:03:07 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZduBq-0003Qs-FI for bug-gnu-emacs@gnu.org; Mon, 21 Sep 2015 02:03:06 -0400 Original-Received: from debbugs.gnu.org ([208.118.235.43]:47172) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZduBq-0003Qn-Cx for bug-gnu-emacs@gnu.org; Mon, 21 Sep 2015 02:03:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1ZduBq-00083G-7N for bug-gnu-emacs@gnu.org; Mon, 21 Sep 2015 02:03:02 -0400 X-Loop: help-debbugs@gnu.org In-Reply-To: Resent-From: Markus Triska Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 21 Sep 2015 06:03:02 +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: X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.144281535530916 (code B ref -1); Mon, 21 Sep 2015 06:03:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 21 Sep 2015 06:02:35 +0000 Original-Received: from localhost ([127.0.0.1]:39382 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZduBO-00082a-Tt for submit@debbugs.gnu.org; Mon, 21 Sep 2015 02:02:35 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:36078) by debbugs.gnu.org with esmtp (Exim 4.80) (envelope-from ) id 1ZduBM-00082Q-P7 for submit@debbugs.gnu.org; Mon, 21 Sep 2015 02:02:33 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZduBL-0003Bz-Kr for submit@debbugs.gnu.org; Mon, 21 Sep 2015 02:02:32 -0400 Original-Received: from lists.gnu.org ([2001:4830:134:3::11]:51758) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZduBL-0003Bv-Is for submit@debbugs.gnu.org; Mon, 21 Sep 2015 02:02:31 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:46072) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZduBK-0008WN-OC for bug-gnu-emacs@gnu.org; Mon, 21 Sep 2015 02:02:31 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZduBG-0003Ap-PH for bug-gnu-emacs@gnu.org; Mon, 21 Sep 2015 02:02:30 -0400 Original-Received: from plane.gmane.org ([80.91.229.3]:34816) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZduBG-0003Ab-JN for bug-gnu-emacs@gnu.org; Mon, 21 Sep 2015 02:02:26 -0400 Original-Received: from list by plane.gmane.org with local (Exim 4.69) (envelope-from ) id 1ZduBF-0003A0-4m for bug-gnu-emacs@gnu.org; Mon, 21 Sep 2015 08:02:25 +0200 Original-Received: from 178.115.130.37.wireless.dyn.drei.com ([178.115.130.37]) by main.gmane.org with esmtp (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Sep 2015 08:02:25 +0200 Original-Received: from triska by 178.115.130.37.wireless.dyn.drei.com with local (Gmexim 0.1 (Debian)) id 1AlnuQ-0007hv-00 for ; Mon, 21 Sep 2015 08:02:25 +0200 X-Injected-Via-Gmane: http://gmane.org/ Original-Lines: 59 Original-X-Complaints-To: usenet@ger.gmane.org X-Gmane-NNTP-Posting-Host: 178.115.130.37.wireless.dyn.drei.com Cancel-Lock: sha1:nG9bv2CFn8JBJTHCsKxbCFVN6Sg= X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). 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:106757 Archived-At: Stefan Monnier writes: > I installed the patch below which should fix many of your problems. Thank you! There are several remaining issues. First, if-then-else constructs can be nested. For example, when I have: test :- ( a, HERE and press "(", then, in the prolog.el supplied by Stefan Bruda and using the settings I posted, I get: test :- ( a, ( HERE That is, it automatically indents for placing the next "if" as expected. Eventually, a nested mixed disjunction/if-then-else may either look like: test :- ( a, ( b -> ( c -> d ; e ) ; f ) ; g ). or: test :- ( a, ( b -> ( c -> d ; e ) ; f ) ; g ). When I try it with your patch, it fails to indent subsequent lines. > IIUC the only remaining issue is the indentation we get when the line is > empty. This issue also remains. Thank you! All the best, Markus