Received: (at 26521) by debbugs.gnu.org; 26 Jul 2019 09:48:49 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Jul 26 05:48:49 2019
Received: from localhost ([127.0.0.1]:40871 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1hqwqH-0005Y4-BC
for submit <at> debbugs.gnu.org; Fri, 26 Jul 2019 05:48:49 -0400
Received: from quimby.gnus.org ([80.91.231.51]:58682)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <larsi@HIDDEN>) id 1hqwqF-0005Xr-Kr
for 26521 <at> debbugs.gnu.org; Fri, 26 Jul 2019 05:48:48 -0400
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 <larsi@HIDDEN>)
id 1hqwqA-00058H-76; Fri, 26 Jul 2019 11:48:44 +0200
From: Lars Ingebrigtsen <larsi@HIDDEN>
To: =?utf-8?Q?T=C3=A9ssio?= Fechine <tessiof@HIDDEN>
Subject: Re: bug#26521: sml-mode indentation level problem
References: <CADoaTFPFdtSN9vcdfhx5QssuXaTytVSFpwRytJ4jg34LLF5=pQ@HIDDEN>
Date: Fri, 26 Jul 2019 11:48:41 +0200
In-Reply-To: <CADoaTFPFdtSN9vcdfhx5QssuXaTytVSFpwRytJ4jg34LLF5=pQ@HIDDEN>
(=?utf-8?Q?=22T=C3=A9ssio?= Fechine"'s message of "Sat, 15 Apr 2017
10:43:16 -0300")
Message-ID: <87r26dnn2e.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
@@CONTACT_ADDRESS@@ for details.
Content preview: Téssio Fechine <tessiof@HIDDEN> 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 [...]
Content analysis details: (-2.9 points, 5.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
-1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP
-1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1%
[score: 0.0000]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 26521
Cc: 26521 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
T=C3=A9ssio Fechine <tessiof@HIDDEN> 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
bug-gnu-emacs@HIDDEN:bug#26521; Package emacs.
Full text available.Received: (at submit) by debbugs.gnu.org; 15 Apr 2017 16:25:58 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sat Apr 15 12:25:58 2017 Received: from localhost ([127.0.0.1]:49157 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1czQWM-0004X1-0q for submit <at> debbugs.gnu.org; Sat, 15 Apr 2017 12:25:58 -0400 Received: from eggs.gnu.org ([208.118.235.92]:39151) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <tessiof@HIDDEN>) id 1czNz5-00073n-KA for submit <at> debbugs.gnu.org; Sat, 15 Apr 2017 09:43:27 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <tessiof@HIDDEN>) id 1czNyz-0002nz-CY for submit <at> debbugs.gnu.org; Sat, 15 Apr 2017 09:43:22 -0400 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org X-Spam-Level: X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50,FREEMAIL_FROM, HTML_MESSAGE,T_DKIM_INVALID autolearn=disabled version=3.3.2 Received: from lists.gnu.org ([2001:4830:134:3::11]:54671) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from <tessiof@HIDDEN>) id 1czNyz-0002nq-9X for submit <at> debbugs.gnu.org; Sat, 15 Apr 2017 09:43:21 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:58353) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from <tessiof@HIDDEN>) id 1czNyy-000889-3H for bug-gnu-emacs@HIDDEN; Sat, 15 Apr 2017 09:43:21 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from <tessiof@HIDDEN>) id 1czNyx-0002mB-8M for bug-gnu-emacs@HIDDEN; Sat, 15 Apr 2017 09:43:20 -0400 Received: from mail-lf0-x229.google.com ([2a00:1450:4010:c07::229]:35721) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from <tessiof@HIDDEN>) id 1czNyw-0002lT-V6 for bug-gnu-emacs@HIDDEN; Sat, 15 Apr 2017 09:43:19 -0400 Received: by mail-lf0-x229.google.com with SMTP id 75so50706432lfs.2 for <bug-gnu-emacs@HIDDEN>; Sat, 15 Apr 2017 06:43:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:from:date:message-id:subject:to; bh=GLZ/898/iHWmeiB5yCCcn7l10p7d8gUqghk5yJBJAKY=; b=vVJIC8a00QIL78VvzOCbmvDLWWRFcz4sXwmx2N9JoV72Rj4k7zSq3UNV+HrCVdhPjY BrnNPwHXN+tHvt32TZlAkLaaaNldkoUmCnvsmXmdlDcwouHey3eQ9+4AqrfnRd+3wQEH E3Q8v9DIBYQ82o+pncOuGFFUnukJWiNmDZTOqsGlSK+voEGrHk4GHtOYzXb4fuUIuIN6 A1eHGb1XtOH8bed1sx6LbpZ9PmLUDHlVqfBR00Wv+bHdIqb2adThy4j2hsiua2JaNN0L Co7iHDWt9wS3snStPj1+Ky+CwUZ5sutvL9mHxfT6zs34+4GseiTWvwrnHp2F0+ZS5DKk Ctbg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=GLZ/898/iHWmeiB5yCCcn7l10p7d8gUqghk5yJBJAKY=; b=YV9XfiCh0NNLWawz20Jc6pJ23t1tAo0ZUuWkuXPdSW0jubPNqjJwah3yCBB8Ln03LG m0zTjrxuU1Kwd5C1vYEmmUTKQFTtGhsozIE1OJHjNj7sDsTGjJUnyivIAGE3sBgFWJpP diIlYhjCBaS9q6gqfX64xHz2FYrxBO6EckP/H6ooBHIt1nfYbxzCXlfwx7QH55L/mRij TCoC8Qah33DeRCPJnO4rU8lwmh2nwPQuBsqr8jb6UvULXEsxizERoq8hcbEgLU5tcclP YYA/3UkbQ7dcfhCpiAik8RF/KHkATiBJa0lOzM6O8E+jCl2Y7dLtLZ6RiQVDmhXVkSZQ AI8w== X-Gm-Message-State: AN3rC/4Ok9OkysYb1sC+MewXxaUo6zhpUnTb1mUCUhFOzTF+i4o7L2Rr QI0YWzSvhmJa5JCv5hqqjMBgyL+7TA== X-Received: by 10.46.87.91 with SMTP id r27mr619053ljd.107.1492263797003; Sat, 15 Apr 2017 06:43:17 -0700 (PDT) MIME-Version: 1.0 Received: by 10.25.211.195 with HTTP; Sat, 15 Apr 2017 06:43:16 -0700 (PDT) From: =?UTF-8?Q?T=C3=A9ssio_Fechine?= <tessiof@HIDDEN> Date: Sat, 15 Apr 2017 10:43:16 -0300 Message-ID: <CADoaTFPFdtSN9vcdfhx5QssuXaTytVSFpwRytJ4jg34LLF5=pQ@HIDDEN> Subject: sml-mode indentation level problem To: bug-gnu-emacs@HIDDEN Content-Type: multipart/alternative; boundary=f403045f83b4881d77054d34bdc6 X-detected-operating-system: by eggs.gnu.org: Genre and OS details not recognized. X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 2001:4830:134:3::11 X-Spam-Score: -4.0 (----) X-Debbugs-Envelope-To: submit X-Mailman-Approved-At: Sat, 15 Apr 2017 12:25:56 -0400 X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -4.0 (----) --f403045f83b4881d77054d34bdc6 Content-Type: text/plain; charset=UTF-8 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. --f403045f83b4881d77054d34bdc6 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><div><div>Hello,<br><br></div>The default indentation leve= l of sml-mode is 4 (as appears in Options -> Customize Emacs -> Top-l= evel Customization Group -> Programming -> Languages -> Sml -> = Sml Indent Level), but in a newly installed sml-mode 6.7 running on Emacs 2= 5.1.1 (Xubuntu 17.04) it's indenting with only 2 spaces. <br></div>I tr= ied manually setting it to another value, using the Customize Emacs facilit= y, but nothing changes. <br></div> --f403045f83b4881d77054d34bdc6--
Téssio Fechine <tessiof@HIDDEN>:bug-gnu-emacs@HIDDEN.
Full text available.bug-gnu-emacs@HIDDEN:bug#26521; Package emacs.
Full text available.
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.