From: Markus Triska <triska@metalevel.at>
To: 21526@debbugs.gnu.org
Subject: bug#21526: 24.5; prolog-mode: broken indentation for if-then-else construct
Date: Wed, 23 Sep 2015 23:08:24 +0200 [thread overview]
Message-ID: <m2twqk973r.fsf@metalevel.at> (raw)
In-Reply-To: <m2lhc1dz0c.fsf@metalevel.at>
Here are some further cases I found when trying the latest version:
(a) The indentation of (\+)/1 (not provable) is not correct and yields
an error. For example, when I press RET when point is at the "H":
test :-
\+ a,HERE
then I get:
test :-
\+ a,
HERE
and the message:
Error: (error "Bumped into unknown token")
The expected result is:
test :-
\+ a,
HERE
(and no error). For example, the clause may eventually look like:
test :-
\+ a,
b,
\+ \+ c,
d.
In connection with if-then-else, we expect the layout:
test :-
( \+ a ->
b
; \+ c,
\+ d
).
but currently get:
test :-
( \+ a ->
b
; \+ c,
\+ d
).
(b) Comments within if-then-else constructs are also not correctly
indented. For example, a block like:
test :-
( a ->
% what should we do
% with two lines?
b
is still indented exactly as expected. However, when I then add two
subsequent comment lines also in the else branch, I get:
test :-
( a ->
% what should we do
% on two lines?
b
; % what else should
% we do on two lines
c
).
Whereas we expect (and Stefan Bruda's version also yields):
test :-
( a ->
% what should we do
% on two lines?
b
; % what else should
% we do on two lines
c
).
The remaining two issues are not related to if-then-else, but I still
include them in this report for easy reference. I will of course file
separate issues for them if you prefer that.
(c) Arguments of directives should be more indented. For example, a
directive whose arguments span several lines should look like this:
:- multifile
pred1,
pred2,
pred3.
Instead, when I press RET when point is at the H:
:- multifileHERE
I unexpectedly get:
:- multifile
HERE
`prolog-keywords' contains the directives where a hanging indentation of
prolog-indent-width in subsequent lines would be very welcome.
(d) Code patterns like the following are quite common:
test_predicate(a) :- !.
test_predicate(b) :- !.
test_predicate(c) :- !,
test_goal1,
test_goal2.
test_predicate(d) :- !,
test_goal3.
For a block like that, I get with the current git version:
test_predicate(a) :- !.
test_predicate(b) :- !.
test_predicate(c) :- !,
test_goal1,
test_goal2.
test_predicate(d) :- !,
test_goal3.
Whereas with Stefan Bruda's original version, I get the first layout.
I have used the following two source files, together amounting to more
than 8,000 lines of Prolog code written using Stefan Bruda's version
with the settings I posted, to find such regressions:
One is a constraint solver over Boolean variables:
https://github.com/SWI-Prolog/swipl-devel/blob/master/library/clp/clpb.pl
And the other is a constraint solver over integers:
https://github.com/SWI-Prolog/swipl-devel/blob/master/library/clp/clpfd.pl
I hope that these files are useful as further test cases for you.
All the best!
Markus
next prev parent reply other threads:[~2015-09-23 21:08 UTC|newest]
Thread overview: 48+ messages / expand[flat|nested] mbox.gz Atom feed top
2015-09-20 13:02 bug#21526: 24.5; prolog-mode: broken indentation for if-then-else construct Markus Triska
2015-09-20 18:04 ` Stefan Monnier
2015-09-20 19:33 ` Markus Triska
2015-09-21 2:34 ` Stefan Monnier
2015-09-21 3:03 ` Stefan Monnier
2015-09-21 6:02 ` Markus Triska
2015-09-21 20:22 ` Stefan Monnier
2015-09-22 6:25 ` Markus Triska
2015-09-22 15:12 ` Stefan Monnier
2015-09-22 16:38 ` Markus Triska
2015-09-22 21:04 ` Markus Triska
2015-09-23 21:08 ` Markus Triska [this message]
2015-09-25 16:20 ` Markus Triska
2015-09-30 2:04 ` Stefan Monnier
2015-09-30 3:28 ` Stefan Monnier
2015-09-30 6:38 ` Markus Triska
2015-09-30 9:23 ` Stefan Monnier
2015-09-30 18:35 ` Markus Triska
2015-09-30 20:19 ` Stefan Monnier
2015-09-30 20:40 ` Markus Triska
2015-10-01 0:14 ` Stefan Monnier
2015-10-01 6:22 ` Markus Triska
2015-10-01 14:07 ` Stefan Monnier
2015-10-02 16:23 ` Markus Triska
2015-10-02 20:47 ` Stefan Monnier
2015-10-05 22:38 ` Markus Triska
2015-10-06 2:23 ` Stefan Monnier
2015-09-30 18:03 ` Markus Triska
2015-09-30 21:19 ` Stefan Monnier
2015-09-30 3:28 ` Stefan Monnier
2015-09-30 2:07 ` Stefan Monnier
2015-09-30 6:32 ` Markus Triska
2015-09-30 8:55 ` Stefan Monnier
2015-09-30 18:11 ` Markus Triska
2015-10-05 23:49 ` Markus Triska
2015-10-06 1:17 ` Stefan Monnier
2015-10-06 16:45 ` Markus Triska
2015-10-06 20:09 ` Stefan Monnier
2015-10-20 23:47 ` Markus Triska
2015-10-21 16:06 ` Stefan Monnier
2015-10-21 21:58 ` Markus Triska
2015-10-22 1:16 ` Stefan Monnier
2015-10-22 19:08 ` Markus Triska
2015-10-25 20:01 ` Stefan Monnier
2015-11-23 16:36 ` Stefan Monnier
2020-08-24 18:23 ` Lars Ingebrigtsen
2015-09-29 15:27 ` Stefan Monnier
2015-09-29 16:24 ` Markus Triska
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=m2twqk973r.fsf@metalevel.at \
--to=triska@metalevel.at \
--cc=21526@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/emacs.git
https://git.savannah.gnu.org/cgit/emacs/org-mode.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.