GNU logs - #26521, boring messages


Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#26521: sml-mode indentation level problem
Resent-From: =?UTF-8?Q?T=C3=A9ssio?= Fechine <tessiof@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sat, 15 Apr 2017 16:26:02 +0000
Resent-Message-ID: <handler.26521.B.149227355817428 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 26521
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: 26521 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-gnu-emacs@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.149227355817428
          (code B ref -1); Sat, 15 Apr 2017 16:26:02 +0000
Received: (at submit) by debbugs.gnu.org; 15 Apr 2017 16:25:58 +0000
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>
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-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--




Message sent:


Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: =?UTF-8?Q?T=C3=A9ssio?= Fechine <tessiof@HIDDEN>
Subject: bug#26521: Acknowledgement (sml-mode indentation level problem)
Message-ID: <handler.26521.B.149227355817428.ack <at> debbugs.gnu.org>
References: <CADoaTFPFdtSN9vcdfhx5QssuXaTytVSFpwRytJ4jg34LLF5=pQ@HIDDEN>
X-Gnu-PR-Message: ack 26521
X-Gnu-PR-Package: emacs
Reply-To: 26521 <at> debbugs.gnu.org
Date: Sat, 15 Apr 2017 16:26:03 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 bug-gnu-emacs@HIDDEN

If you wish to submit further information on this problem, please
send it to 26521 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
26521: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D26521
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems


Message sent to bug-gnu-emacs@HIDDEN:


X-Loop: help-debbugs@HIDDEN
Subject: bug#26521: sml-mode indentation level problem
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Fri, 26 Jul 2019 09:49:02 +0000
Resent-Message-ID: <handler.26521.B26521.156413452921336 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 26521
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: 
To: =?UTF-8?Q?T=C3=A9ssio?= Fechine <tessiof@HIDDEN>
Cc: 26521 <at> debbugs.gnu.org
Received: via spool by 26521-submit <at> debbugs.gnu.org id=B26521.156413452921336
          (code B ref 26521); Fri, 26 Jul 2019 09:49:02 +0000
Received: (at 26521) by debbugs.gnu.org; 26 Jul 2019 09:48:49 +0000
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>
References: <CADoaTFPFdtSN9vcdfhx5QssuXaTytVSFpwRytJ4jg34LLF5=pQ@HIDDEN>
Date: Fri, 26 Jul 2019 11:48:41 +0200
In-Reply-To: <CADoaTFPFdtSN9vcdfhx5QssuXaTytVSFpwRytJ4jg34LLF5=pQ@HIDDEN>
 ("=?UTF-8?Q?T=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:  =?UTF-8?Q?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 [...] 
 
 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-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





Last modified: Mon, 25 Nov 2019 12:00:02 UTC

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