From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: lloda Newsgroups: gmane.lisp.guile.devel Subject: Re: Add internal definitions to derived forms Date: Thu, 19 Jan 2023 18:54:47 +0100 Message-ID: References: <2f38c5ea-0cb6-494e-b680-70b39c3291fb@app.fastmail.com> <38A58B58-3E5C-48EA-A108-1255982789DF@sarc.name> <39109fe3-4f7f-8d07-51ba-f9f993ab5c0d@lassi.io> <8187541f-a4e0-2f26-e8b7-df7fb82bb9f0@lassi.io> <2ffeb6fa-87eb-4008-9881-91b3e71a1fc3@app.fastmail.com> Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\)) Content-Type: multipart/mixed; boundary="Apple-Mail=_AA1004FF-9569-4671-9136-312F09770C58" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="36840"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Lassi Kortela , "guile-devel@gnu.org" To: =?utf-8?Q?Linus_Bj=C3=B6rnstam?= Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Thu Jan 19 18:55:26 2023 Return-path: Envelope-to: guile-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 ) id 1pIZ8H-0009Qj-UQ for guile-devel@m.gmane-mx.org; Thu, 19 Jan 2023 18:55:25 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1pIZ7s-0000qs-7w; Thu, 19 Jan 2023 12:55:00 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pIZ7q-0000qP-5t for guile-devel@gnu.org; Thu, 19 Jan 2023 12:54:58 -0500 Original-Received: from mta-12-4.privateemail.com ([198.54.127.107]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1pIZ7m-00060U-K9 for guile-devel@gnu.org; Thu, 19 Jan 2023 12:54:56 -0500 Original-Received: from mta-12.privateemail.com (localhost [127.0.0.1]) by mta-12.privateemail.com (Postfix) with ESMTP id B04E218000AB; Thu, 19 Jan 2023 12:54:52 -0500 (EST) Original-Received: from [192.168.1.105] (unknown [51.154.167.214]) by mta-12.privateemail.com (Postfix) with ESMTPA id D36E518000AA; Thu, 19 Jan 2023 12:54:49 -0500 (EST) In-Reply-To: <2ffeb6fa-87eb-4008-9881-91b3e71a1fc3@app.fastmail.com> X-Mailer: Apple Mail (2.3608.120.23.2.7) X-Virus-Scanned: ClamAV using ClamSMTP Received-SPF: pass client-ip=198.54.127.107; envelope-from=lloda@sarc.name; helo=MTA-12-4.privateemail.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Developers list for Guile, the GNU extensibility library" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Original-Sender: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.devel:21597 Archived-At: --Apple-Mail=_AA1004FF-9569-4671-9136-312F09770C58 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii Attached a patch that applies after yours and refers to the explanation = of bodies elsewhere in the manual. Wdyt? Regards Daniel --Apple-Mail=_AA1004FF-9569-4671-9136-312F09770C58 Content-Disposition: attachment; filename=0001-Fix-doc-for-conditional-forms-taking-lambda-like-bod.patch Content-Type: application/octet-stream; x-unix-mode=0644; name="0001-Fix-doc-for-conditional-forms-taking-lambda-like-bod.patch" Content-Transfer-Encoding: quoted-printable =46rom=20bd68ff5a593b3747b1efed75ca54f2b5eeec8230=20Mon=20Sep=2017=20= 00:00:00=202001=0AFrom:=20Daniel=20Llorens=20=0ADate:=20= Thu,=2019=20Jan=202023=2016:23:29=20+0100=0ASubject:=20[PATCH]=20Fix=20= doc=20for=20conditional=20forms=20taking=20lambda-like=20bodies=0A=0A*=20= doc/ref/api-control.texi=20(Simple=20Conditional=20Evaluation):=20Use=20= 'body'=0A=20=20in=20the=20syntax=20description=20of=20when,=20unless,=20= cond,=20case.=0A---=0A=20doc/ref/api-control.texi=20|=2021=20= ++++++++++-----------=0A=201=20file=20changed,=2010=20insertions(+),=20= 11=20deletions(-)=0A=0Adiff=20--git=20a/doc/ref/api-control.texi=20= b/doc/ref/api-control.texi=0Aindex=20ece6a6020..7ad52e080=20100644=0A---=20= a/doc/ref/api-control.texi=0A+++=20b/doc/ref/api-control.texi=0A@@=20= -142,13=20+142,13=20@@=20an=20expression=20that=20is=20evaluated=20for=20= effect,=20not=20for=20value).=0A=20=0A=20In=20such=20a=20case,=20it=20is=20= considered=20more=20clear=20to=20express=20these=20intentions=0A=20with=20= these=20special=20forms,=20@code{when}=20and=20@code{unless}.=20=20As=20= an=20added=0A-bonus,=20these=20forms=20accept=20multiple=20statements=20= to=20evaluate,=20which=20are=0A-implicitly=20wrapped=20in=20a=20= @code{begin}.=0A+bonus,=20these=20forms=20take=20a=20@ref{Local=20= Bindings,lambda-like=20body},=20which=20can=0A+contain=20@ref{Internal=20= Definitions,internal=20definitions}=20and=20multiple=20statements=0A+to=20= evaluate.=0A=20=0A-@deffn=20{Scheme=20Syntax}=20when=20test=20statement1=20= statement2=20...=0A-@deffnx=20{Scheme=20Syntax}=20unless=20test=20= statement1=20statement2=20...=0A-The=20actual=20definitions=20of=20these=20= forms=20are=20in=20many=20ways=20their=20most=20clear=0A-documentation:=0A= +@deffn=20{Scheme=20Syntax}=20when=20test=20body=0A+@deffnx=20{Scheme=20= Syntax}=20unless=20test=20body=0A+The=20actual=20definitions=20of=20= these=20forms=20may=20be=20their=20most=20clear=20documentation:=0A=20=0A= =20@example=0A=20(define-syntax-rule=20(when=20test=20stmt=20stmt*=20= ...)=0A@@=20-167,11=20+167,10=20@@=20statements=20if=20@var{test}=20is=20= false.=0A=20Each=20@code{cond}-clause=20must=20look=20like=20this:=0A=20=0A= =20@lisp=0A-(@var{test}=20@var{body}=20@dots{})=0A+(@var{test}=20= @var{body})=0A=20@end=20lisp=0A=20=0A-where=20@var{test}=20is=20an=20= arbitrary=20expression=20and=20@var{body}=20is=20a=0A-lambda-like=20= body,=20or=20like=20this=0A+where=20@var{test}=20is=20an=20arbitrary=20= expression,=20or=20like=20this=0A=20=0A=20@lisp=0A=20(@var{test}=20=3D>=20= @var{expression})=0A@@=20-217,7=20+216,7=20@@=20result=20of=20the=20= @code{cond}-expression.=0A=20@var{key}=20may=20be=20any=20expression,=20= and=20the=20@var{clause}s=20must=20have=20the=20form=0A=20=0A=20@lisp=0A= -((@var{datum1}=20@dots{})=20@var{body}=20@dots{})=0A+((@var{datum1}=20= @dots{})=20@var{body})=0A=20@end=20lisp=0A=20=0A=20or=0A@@=20-229,7=20= +228,7=20@@=20or=0A=20and=20the=20last=20@var{clause}=20may=20have=20the=20= form=0A=20=0A=20@lisp=0A-(else=20@var{expr1}=20@var{body}=20@dots{})=0A= +(else=20@var{body})=0A=20@end=20lisp=0A=20=0A=20or=0A--=20=0A2.30.2=0A=0A= --Apple-Mail=_AA1004FF-9569-4671-9136-312F09770C58--