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 <<a href=3D"mailto:arne_bab@web.de">a= rne_bab@web.de</a>> 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 <<a href=3D"mailto:ludo@gnu.org" target=3D"_blank">= ludo@gnu.org</a>> writes:<br> > I have the pleasure to inform you that I have finally pushed this!=C2= =A0 :-)<br> ><br> > Apologies for taking so long, and thank you for being patient.<br> <br> Thank you for reviewing and pushing it!<br> <br> > Some of the suggestions I made earlier=C2=B9 were still not implemente= d<br> > though:<br> ><br> >=C2=A0 =C2=A01. Using uninterned symbols rather than UUIDs.<br> ><br> >=C2=A0 =C2=A02. Using a record type for lines instead of tuples.<br> ><br> >=C2=A0 =C2=A03. Avoiding source properties.<br> ><br> > I took the liberty to implement #1 in commit<br> > 27feb2bfd38087cf03989673da0fc74ed795307d.=C2=A0 Tests pass but please = let me<br> > 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> > It=E2=80=99d be great if you could look at #2 and #3 along the lines o= f what I<br> > suggested earlier.=C2=A0 This time we should be able to move forward m= ore<br> > 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--