GNU bug report logs - #26521
sml-mode indentation level problem

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: emacs; Reported by: Téssio Fechine <tessiof@HIDDEN>; dated Sat, 15 Apr 2017 16:26:02 UTC; Maintainer for emacs is bug-gnu-emacs@HIDDEN.

Message received at 26521 <at> debbugs.gnu.org:


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




Information forwarded to bug-gnu-emacs@HIDDEN:
bug#26521; Package emacs. Full text available.

Message received at submit <at> debbugs.gnu.org:


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 -&gt; Customize Emacs -&gt; Top-l=
evel Customization Group -&gt; Programming -&gt; Languages -&gt; Sml -&gt; =
Sml Indent Level), but in a newly installed sml-mode 6.7 running on Emacs 2=
5.1.1 (Xubuntu 17.04) it&#39;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--




Acknowledgement sent to Téssio Fechine <tessiof@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-gnu-emacs@HIDDEN. Full text available.
Report forwarded to bug-gnu-emacs@HIDDEN:
bug#26521; Package emacs. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Fri, 26 Jul 2019 10:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.