From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Dr. Arne Babenhauserheide" Newsgroups: gmane.lisp.guile.devel Subject: Re: Adding the doctests module to guile-lib or guile? Date: Sun, 24 Nov 2024 00:02:02 +0100 Message-ID: <8734jhd05x.fsf@web.de> References: <87v8445bt8.fsf@web.de> <87plnzusj8.fsf@web.de> Mime-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="24911"; mail-complaints-to="usenet@ciao.gmane.io" To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Sun Nov 24 00:02:38 2024 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 1tEz9C-0006Ip-0Y for guile-devel@m.gmane-mx.org; Sun, 24 Nov 2024 00:02:38 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1tEz8o-0001mx-Bh; Sat, 23 Nov 2024 18:02:14 -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 1tEz8l-0001mT-3J for guile-devel@gnu.org; Sat, 23 Nov 2024 18:02:11 -0500 Original-Received: from mout.web.de ([212.227.15.4]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1tEz8j-0005iL-9u for guile-devel@gnu.org; Sat, 23 Nov 2024 18:02:10 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=web.de; s=s29768273; t=1732402925; x=1733007725; i=arne_bab@web.de; bh=Q0Ot2dRhKSCcWaeT8ecKwEDj9/GFDrxz64t9uSJedMo=; h=X-UI-Sender-Class:From:To:Subject:In-Reply-To:References:Date: Message-ID:MIME-Version:Content-Type:cc:content-transfer-encoding: content-type:date:from:message-id:mime-version:reply-to:subject: to; b=Lqfoc32tvdkcwbTw/CYMCBzpLSFasivg2m2LBZWZWbmubEy1w5Mn051gD9OfJM2/ gL8BFQ2Gvihesm5KP29l+V3JuaCFeip+oRaTbpPijUtGOxQ/78wwVVs+XHSqnraAX S90eI15LHMMlsYSS71y5O3ZtqCdYFgGjoP4BEA57nfsTsUAJSA4DAbvNMlXMTH/1i Ke3QSDuK5AAS9KN1H6FUGiGpSJ5kbDnTZ7njO8zLI16QX2JjkESOUx93zbyAxTHos 54hj8AHr5zX3dVztl9lEvEBApEdUP+M1TgngwEQxTIn1Zdx2GFo8bu3TuMfxZ55l5 FfwscN7rQ2RLFLV92Q== X-UI-Sender-Class: 814a7b36-bfc1-4dae-8640-3722d8ec6cd6 Original-Received: from fluss ([84.165.21.171]) by smtp.web.de (mrweb005 [213.165.67.108]) with ESMTPSA (Nemesis) id 1Mtgyp-1tZf9O1WHv-00sCKt; Sun, 24 Nov 2024 00:02:05 +0100 In-Reply-To: <87plnzusj8.fsf@web.de> (Arne Babenhauserheide's message of "Thu, 17 Oct 2024 08:56:11 +0200") X-Provags-ID: V03:K1:mxvNe5HFOspVUDoHw6aTV+GG1rBSb5xVGhi/gYeS89YoqhKfjNP XVHA3yDhpZaMWkIbJzlXngdXQ8DfNA2pHPi1jlZWEYNYOnAuWpICh+Q2qECl1+MtVoZQwFV Cdvf5rKF9wIwBbjxBuiXoqZ4DQWFWJH7dlALUGBwPAV9k88nE2FZOqS8cnZ0nrFBPkLKDEI eh/n172KsAllKnSQFJR8g== UI-OutboundReport: notjunk:1;M01:P0:Jr3eF9Sq7qM=;tjDnEcHLpiNoj94Qs2mITnYv8rk GPeXZG5Ri3g3a9N8Xub7XQk+ATYcvDdD+uNXG02xR/j7ZSIhAiQNqDrqe4LOY8Eq9kDG9G5xD x4fX8tGIMWNAhJeyVC/M8Ac6phAvkwI4IXvnDAM3fe0Ea9Ju3rr3S+bBN8zRWAPQeeBAcv77k EyDV1oRuCGrzz2QAbBzJry2dk2Z10eZgMUDOqApJMRBdSEKvxcyaP6sSV9AzCVxkvIUGaGngV IyDjbRI/QRhuV2MkDSoqg90O2EboHjAN3NmgBg+ZKPzACdZ8MxHHp3yJZN48SUT9OXoKIPu+c eNOwOJgz6BWs2xBxOwl4aX0SdBq3nsoUB+QrAnyAU25XEv+/UAnTGrsza0Y+3dxjwNv7C55F+ ZaQxiaLreVbanR5+gMVY2pJNvSApz+9eJ5ooQmSD1za5JjsyBjsx4Xc00yaydt/sE92ZcqULQ pzzt8vOY9HWzJTHV29/UV6TbLM603Ims6QRsP36jJYAQp2exODu0bijJ5fimmyuM1emhGqXFR lVjkCeWI2hbhp7hzFdnnU8jRUfi8rD+xpZaid/X1ic0wKQJfac2VN2nyzdqEkJf/0V/CXcHDy 142SAoPQorhzIPK3S9dTPIzm8KsJolLSNhAT3Pb/svB2D0axmKGvuxkBoedASPJAJsfc13Oho MCM1KKf2wKfwh5CQdXZeuUkEhOGPjCtyYIeEsnRyeAwGonNjK8bs4Q/tmmSUbVAswvMbTZ2dH n/+BpP3VL5AbGfMeWl84KLCv82niEIWffuHtpfwPEmrjZcUTFsLEdW8V9W54Kz+pGzdooAGk Received-SPF: pass client-ip=212.227.15.4; envelope-from=arne_bab@web.de; helo=mout.web.de X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 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, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, RCVD_IN_VALIDITY_CERTIFIED_BLOCKED=0.001, RCVD_IN_VALIDITY_RPBL_BLOCKED=0.001, SPF_HELO_NONE=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:22792 Archived-At: --=-=-= Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Hi, I now went ahead and created a repository for guile-doctest. It uses (ice-9 doctests) in the hope that it can get merged into guile in the not too distant future: https://hg.sr.ht/~arnebab/guile-doctests/browse Currently it still needs proper texinfo docs. Aside from that it=E2=80=99s complete, as far as I can tell. Best wishes, Arne "Dr. Arne Babenhauserheide" writes: > Hi, > > did this question drown in other messages? Should this go > > - to guile-lib > - to guile > - elsewhere? > > My preference would be guile, because then it would be available for > everyone learning Guile Scheme and I could more easily use it in > tutorials > > Best wishes, > Arne. > > "Dr. Arne Babenhauserheide" writes: > >> Hi, >> >> I=E2=80=99ve been using my doctests implementation for years now, and it= works >> beautifully for me, so I would like to contribute it =E2=80=94 either to >> guile-lib as (tests doctest) or to guile (maybe (ice-9 doctest)?). >> >> Working code is here: >> https://hg.sr.ht/~arnebab/wisp/browse/examples/doctests.scm?rev=3Dtip >> >> >> Example usage: >> ;; https://hg.sr.ht/~arnebab/wisp/browse/examples/doctests-test.scm?rev= =3Dtip >> (define-module (examples doctests-test)) >> >> (import (examples doctests)) >> >> (define (foo) >> #((tests >> ('foo >> (test-equal "bar" (foo))))) >> "bar") >> >> (define %this-module (current-module)) >> (define (main args) >> " Testing doctests" >> #((tests ('mytest >> (test-assert #t) >> (test-assert #f)))) >> (doctests-testmod %this-module)) >> >> >> How should I go forward to contribute it (and should I)? >> >> >> Best wishes, >> Arne =2D-=20 Unpolitisch sein hei=C3=9Ft politisch sein, ohne es zu merken. draketo.de --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQJEBAEBCAAuFiEE801qEjXQSQPNItXAE++NRSQDw+sFAmdCXusQHGFybmVfYmFi QHdlYi5kZQAKCRAT741FJAPD61eWD/9QZDQzrPk6R3xYKQCDIRxOgZIOBba5F+oP f/+HK9tL1bTA4/V8j7ux7IniH3ABZuvFK5o8rKKNHB7KpOhZX2DkiYRIHtIOkRmV LgOa/3UeLrJdB15sczD5LkBt4LjxNuUC43h07a6BN4rXWlKt1g+oPcIdfyK4fCCK wAnJ60zxQmhkH74tgXwfD0LLxy2xAk7l73lYuv4qyGX0feJ0vliODQhEPZV6Aub2 4XvudXkS46fWMSc6ggKe47yudfcTzOExPvV6AdbS7MdT5GTCCDdmRFHCLen7+fo3 q+NnhiRe0LdIRWTOtp2LwT/0tGJwsgYFVn0jYZiF4crYW1ELoDIBan2IJPDJ/Cgk ZFF6ffkCJ4GacTIjjXDhA02Pr0EdLr7je1BIkObjPZ2v2FRPX7SsBnWO7sjMCqMB enTWJRkTbZizKswK+DlqX2I2c+t1BgEjblcaMHHp7ibahmPCXn9+D1DrE1qSo2sK +0vKAizZrwn0W3fsV8a3rrpfA3LoV6kseQkEXGnOnGY1MTDae+2P7NIx2wET8FT4 1RLiHe3e5+4xI0VREzDJcpmoHKppRJXsepdLFQNTu7nQ85LwomJ69j+Hvl2Bhc7C PYANA9Lftfb0DewKq2ZeMuC9IHS0FTrps4hsWgdJx75yvNV+S2rw3+6jv0hHQLEH ceaaTMeNf4jEBAEBCAAuFiEE3Si95tmHXKvOSosd3M8NswvBBUgFAmdCXuwQHGFy bmVfYmFiQHdlYi5kZQAKCRDczw2zC8EFSCUfA/9+9aGS4k7paPCXgJVgI9e+jUno ZhX+qqU/xo2EQV7xracqq7Pn4ze7XPolfbR9aHIp+4Rd2JNNsVVtlvxFEAjs/F91 +in1qvupF1lPNhG064Mq5eNfgBt54AfFqSYHzpUL1m/GoAm7afUBS9zV/mzDgqiQ tHTQSKWfwJRyMyks3g== =dVOd -----END PGP SIGNATURE----- --=-=-=--