From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maxim Cournoyer Newsgroups: gmane.lisp.guile.devel Subject: [PATCH v5 00/15] Add a few new SRFIs, R7RS libraries Date: Wed, 29 Nov 2023 16:59:28 -0500 Message-ID: <20231129220225.6819-1-maxim.cournoyer@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="13016"; mail-complaints-to="usenet@ciao.gmane.io" Cc: Maxim Cournoyer To: guile-devel@gnu.org Original-X-From: guile-devel-bounces+guile-devel=m.gmane-mx.org@gnu.org Wed Nov 29 23:04:08 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 1r8SfA-000369-Gb for guile-devel@m.gmane-mx.org; Wed, 29 Nov 2023 23:04:08 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r8Sds-00018M-0C; Wed, 29 Nov 2023 17:02:48 -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 1r8Sdq-00018E-NM for guile-devel@gnu.org; Wed, 29 Nov 2023 17:02:46 -0500 Original-Received: from mail-qv1-xf31.google.com ([2607:f8b0:4864:20::f31]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1r8Sdl-0004BR-Qp for guile-devel@gnu.org; Wed, 29 Nov 2023 17:02:45 -0500 Original-Received: by mail-qv1-xf31.google.com with SMTP id 6a1803df08f44-677fba00a49so2245256d6.1 for ; Wed, 29 Nov 2023 14:02:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1701295360; x=1701900160; darn=gnu.org; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:from:to:cc:subject:date:message-id:reply-to; bh=8R1/IECB/5dpdNFTOoTJsBtM9wkXvBwkdrTJfj6qhgw=; b=B3LOv3+cQIJiATmU6XwFVLk416GtsWn9WXGPc4wD26ZpbOkl9Vf6B1wPagRa2lb1zm 3cZAsp7b1eUxNLeA8HF1pW2JH6A4JnA1piG0F4xxDtwA1RnHuzntdNr6Judi+IzA5JTI 2ZSDMDvVc/YqbviIB/E+AzY1O30v6M5vkcjytYDVhEEUn3BKZIuTSJwxlY5w9L/XkWM3 cWW78HgWV03HQQNlvV/6uRvQmmThBy8nDqflAH6O+s9kuvTsf4Wonn/pnaI6tgXM2zy/ vM8BqUg3hvuOeoD0wQ4nTjxvNt8Ek7uOWnWvkv8pGCfDwg7DpJw5d0aMELtQQuzoUuds GgeQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1701295360; x=1701900160; h=content-transfer-encoding:mime-version:message-id:date:subject:cc :to:from:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=8R1/IECB/5dpdNFTOoTJsBtM9wkXvBwkdrTJfj6qhgw=; b=YqWe+igwVPCaxqHN50l33j0yU3ETmpzXUdDvb0wGdpkZQjPWdcQ+eFh8J4JYLoEw0Z icNB0/WTzV9ZCv+KvdUCG+p70T/55p51xlFl5xIWLbbD19RvLpluyPdyZswqUB1Stm91 JwYPrYnPixa96qO1wFt0fnehNMoYKFNqXgLpsFOFDVb2VAR37fQ+nEXGwYypZE5SEjxB qpaDS/8ALZ3Btu27s/WIzfbSeXF0powKC3DgrKW34mbR3JVRGywX1O/WmeG4c031ilO5 3t2sRSonKOiUOs3hljn+1mRKV6ZyGrjU4iOpmaSY9qqQsCLcG3S0jCXk8KvkEiGsmlrZ oLdg== X-Gm-Message-State: AOJu0YzPsmVfJt/XEDKr4nG5FYnB0HMZA0J4upyCQ2EsemXWGU0mDnoJ jdH5WiL064sIlPgAcyhFwO/6vJyN4mU= X-Google-Smtp-Source: AGHT+IHZ2//RxnTgEElTgb35Hs6cXVOP7qNQCIzW5o5x9y0vYBaRd68xN4Hhd4rQ40CfOjv16t133w== X-Received: by 2002:a05:6214:c2a:b0:67a:2538:4245 with SMTP id a10-20020a0562140c2a00b0067a25384245mr34682599qvd.4.1701295359950; Wed, 29 Nov 2023 14:02:39 -0800 (PST) Original-Received: from localhost.localdomain (dsl-158-174.b2b2c.ca. [66.158.158.174]) by smtp.gmail.com with ESMTPSA id g15-20020ad4510f000000b0067a2a0b44ddsm4644444qvp.44.2023.11.29.14.02.38 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 29 Nov 2023 14:02:39 -0800 (PST) X-Mailer: git-send-email 2.41.0 Received-SPF: pass client-ip=2607:f8b0:4864:20::f31; envelope-from=maxim.cournoyer@gmail.com; helo=mail-qv1-xf31.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, 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" 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:22151 Archived-At: This series aims to add the SRFI 209 enumerators library (haven't made it there yet!). It fixes a few problems that prevented using the corresponding R7RS upstream libraries as-is on the way. Changes in v5: - Generate Texinfo menu entries - Update NEWS Changes in v4: - Mention Expat license of SRFI 126 in guile.tex copying section - Fix invalid module references (e.g. (srfi 69) -> (srfi srfi-69)) - Use .sld for srfi-128 library file extension - Mention Expat license of SRFI 128 in guile.tex copying section - Add copyright line in srfi-modules.texi - Mention Expat license of SRFI 125 in guile.tex copying section - Rename srfi-125.scm to srfi-125.sld and use upstream copy - Streamline import of (srfi srfi-125) - Use R7RS 'import' for srfi-125-test.scm - Mention Expat license of SRFI 151 in guile.tex copying section - Update copyright line for John Cowan in srfi-modules.texi - Rename srfi/srfi-151.scm to srfi/srfi-151.sld Changes in v3: - Rename SRFI-126 to SRFI 126 in text - Rename SRFI-128 to SRFI 128 in text - Replace srfi-128.scm with upstream srfi/128.sld - Add menu entries. - Rename SRFI-125 to SRFI 125 in text - Rename included file to upstream name (125.body.scm) - Add copyright/license header 125.body.scm - Add SRFI 151 Changes in v2: - Remove extraneous (ice-9 hash-table) import - Rename SRFI-69 to SRFI 69, SRFI-125 to SRFI 125 in text - Remove string-hash and symbol-hash from exports (they are already listed in #:rename) Maxim Cournoyer (14): ice-9: Fix 'include' when used in compilation contexts. r7rs-libraries: Add support for 'else' clause in cond-expand. r7rs-libraries: Better support R7RS SRFI library names. (scheme base): Support non-negative SRFI integer names in cond-expand. Share features tested by cond-expand library declarations and expressions. build: Register '.sld' as an alternative extension to '.scm'. module: Add SRFI 126. module: Add SRFI 128. module: Add (scheme comparator). module: Add (scheme sort). module: Add SRFI 125. module: Add SRFI 151. module: Add SRFI 160. module: Add SRFI 178. Timothy Sample (1): Use R7RS 'rename' syntax for exports. .gitignore | 1 + NEWS | 19 + am/bootstrap.am | 73 +- configure.ac | 7 +- doc/ref/guile.texi | 25 +- doc/ref/srfi-modules.texi | 3820 ++++++++++++++++- libguile/fports.c | 41 +- module/ice-9/boot-9.scm | 123 +- module/ice-9/endianness.scm.in | 1 + module/ice-9/psyntax.scm | 8 +- module/ice-9/r6rs-libraries.scm | 88 +- module/ice-9/r7rs-libraries.scm | 68 +- module/scheme/base.scm | 15 +- module/scheme/comparator.sld | 33 + module/scheme/features.scm | 44 + module/scheme/sort.sld | 21 + module/srfi/srfi-125.sld | 96 + module/srfi/srfi-125/125.body.scm | 589 +++ module/srfi/srfi-126.scm | 396 ++ module/srfi/srfi-128.sld | 61 + module/srfi/srfi-128/128.body1.scm | 361 ++ module/srfi/srfi-128/128.body2.scm | 146 + module/srfi/srfi-151.sld | 56 + module/srfi/srfi-151/bitwise-33.scm | 108 + module/srfi/srfi-151/bitwise-60.scm | 70 + module/srfi/srfi-151/bitwise-other.scm | 62 + module/srfi/srfi-160/base.sld | 67 + .../srfi/srfi-160/base/c128-vector2list.scm | 18 + module/srfi/srfi-160/base/c64-vector2list.scm | 18 + module/srfi/srfi-160/base/complex.scm | 111 + module/srfi/srfi-160/base/f32-vector2list.scm | 18 + module/srfi/srfi-160/base/f64-vector2list.scm | 18 + module/srfi/srfi-160/base/r7rec.scm | 11 + module/srfi/srfi-160/base/s16-vector2list.scm | 18 + module/srfi/srfi-160/base/s32-vector2list.scm | 18 + module/srfi/srfi-160/base/s64-vector2list.scm | 18 + module/srfi/srfi-160/base/s8-vector2list.scm | 18 + module/srfi/srfi-160/base/u16-vector2list.scm | 18 + module/srfi/srfi-160/base/u32-vector2list.scm | 18 + module/srfi/srfi-160/base/u64-vector2list.scm | 18 + module/srfi/srfi-160/base/u8-vector2list.scm | 18 + module/srfi/srfi-160/base/valid.scm | 26 + module/srfi/srfi-160/c128-impl.scm | 600 +++ module/srfi/srfi-160/c128.sld | 48 + module/srfi/srfi-160/c64-impl.scm | 600 +++ module/srfi/srfi-160/c64.sld | 48 + module/srfi/srfi-160/f32-impl.scm | 600 +++ module/srfi/srfi-160/f32.sld | 48 + module/srfi/srfi-160/f64-impl.scm | 600 +++ module/srfi/srfi-160/f64.sld | 48 + module/srfi/srfi-160/s16-impl.scm | 600 +++ module/srfi/srfi-160/s16.sld | 48 + module/srfi/srfi-160/s32-impl.scm | 600 +++ module/srfi/srfi-160/s32.sld | 48 + module/srfi/srfi-160/s64-impl.scm | 600 +++ module/srfi/srfi-160/s64.sld | 48 + module/srfi/srfi-160/s8-impl.scm | 600 +++ module/srfi/srfi-160/s8.sld | 48 + module/srfi/srfi-160/u16-impl.scm | 600 +++ module/srfi/srfi-160/u16.sld | 48 + module/srfi/srfi-160/u32-impl.scm | 600 +++ module/srfi/srfi-160/u32.sld | 48 + module/srfi/srfi-160/u64-impl.scm | 600 +++ module/srfi/srfi-160/u64.sld | 48 + module/srfi/srfi-160/u8-impl.scm | 600 +++ module/srfi/srfi-160/u8.sld | 48 + module/srfi/srfi-178.sld | 105 + module/srfi/srfi-178/convert.scm | 83 + module/srfi/srfi-178/fields.scm | 88 + module/srfi/srfi-178/gen-acc.scm | 25 + module/srfi/srfi-178/logic-ops.scm | 105 + module/srfi/srfi-178/macros.scm | 26 + module/srfi/srfi-178/map2list.scm | 27 + module/srfi/srfi-178/quasi-ints.scm | 54 + module/srfi/srfi-178/quasi-strs.scm | 88 + module/srfi/srfi-178/unfolds.scm | 44 + module/srfi/srfi-178/wrappers.scm | 285 ++ test-suite/Makefile.am | 23 + test-suite/tests/r7rs-cond-expand.test | 35 + test-suite/tests/rnrs-libraries.test | 12 +- test-suite/tests/srfi-125-test.scm | 890 ++++ test-suite/tests/srfi-125.test | 45 + test-suite/tests/srfi-126-test.scm | 289 ++ test-suite/tests/srfi-126.test | 49 + test-suite/tests/srfi-128-test.scm | 321 ++ test-suite/tests/srfi-128.test | 47 + test-suite/tests/srfi-151-test.scm | 381 ++ test-suite/tests/srfi-151.test | 46 + test-suite/tests/srfi-160-base-test.scm | 167 + test-suite/tests/srfi-160-base.test | 47 + test-suite/tests/srfi-160-test.scm | 262 ++ test-suite/tests/srfi-160.test | 48 + .../tests/srfi-178-test/constructors.scm | 88 + .../tests/srfi-178-test/conversions.scm | 108 + test-suite/tests/srfi-178-test/fields.scm | 98 + test-suite/tests/srfi-178-test/gen-accum.scm | 72 + test-suite/tests/srfi-178-test/iterators.scm | 150 + test-suite/tests/srfi-178-test/logic-ops.scm | 125 + test-suite/tests/srfi-178-test/mutators.scm | 79 + test-suite/tests/srfi-178-test/quasi-ints.scm | 41 + .../tests/srfi-178-test/quasi-string.scm | 62 + test-suite/tests/srfi-178-test/selectors.scm | 13 + test-suite/tests/srfi-178.test | 147 + 103 files changed, 18989 insertions(+), 125 deletions(-) create mode 100644 module/ice-9/endianness.scm.in create mode 100644 module/scheme/comparator.sld create mode 100644 module/scheme/features.scm create mode 100644 module/scheme/sort.sld create mode 100644 module/srfi/srfi-125.sld create mode 100644 module/srfi/srfi-125/125.body.scm create mode 100644 module/srfi/srfi-126.scm create mode 100644 module/srfi/srfi-128.sld create mode 100644 module/srfi/srfi-128/128.body1.scm create mode 100644 module/srfi/srfi-128/128.body2.scm create mode 100644 module/srfi/srfi-151.sld create mode 100644 module/srfi/srfi-151/bitwise-33.scm create mode 100644 module/srfi/srfi-151/bitwise-60.scm create mode 100644 module/srfi/srfi-151/bitwise-other.scm create mode 100644 module/srfi/srfi-160/base.sld create mode 100644 module/srfi/srfi-160/base/c128-vector2list.scm create mode 100644 module/srfi/srfi-160/base/c64-vector2list.scm create mode 100644 module/srfi/srfi-160/base/complex.scm create mode 100644 module/srfi/srfi-160/base/f32-vector2list.scm create mode 100644 module/srfi/srfi-160/base/f64-vector2list.scm create mode 100644 module/srfi/srfi-160/base/r7rec.scm create mode 100644 module/srfi/srfi-160/base/s16-vector2list.scm create mode 100644 module/srfi/srfi-160/base/s32-vector2list.scm create mode 100644 module/srfi/srfi-160/base/s64-vector2list.scm create mode 100644 module/srfi/srfi-160/base/s8-vector2list.scm create mode 100644 module/srfi/srfi-160/base/u16-vector2list.scm create mode 100644 module/srfi/srfi-160/base/u32-vector2list.scm create mode 100644 module/srfi/srfi-160/base/u64-vector2list.scm create mode 100644 module/srfi/srfi-160/base/u8-vector2list.scm create mode 100644 module/srfi/srfi-160/base/valid.scm create mode 100644 module/srfi/srfi-160/c128-impl.scm create mode 100644 module/srfi/srfi-160/c128.sld create mode 100644 module/srfi/srfi-160/c64-impl.scm create mode 100644 module/srfi/srfi-160/c64.sld create mode 100644 module/srfi/srfi-160/f32-impl.scm create mode 100644 module/srfi/srfi-160/f32.sld create mode 100644 module/srfi/srfi-160/f64-impl.scm create mode 100644 module/srfi/srfi-160/f64.sld create mode 100644 module/srfi/srfi-160/s16-impl.scm create mode 100644 module/srfi/srfi-160/s16.sld create mode 100644 module/srfi/srfi-160/s32-impl.scm create mode 100644 module/srfi/srfi-160/s32.sld create mode 100644 module/srfi/srfi-160/s64-impl.scm create mode 100644 module/srfi/srfi-160/s64.sld create mode 100644 module/srfi/srfi-160/s8-impl.scm create mode 100644 module/srfi/srfi-160/s8.sld create mode 100644 module/srfi/srfi-160/u16-impl.scm create mode 100644 module/srfi/srfi-160/u16.sld create mode 100644 module/srfi/srfi-160/u32-impl.scm create mode 100644 module/srfi/srfi-160/u32.sld create mode 100644 module/srfi/srfi-160/u64-impl.scm create mode 100644 module/srfi/srfi-160/u64.sld create mode 100644 module/srfi/srfi-160/u8-impl.scm create mode 100644 module/srfi/srfi-160/u8.sld create mode 100644 module/srfi/srfi-178.sld create mode 100644 module/srfi/srfi-178/convert.scm create mode 100644 module/srfi/srfi-178/fields.scm create mode 100644 module/srfi/srfi-178/gen-acc.scm create mode 100644 module/srfi/srfi-178/logic-ops.scm create mode 100644 module/srfi/srfi-178/macros.scm create mode 100644 module/srfi/srfi-178/map2list.scm create mode 100644 module/srfi/srfi-178/quasi-ints.scm create mode 100644 module/srfi/srfi-178/quasi-strs.scm create mode 100644 module/srfi/srfi-178/unfolds.scm create mode 100644 module/srfi/srfi-178/wrappers.scm create mode 100644 test-suite/tests/r7rs-cond-expand.test create mode 100644 test-suite/tests/srfi-125-test.scm create mode 100644 test-suite/tests/srfi-125.test create mode 100644 test-suite/tests/srfi-126-test.scm create mode 100644 test-suite/tests/srfi-126.test create mode 100644 test-suite/tests/srfi-128-test.scm create mode 100644 test-suite/tests/srfi-128.test create mode 100644 test-suite/tests/srfi-151-test.scm create mode 100644 test-suite/tests/srfi-151.test create mode 100644 test-suite/tests/srfi-160-base-test.scm create mode 100644 test-suite/tests/srfi-160-base.test create mode 100644 test-suite/tests/srfi-160-test.scm create mode 100644 test-suite/tests/srfi-160.test create mode 100644 test-suite/tests/srfi-178-test/constructors.scm create mode 100644 test-suite/tests/srfi-178-test/conversions.scm create mode 100644 test-suite/tests/srfi-178-test/fields.scm create mode 100644 test-suite/tests/srfi-178-test/gen-accum.scm create mode 100644 test-suite/tests/srfi-178-test/iterators.scm create mode 100644 test-suite/tests/srfi-178-test/logic-ops.scm create mode 100644 test-suite/tests/srfi-178-test/mutators.scm create mode 100644 test-suite/tests/srfi-178-test/quasi-ints.scm create mode 100644 test-suite/tests/srfi-178-test/quasi-string.scm create mode 100644 test-suite/tests/srfi-178-test/selectors.scm create mode 100644 test-suite/tests/srfi-178.test base-commit: d8df317bafcdd9fcfebb636433c4871f2fab28b2 -- 2.41.0