From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: arthur miller <arthur.miller@live.com>
Newsgroups: gmane.emacs.devel
Subject: RE: Docs for &optional and &rest arguments together
Date: Thu, 31 Dec 2020 17:28:07 +0000
Message-ID: <AM0PR06MB6577B7DEE2DE5A00D2E3166E96D60@AM0PR06MB6577.eurprd06.prod.outlook.com>
References: <AM0PR06MB657709C899365FC0710F505496D80@AM0PR06MB6577.eurprd06.prod.outlook.com>
 <87o8icq958.fsf@gnus.org>
 <AM0PR06MB6577D086DD918C31A82C283F96D70@AM0PR06MB6577.eurprd06.prod.outlook.com>
 <877doyoa9g.fsf@gnus.org>
 <AM0PR06MB6577D9BA42B23A9AE54D0EDC96D60@AM0PR06MB6577.eurprd06.prod.outlook.com>
 <20201231112634.GA5158@tuxteam.de>,
 <ac2d2cf0-db77-45e3-bc13-489bfd8c8a4b@default>
Mime-Version: 1.0
Content-Type: multipart/alternative;
 boundary="_000_AM0PR06MB6577B7DEE2DE5A00D2E3166E96D60AM0PR06MB6577eurp_"
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="35346"; mail-complaints-to="usenet@ciao.gmane.io"
To: Drew Adams <drew.adams@oracle.com>, "tomas@tuxteam.de" <tomas@tuxteam.de>, 
 "emacs-devel@gnu.org" <emacs-devel@gnu.org>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Thu Dec 31 18:29:01 2020
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane-mx.org
Original-Received: from lists.gnu.org ([209.51.188.17])
	by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
	(Exim 4.92)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1kv1ky-00091b-RN
	for ged-emacs-devel@m.gmane-mx.org; Thu, 31 Dec 2020 18:29:00 +0100
Original-Received: from localhost ([::1]:41170 helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>)
	id 1kv1kx-0005Tg-TZ
	for ged-emacs-devel@m.gmane-mx.org; Thu, 31 Dec 2020 12:28:59 -0500
Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:48898)
 by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <arthur.miller@live.com>)
 id 1kv1kH-00054P-5x
 for emacs-devel@gnu.org; Thu, 31 Dec 2020 12:28:17 -0500
Original-Received: from mail-vi1eur06olkn2092.outbound.protection.outlook.com
 ([40.92.17.92]:11168 helo=EUR06-VI1-obe.outbound.protection.outlook.com)
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
 (Exim 4.90_1) (envelope-from <arthur.miller@live.com>)
 id 1kv1kD-0002lr-2o
 for emacs-devel@gnu.org; Thu, 31 Dec 2020 12:28:16 -0500
ARC-Seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none;
 b=ioPlUGsF+yNsppOBptVhQ5ZHErIrtYZuaaQVJTnR8qyFWhqz+1Ydc2xjBDCzuBn9nIYvVw0rSucJj1c+1N4jZ8l9zWgA1jGY1TKw6G9jUfKFrRyfHMt7aqh8miNlQgfUnq6a4LHX+iEM1PdjCAlJ2+us6sY7fFS8p96KSKhOQFtwseraJEFRizVPCybnbnXGiukRZjBwVWo7CGe+g+8u8J2uqnCOlAjf+HxQkqvxtnj8unZbUthXGXGg5Kn5ksjl7yKnn/0w9xnG9ah5jBS2LpPZU9c6nCKMbzz7ApPbZr+4liaTWj55B64h7nizEVLDz2xMb2TUjSSZRPPew6yG+Q==
ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; 
 s=arcselector9901;
 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
 bh=NhckPZdVOf9ea62ahzR2RYPnjAosJIxoquLYilZEoe0=;
 b=ifb6d1yDCuir9duhdPmjX8A/lVAb0Fcv9SdyzpmpDBX4aawX99sw0sjDZ1wXqRRwa5wNTFuJnmFwPxJ9I+HYeToj/wKY4ffUxI9f3U/ovR9uWjZjaunsU7Wyr7ly3lcfvrf772gMMn/cH1VMCnbdfxZfDm7uFk3DM0wFCD3gn4GQ/+BC3XDLRCrL7hOeBMESFFbDLix5BkEbxob2n3fi8m1bb2ZaixzUfwRSBLQQqE6UJi9qgUlnpGOyrKoehnk4FUfjFFR9yR6rhUui8C6R78zktjTr7eYtXXlKITp8ZwPpg/lOYtctnkdnZmjxZZ9qY9BfKoN2R+oHFh3uoOtQSQ==
