From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail
From: Damien Mattei <damien.mattei@gmail.com>
Newsgroups: gmane.lisp.guile.devel
Subject: Re: [PATCH] add SRFI-119 / language/wisp to Guile? (new patch with
 more tests, squashed)
Date: Fri, 7 Jun 2024 07:44:55 +0200
Message-ID: <CADEOadd-B+GfYj8bDsc_nMjm+HkVsms+_rDx52pLYHU_9YOHeQ@mail.gmail.com>
References: <87h6w2fkz8.fsf@web.de> <87ttzc7gwa.fsf@gnu.org>
 <1e0d07bc-dcf8-fe56-7f16-a72e5df0c20d@telenet.be> <875ybr2hk9.fsf@gnu.org>
 <87v8jrdmk5.fsf@web.de> <87jzzr7cba.fsf@web.de> <87v8hc8i8v.fsf@web.de>
 <87legrs23a.fsf@gnu.org> <209e68fd-b010-8213-6c9b-a0d1b8f0f72c@telenet.be>
 <87o7jf2slw.fsf@web.de> <875y5h8j04.fsf@web.de> <87il9ctzhl.fsf@gnu.org>
 <875y5cdyvt.fsf@web.de> <87sf7omuag.fsf@web.de> <877co1jgww.fsf@web.de>
 <875y3egjtd.fsf@web.de> <87sf5v67k5.fsf@web.de> <87mstf9e67.fsf@web.de>
 <87bk9h67up.fsf@web.de> <87cys1qq89.fsf@web.de> <875xutq922.fsf@gnu.org>
 <87le3oog7u.fsf@web.de>
Mime-Version: 1.0
Content-Type: multipart/alternative; boundary="000000000000453c83061a464db3"
Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214";
	logging-data="35785"; mail-complaints-to="usenet@ciao.gmane.io"
Cc: guile-devel@gnu.org
To: "Dr. Arne Babenhauserheide" <arne_bab@web.de>
Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Fri Jun 07 07:45:54 2024
Return-path: <guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org>
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 <guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org>)
	id 1sFSQD-00097d-90
	for guile-devel@m.gmane-mx.org; Fri, 07 Jun 2024 07:45:53 +0200
Original-Received: from localhost ([::1] helo=lists1p.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.90_1)
	(envelope-from <guile-devel-bounces@gnu.org>)
	id 1sFSPe-0001pB-Of; Fri, 07 Jun 2024 01:45:18 -0400
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 <damien.mattei@gmail.com>)
 id 1sFSPY-0001oW-C1
 for guile-devel@gnu.org; Fri, 07 Jun 2024 01:45:14 -0400
Original-Received: from mail-qk1-x72c.google.com ([2607:f8b0:4864:20::72c])
 by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.90_1) (envelope-from <damien.mattei@gmail.com>)
 id 1sFSPU-00018r-8Z
 for guile-devel@gnu.org; Fri, 07 Jun 2024 01:45:11 -0400
