From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Lars Ingebrigtsen Newsgroups: gmane.emacs.bugs Subject: bug#26521: sml-mode indentation level problem Date: Fri, 26 Jul 2019 11:48:41 +0200 Message-ID: <87r26dnn2e.fsf@mouse.gnus.org> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="167564"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) Cc: 26521@debbugs.gnu.org To: =?UTF-8?Q?T=C3=A9ssio?= Fechine Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Fri Jul 26 11:49:20 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hqwqk-000hNh-K0 for geb-bug-gnu-emacs@m.gmane.org; Fri, 26 Jul 2019 11:49:18 +0200 Original-Received: from localhost ([::1]:37864 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hqwqi-0005WK-Hu for geb-bug-gnu-emacs@m.gmane.org; Fri, 26 Jul 2019 05:49:16 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:49489) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hqwqd-0005UZ-Hi for bug-gnu-emacs@gnu.org; Fri, 26 Jul 2019 05:49:12 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hqwqX-0002AK-CQ for bug-gnu-emacs@gnu.org; Fri, 26 Jul 2019 05:49:08 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:60283) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hqwqX-00024R-7E for bug-gnu-emacs@gnu.org; Fri, 26 Jul 2019 05:49:05 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hqwqU-0005YV-CN for bug-gnu-emacs@gnu.org; Fri, 26 Jul 2019 05:49:03 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Lars Ingebrigtsen Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Fri, 26 Jul 2019 09:49:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 26521 X-GNU-PR-Package: emacs Original-Received: via spool by 26521-submit@debbugs.gnu.org id=B26521.156413452921336 (code B ref 26521); Fri, 26 Jul 2019 09:49:02 +0000 Original-Received: (at 26521) by debbugs.gnu.org; 26 Jul 2019 09:48:49 +0000 Original-Received: from localhost ([127.0.0.1]:40871 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hqwqH-0005Y4-BC for submit@debbugs.gnu.org; Fri, 26 Jul 2019 05:48:49 -0400 Original-Received: from quimby.gnus.org ([80.91.231.51]:58682) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hqwqF-0005Xr-Kr for 26521@debbugs.gnu.org; Fri, 26 Jul 2019 05:48:48 -0400 Original-Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=marnie) by quimby.gnus.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hqwqA-00058H-76; Fri, 26 Jul 2019 11:48:44 +0200 In-Reply-To: ("=?UTF-8?Q?T=C3=A9ssio?= Fechine"'s message of "Sat, 15 Apr 2017 10:43:16 -0300") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.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" Xref: news.gmane.org gmane.emacs.bugs:163757 Archived-At: T=C3=A9ssio Fechine 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 _ =3D let val t =3D Timer.startCPUTimer() in count(10000000); print (Time.toString(#usr(Timer.checkCPUTimer(t))) ^ "\n") end; and then (setq sml-indent-level 8) and reindented: val _ =3D let val t =3D 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. --=20 (domestic pets only, the antidote for overdose, milk.) bloggy blog: http://lars.ingebrigtsen.no