ARC-Authentication-Results: i=1; mx.microsoft.com 1; spf=none; dmarc=none;
 dkim=none; arc=none
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=live.com; s=selector1; 
 h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck;
 bh=NhckPZdVOf9ea62ahzR2RYPnjAosJIxoquLYilZEoe0=;
 b=OPb6fE9fXOnLom+rMHT/fYv0O1+iWGE14OYzMYf7yfdv3vFgJrE6IUXw/w2ioswL0aQr30y9e6ulZdPGXqlvwyISchuZCXUPSNRzQ6EqK2r8Sn2FqBlkJXnTb2j84bMJJyxfsliuSceGDX2C3k+EiQ3gtjotkhiYimh3ZhmSc80WRzEv58jWXV0G4XIpPCsvl7sbNIiYuJuH/zzOgCVoNslDCjvqmkUZNoEOc+U7/9OJuZYhYziWipML8DHvLooOOPKHrtTQtf38rmnhlD647RjjKv4OS7wtKKdqRF4ooz1xTlI/fOI9NNhYszgGgT4MYxx+ajmV0v2as7uUL8C+dg==
Original-Received: from AM7EUR06FT059.eop-eur06.prod.protection.outlook.com
 (2a01:111:e400:fc36::4d) by
 AM7EUR06HT055.eop-eur06.prod.protection.outlook.com (2a01:111:e400:fc36::492)
 with Microsoft SMTP Server (version=TLS1_2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3721.20; Thu, 31 Dec
 2020 17:28:07 +0000
Original-Received: from AM0PR06MB6577.eurprd06.prod.outlook.com
 (2a01:111:e400:fc36::50) by AM7EUR06FT059.mail.protection.outlook.com
 (2a01:111:e400:fc36::124) with Microsoft SMTP Server (version=TLS1_2,
 cipher=TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384) id 15.20.3721.20 via Frontend
 Transport; Thu, 31 Dec 2020 17:28:07 +0000
Original-Received: from AM0PR06MB6577.eurprd06.prod.outlook.com
 ([fe80::9487:8c7d:da00:4993]) by AM0PR06MB6577.eurprd06.prod.outlook.com
 ([fe80::9487:8c7d:da00:4993%7]) with mapi id 15.20.3700.031; Thu, 31 Dec 2020
 17:28:07 +0000
Thread-Topic: Docs for &optional and &rest arguments together
Thread-Index: AQHW3eY5w8c4C21GEEWOLQaTEmz/fKoQo1NHgAA1euaAADr9AIAAWTKAgAAL0sM=
In-Reply-To: <ac2d2cf0-db77-45e3-bc13-489bfd8c8a4b@default>
Accept-Language: sv-SE, en-US
Content-Language: sv-SE
x-incomingtopheadermarker: OriginalChecksum:DB5D8F60887970351C46DEFF9B9FAF383BDB954F8F6896240446DA71E1BA9E0C;
 UpperCasedChecksum:C0CAFAB8801A5C7B3C82BAA24CE9A3AB6308FD9E22E27D0B5F6E9278CD451D93;
 SizeAsReceived:7268; Count:44
x-ms-exchange-messagesentrepresentingtype: 1
x-tmn: [MAxdj4X3kc8K3AChT6bSuBZN4xFg+Chx]
x-ms-publictraffictype: Email
x-incomingheadercount: 44
x-eopattributedmessage: 0
x-ms-office365-filtering-correlation-id: 56d912a3-d730-455c-2eb8-08d8adb1704d
x-ms-traffictypediagnostic: AM7EUR06HT055:
x-microsoft-antispam: BCL:0;
x-microsoft-antispam-message-info: ply+kacMEtcpehopHIa4PoTpg11WPtTlyfakPSANYTxck0Jh7Gwp5lOh8/1iNm7G0f58/YD9I9IZHrLFa6PqP7+eiSsMExDXVkQ+W9d+QBLQ1ho/qrUug4eOneI2rJhiNJ+xxPkTT0RHrQJPHuS5f3xRdBE76/XyRs43vzNt9wjXYvekWihlWnOA9EqmZr6wp7JOxHs7TqLnYM/nYiD4k+o1RUaFYxHtc9DQVUbMe5XWAocR6eHR2cpalAicPk0NEmqMaD+wcxwE5GNYjWFy3UNvbG66q4wB+cGf4Qqc6Xk=
x-ms-exchange-antispam-messagedata: m5m9dGHv1qmASE4/xKqwUZ1BfQoSC01DQBGGjmKMigEg4n9SwThHkir+hFUBEVxmApTUqZ2puyExgvviTGTvK0djSONpishcRu+lpNa1h0jFR1sXowMzqhW1oP0vzwzogBlX94Q0bexBqgdH12yoXg==
x-ms-exchange-transport-forked: True
X-OriginatorOrg: live.com
X-MS-Exchange-CrossTenant-AuthAs: Anonymous
X-MS-Exchange-CrossTenant-AuthSource: AM7EUR06FT059.eop-eur06.prod.protection.outlook.com
X-MS-Exchange-CrossTenant-RMS-PersistedConsumerOrg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-CrossTenant-Network-Message-Id: 56d912a3-d730-455c-2eb8-08d8adb1704d
X-MS-Exchange-CrossTenant-originalarrivaltime: 31 Dec 2020 17:28:07.7260 (UTC)
X-MS-Exchange-CrossTenant-fromentityheader: Internet
X-MS-Exchange-CrossTenant-id: 84df9e7f-e9f6-40af-b435-aaaaaaaaaaaa
X-MS-Exchange-CrossTenant-rms-persistedconsumerorg: 00000000-0000-0000-0000-000000000000
X-MS-Exchange-Transport-CrossTenantHeadersStamped: AM7EUR06HT055
Received-SPF: pass client-ip=40.92.17.92; envelope-from=arthur.miller@live.com;
 helo=EUR06-VI1-obe.outbound.protection.outlook.com
X-Spam_score_int: 0
X-Spam_score: -0.1
X-Spam_bar: /
X-Spam_report: (-0.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001,
 HTML_MESSAGE=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001,
 SPF_HELO_PASS=-0.001, SPF_PASS=-0.001,
 URI_DOTEDU=1.997 autolearn=no autolearn_force=no
X-Spam_action: no action
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/emacs-devel>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
 <mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org
Original-Sender: "Emacs-devel"
 <emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org>
Xref: news.gmane.io gmane.emacs.devel:262186
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/262186>

--_000_AM0PR06MB6577B7DEE2DE5A00D2E3166E96D60AM0PR06MB6577eurp_
Content-Type: text/plain; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

The CL link is not documentation, it is an essay, entire novel :-). But int=
erestingly, that do not touch on that case either . I have glanced through =
though, maybe I am missing it.


-------- Originalmeddelande --------
Fr=E5n: Drew Adams <drew.adams@oracle.com>
Datum: 2020-12-31 17:48 (GMT+01:00)
Till: tomas@tuxteam.de, emacs-devel@gnu.org
=C4mne: RE: Docs for &optional and &rest arguments together

> > I don't read it says both c and d are required
> > when &rest is also used.
>
> You just have to squint the other way .-)
> They are not "required". They are provided -- in the call. It's just
> that c is served first, d next, and all the rest (if any) goes to e:

If someone finds the Elisp doc about lambda lists,
I recommend consulting the Common Lisp doc (CLTL2)
about it.  Common Lisp lambda lists allow more stuff
(&keys, &aux etc.), but for the things that Elisp
has (&optional, &rest) the behavior is the same.

The language in CLTL2 is quite precise.  It too
merits being read carefully, but I think it spells
things out quite clearly.

This is the section about lambda lists, which covers
&optional and &rest:

https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node64.html#SECTION009220000=
00000000000

With that, plus the Elisp doc, plus this thread,
I think things will become more clear.  HTH.


--_000_AM0PR06MB6577B7DEE2DE5A00D2E3166E96D60AM0PR06MB6577eurp_
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-=
1">
<meta name=3D"Generator" content=3D"Microsoft Exchange Server">
<!-- converted from text --><style><!-- .EmailQuote { margin-left: 1pt; pad=
ding-left: 4pt; border-left: #800000 2px solid; } --></style>
</head>
<body>
<div dir=3D"auto">The CL link is not documentation, it is an essay, entire =
novel :-). But interestingly, that do not touch on that case either . I hav=
e glanced through though, maybe I am missing it.
<div><br>
</div>
<div><br>
</div>
<div>-------- Originalmeddelande --------</div>
<div>Fr=E5n: Drew Adams &lt;drew.adams@oracle.com&gt; </div>
<div>Datum: 2020-12-31 17:48 (GMT+01:00) </div>
<div>Till: tomas@tuxteam.de, emacs-devel@gnu.org </div>
<div>=C4mne: RE: Docs for &amp;optional and &amp;rest arguments together </=
div>
<div><br>
</div>
</div>
<font size=3D"2"><span style=3D"font-size:11pt;">
<div class=3D"PlainText">&gt; &gt; I don't read it says both c and d are re=
quired<br>
&gt; &gt; when &amp;rest is also used.<br>
&gt; <br>
&gt; You just have to squint the other way .-)<br>
&gt; They are not &quot;required&quot;. They are provided -- in the call. I=
t's just<br>
&gt; that c is served first, d next, and all the rest (if any) goes to e:<b=
r>
<br>
If someone finds the Elisp doc about lambda lists,<br>
I recommend consulting the Common Lisp doc (CLTL2)<br>
about it.&nbsp; Common Lisp lambda lists allow more stuff<br>
(&amp;keys, &amp;aux etc.), but for the things that Elisp<br>
has (&amp;optional, &amp;rest) the behavior is the same.<br>
<br>
The language in CLTL2 is quite precise.&nbsp; It too<br>
merits being read carefully, but I think it spells<br>
things out quite clearly.<br>
<br>
This is the section about lambda lists, which covers<br>
&amp;optional and &amp;rest:<br>
<br>
<a href=3D"https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node64.html#SECTI=
ON00922000000000000000">https://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node=
64.html#SECTION00922000000000000000</a><br>
<br>
With that, plus the Elisp doc, plus this thread,<br>
I think things will become more clear.&nbsp; HTH.<br>
<br>
</div>
</span></font>
</body>
</html>

--_000_AM0PR06MB6577B7DEE2DE5A00D2E3166E96D60AM0PR06MB6577eurp_--