Original-Received: by mail-qk1-x72c.google.com with SMTP id
 af79cd13be357-79543e08eecso15323685a.1
 for <guile-devel@gnu.org>; Thu, 06 Jun 2024 22:45:07 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=gmail.com; s=20230601; t=1717739107; x=1718343907; darn=gnu.org;
 h=cc:to:subject:message-id:date:from:in-reply-to:references
 :mime-version:from:to:cc:subject:date:message-id:reply-to;
 bh=8fCWCfRKmnET8wV/2VIAbUN2U5sk9FzLZgP7v89ctcE=;
 b=nYjFTlUMtBasZBJNSjLK3ldE+hY2wtMy7QZhoRQtnc4/Sz1S3JVlBEOXo9Eqrl8yIv
 HBRRPGpNhtBy6BMUZLibtrBGU0zCBE24lyyiW2d/pjGNazirZTnG/TRQKlLSAVoaSp4g
 uY43UTa5tvFXAQWkP6tbJ+ptySkL2NSqRMiD7QnvrW/9yP/KCB3tIovnfP0yNNFPUD/B
 9eyujjcwwDJFvreNdGwa2g8j8bJECedIFbldVwzp8/S9c2RfQV60IzWUWGRFFeQDdJAW
 re1sgvFfHRli4nTeM84P4mQSGujBQipIYTriAb1dC5+Yk2DrgyX1TZ/sAP20iChJ9FGc
 N4qg==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20230601; t=1717739107; x=1718343907;
 h=cc:to:subject:message-id:date:from:in-reply-to:references
 :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id
 :reply-to;
 bh=8fCWCfRKmnET8wV/2VIAbUN2U5sk9FzLZgP7v89ctcE=;
 b=FeeGHRj4Kvi9EV9y2XgKENxg1tvdqEzmtMFvYDh3uYJoHORXgXzZibSm3b+GUO4kiJ
 Ze53c0GhJt06dyKe8zzVxieurTAjtGw5V9IAlzArvsGXaqNGU02UN2PlRSE+vosegdiG
 WX4Xq9d3zNmP2r5r8+jQvEV42ilKONQP0lm7pUVmWVaINFzPCiTTzmdvLBk/QRqmZ4IG
 Tin1FRi2Wps8pPDYAVPhZFWMKaDVwNx2q3W0aNTqEHR+Vitbxt7jELKvpXWxp6pOO0L3
 VIxxVqGWLUkAAbuohmDVdeVfTZZzywrDVnwWReAaUBhN2TuIEd1qkLQLTlSH0bxXe++m
 qCPQ==
X-Gm-Message-State: AOJu0YytgUsPf1v8tlcHNvDR5E6258IF0pTveAkzQMy4Z88ZPPIbd9i4
 pxdbtJD7pTjIFj4PH4CbHkWzWX8E+eK/Y9/HTMzoQa94f9gXVq+6TgGuVrnnV7ZYjczGWR/ViUz
 +rmSjjGB+E5axHsTFUsEs/rpNhc0=
X-Google-Smtp-Source: AGHT+IFsxJ6pdK5yeNUYMfXMbr6srY0B5lDlJvxaP1krah64x5rpfvsF8m4f0NLWOuy++2EVYeV1XYEZVLtBFO9eHw0=
X-Received: by 2002:a05:620a:9c4:b0:795:230c:36ec with SMTP id
 af79cd13be357-7953c43b152mr118395185a.18.1717739106674; Thu, 06 Jun 2024
 22:45:06 -0700 (PDT)
In-Reply-To: <87le3oog7u.fsf@web.de>
Received-SPF: pass client-ip=2607:f8b0:4864:20::72c;
 envelope-from=damien.mattei@gmail.com; helo=mail-qk1-x72c.google.com
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.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, SPF_HELO_NONE=0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 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" <guile-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/guile-devel>,
 <mailto:guile-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/guile-devel>
List-Post: <mailto:guile-devel@gnu.org>
List-Help: <mailto:guile-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/guile-devel>,
 <mailto:guile-devel-request@gnu.org?subject=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:22432
Archived-At: <http://permalink.gmane.org/gmane.lisp.guile.devel/22432>

--000000000000453c83061a464db3
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Hello,

where is the doc of Wisp? i did not yet install it, as i understand it will
be included in next release of Guile?

what is the exact meaning of : and . ?
any simple examples?

regards,
Damien

On Sat, Jun 1, 2024 at 5:07=E2=80=AFPM Dr. Arne Babenhauserheide <arne_bab@=
web.de>
wrote:

> Hi Ludo=E2=80=99,
>
> Ludovic Court=C3=A8s <ludo@gnu.org> writes:
> > I have the pleasure to inform you that I have finally pushed this!  :-)
> >
> > Apologies for taking so long, and thank you for being patient.
>
> Thank you for reviewing and pushing it!
>
> > Some of the suggestions I made earlier=C2=B9 were still not implemented
> > though:
> >
> >   1. Using uninterned symbols rather than UUIDs.
> >
> >   2. Using a record type for lines instead of tuples.
> >
> >   3. Avoiding source properties.
> >
> > I took the liberty to implement #1 in commit
> > 27feb2bfd38087cf03989673da0fc74ed795307d.  Tests pass but please let me
> > know if you notice something wrong!
>
> Wow, you got it working!
>
> I tried repeatedly and didn=E2=80=99t manage (always failed on edge-cases=
).
>
> Creating the =CE=BB inside the match looks pretty readable.
>
> Thank you!
>
> > It=E2=80=99d be great if you could look at #2 and #3 along the lines of=
 what I
