GNU bug report logs -
#26521
sml-mode indentation level problem
Previous Next
To reply to this bug, email your comments to 26521 AT debbugs.gnu.org.
Toggle the display of automated, internal messages from the tracker.
Report forwarded
to
bug-gnu-emacs <at> gnu.org
:
bug#26521
; Package
emacs
.
(Sat, 15 Apr 2017 16:26:02 GMT)
Full text and
rfc822 format available.
Acknowledgement sent
to
Téssio Fechine <tessiof <at> gmail.com>
:
New bug report received and forwarded. Copy sent to
bug-gnu-emacs <at> gnu.org
.
(Sat, 15 Apr 2017 16:26:03 GMT)
Full text and
rfc822 format available.
Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):
[Message part 1 (text/plain, inline)]
Hello,
The default indentation level of sml-mode is 4 (as appears in Options ->
Customize Emacs -> Top-level Customization Group -> Programming ->
Languages -> Sml -> Sml Indent Level), but in a newly installed sml-mode
6.7 running on Emacs 25.1.1 (Xubuntu 17.04) it's indenting with only 2
spaces.
I tried manually setting it to another value, using the Customize Emacs
facility, but nothing changes.
[Message part 2 (text/html, inline)]
Information forwarded
to
bug-gnu-emacs <at> gnu.org
:
bug#26521
; Package
emacs
.
(Fri, 26 Jul 2019 09:49:02 GMT)
Full text and
rfc822 format available.
Message #8 received at 26521 <at> debbugs.gnu.org (full text, mbox):
Téssio Fechine <tessiof <at> gmail.com> writes:
> The default indentation level of sml-mode is 4 (as appears in Options
> -> Customize Emacs -> Top-level Customization Group -> Programming ->
> Languages -> Sml -> Sml Indent Level), but in a newly installed
> sml-mode 6.7 running on Emacs 25.1.1 (Xubuntu 17.04) it's indenting
> with only 2 spaces. I tried manually setting it to another value,
> using the Customize Emacs facility, but nothing changes.
I tried this test SML program:
val _ =
let
val t = Timer.startCPUTimer()
in
count(10000000);
print (Time.toString(#usr(Timer.checkCPUTimer(t))) ^ "\n")
end;
and then
(setq sml-indent-level 8)
and reindented:
val _ =
let
val t = Timer.startCPUTimer()
in
count(10000000);
print (Time.toString(#usr(Timer.checkCPUTimer(t))) ^ "\n")
end;
So it seems to work on some bits, but not others? You'd expect the
"let" etc also to be indented with 8 spaces, but I'm not familiar with
SML (any more).
Perhaps somebody with more knowledge of this could weigh in here.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
This bug report was last modified 5 years and 332 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.