> > suggested earlier.  This time we should be able to move forward more
> > quickly.  :-)
>
> I=E2=80=99ll look into them again.
>
> It=E2=80=99s great to be moving forward!
>
> Thank you!
>
> - Arne
> --
> Unpolitisch sein
> hei=C3=9Ft politisch sein,
> ohne es zu merken.
> draketo.de
>

--000000000000453c83061a464db3
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr"><div dir=3D"ltr"><div class=3D"gmail_default" style=3D"fon=
t-size:large">Hello,</div><div class=3D"gmail_default" style=3D"font-size:l=
arge"><br></div><div class=3D"gmail_default" style=3D"font-size:large">wher=
e is the doc of Wisp? i did not yet install it, as i understand it will be =
included in next release of Guile? <br></div><div class=3D"gmail_default" s=
tyle=3D"font-size:large"><br></div><div class=3D"gmail_default" style=3D"fo=
nt-size:large">what is the exact meaning of : and . ?</div><div class=3D"gm=
ail_default" style=3D"font-size:large">any simple examples?</div><div class=
=3D"gmail_default" style=3D"font-size:large"><br></div><div class=3D"gmail_=
default" style=3D"font-size:large">regards,<br></div></div><div style=3D"fo=
nt-size:large" class=3D"gmail_default">Damien</div><br><div class=3D"gmail_=
quote"><div dir=3D"ltr" class=3D"gmail_attr">On Sat, Jun 1, 2024 at 5:07=E2=
=80=AFPM Dr. Arne Babenhauserheide &lt;<a href=3D"mailto:arne_bab@web.de">a=
rne_bab@web.de</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" st=
yle=3D"margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padd=
ing-left:1ex">Hi Ludo=E2=80=99,<br>
<br>
Ludovic Court=C3=A8s &lt;<a href=3D"mailto:ludo@gnu.org" target=3D"_blank">=
ludo@gnu.org</a>&gt; writes:<br>
&gt; I have the pleasure to inform you that I have finally pushed this!=C2=
=A0 :-)<br>
&gt;<br>
&gt; Apologies for taking so long, and thank you for being patient.<br>
<br>
Thank you for reviewing and pushing it!<br>
<br>
&gt; Some of the suggestions I made earlier=C2=B9 were still not implemente=
d<br>
&gt; though:<br>
&gt;<br>
&gt;=C2=A0 =C2=A01. Using uninterned symbols rather than UUIDs.<br>
&gt;<br>
&gt;=C2=A0 =C2=A02. Using a record type for lines instead of tuples.<br>
&gt;<br>
&gt;=C2=A0 =C2=A03. Avoiding source properties.<br>
&gt;<br>
&gt; I took the liberty to implement #1 in commit<br>
&gt; 27feb2bfd38087cf03989673da0fc74ed795307d.=C2=A0 Tests pass but please =
let me<br>
&gt; know if you notice something wrong!<br>
<br>
Wow, you got it working!<br>
<br>
I tried repeatedly and didn=E2=80=99t manage (always failed on edge-cases).=
<br>
<br>
Creating the =CE=BB inside the match looks pretty readable.<br>
<br>
Thank you!<br>
<br>
&gt; It=E2=80=99d be great if you could look at #2 and #3 along the lines o=
f what I<br>
&gt; suggested earlier.=C2=A0 This time we should be able to move forward m=
ore<br>
&gt; quickly.=C2=A0 :-)<br>
<br>
I=E2=80=99ll look into them again.<br>
<br>
It=E2=80=99s great to be moving forward!<br>
<br>
Thank you!<br>
<br>
- Arne<br>
-- <br>
Unpolitisch sein<br>
hei=C3=9Ft politisch sein,<br>
ohne es zu merken.<br>
<a href=3D"http://draketo.de" rel=3D"noreferrer" target=3D"_blank">draketo.=
de</a><br>
</blockquote></div></div>

--000000000000453c83061a464db3--