From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Taylan Kammer Newsgroups: gmane.lisp.guile.bugs Subject: bug#72370: srfi-64: test-apply requires at least one specifier Date: Mon, 30 Sep 2024 20:50:48 +0200 Message-ID: References: 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="312"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla Thunderbird To: Tomas Volf <~@wolfsden.cz>, 72370@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Mon Sep 30 20:52:59 2024 Return-path: Envelope-to: guile-bugs@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 1svLVz-000ATQ-8h for guile-bugs@m.gmane-mx.org; Mon, 30 Sep 2024 20:52:59 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1svLVX-0006MJ-Lr; Mon, 30 Sep 2024 14:52:31 -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 ) id 1svLVV-0006Lw-KN for bug-guile@gnu.org; Mon, 30 Sep 2024 14:52:29 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1svLVV-0004ih-Ae for bug-guile@gnu.org; Mon, 30 Sep 2024 14:52:29 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=debbugs.gnu.org; s=debbugs-gnu-org; h=In-Reply-To:From:References:MIME-Version:Date:To:Subject; bh=3Crpk3lRnzO4dzfCVhMuFHYDG+7alNmiYX6dXiOj2MA=; b=G/4skaSR0DvBJB3IZ4ybDvqjPkUayq6DB9u1/S0iBFvnkiKG0DsAu6zGF9FWIahjLljP8GuE/v05s1E/y9/i9c9JCgT1IQ0XMIvPI0d6YGT44Cb80lDQZRhhio/zjC8J1LCCfCkLDYP0+bsNHx67DuOiFpaLAAS9Pg2yF3UJ5HaViJxoZ+SNfWTVJ4kEfRB9G6YHRFSjbe1iDa1wN3h59ZkaOW0vVHVkMGnktLKH+YRGeSnzX7MIanzB12Q5b/GqtBKrRpvseVqTj8rFjDgQ58i3h67hR9HjZvA7VG1F5cRQFN+m53DiOSaJ6AwiYIzLPb+LW6wkCcIADJM89iSelA==; Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1svLW2-0001ka-4P for bug-guile@gnu.org; Mon, 30 Sep 2024 14:53:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Taylan Kammer Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Mon, 30 Sep 2024 18:53:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 72370 X-GNU-PR-Package: guile Original-Received: via spool by 72370-submit@debbugs.gnu.org id=B72370.17277223526710 (code B ref 72370); Mon, 30 Sep 2024 18:53:02 +0000 Original-Received: (at 72370) by debbugs.gnu.org; 30 Sep 2024 18:52:32 +0000 Original-Received: from localhost ([127.0.0.1]:46352 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svLVY-0001k9-6h for submit@debbugs.gnu.org; Mon, 30 Sep 2024 14:52:32 -0400 Original-Received: from mail-ej1-f45.google.com ([209.85.218.45]:41007) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1svLVV-0001jy-JE for 72370@debbugs.gnu.org; Mon, 30 Sep 2024 14:52:30 -0400 Original-Received: by mail-ej1-f45.google.com with SMTP id a640c23a62f3a-a8a91c8cdd5so47457766b.0 for <72370@debbugs.gnu.org>; Mon, 30 Sep 2024 11:51:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1727722251; x=1728327051; darn=debbugs.gnu.org; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id:from :to:cc:subject:date:message-id:reply-to; bh=3Crpk3lRnzO4dzfCVhMuFHYDG+7alNmiYX6dXiOj2MA=; b=S/bE+Kh/1MmpObrzbn3l7j4ARKTrNoQ77/Qf6lYTXoIuehusUZXllWt3MjVyiaKG6q Nld97TyK62cNDCipNgsRIpqYMjDA+Cf6r55m3f2vpE4Goixu+yYe++dqnGv9dkQjIRqg bMk7+dHgFiOFqus/blJc1Dvcz2maxb4+H8fBAKKY8Dv9MrVXJoQauAuqFb2Jb2FPHrS5 32lnD63+rLg8JPOFf3oAlStlDzWkWvzlk/oa7ws15a4CN2E0ZAhTLUGtucCLCky7mHp2 mDjXs4fX/e3hM5wEdDcV3YrBrv+OBIsg9eb1Oo/DoJ11Ogyb+TIDwLQMwXeLK9RtUMyA eMHg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1727722251; x=1728327051; h=content-transfer-encoding:in-reply-to:from:content-language :references:to:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=3Crpk3lRnzO4dzfCVhMuFHYDG+7alNmiYX6dXiOj2MA=; b=db/VAbJoo6waY0NQRDv0STqNIkBEduCRkx9E7glwvIPWCL6WSVVo/RSlsuEnfU2iKf YmQ5VYnFODBg0lykGmAQqUhLkBetu4Mdmo7qbFtcjy/pzBG7AVALSnKeZlyWeG5BZt5g J8QAsL7kVLETYU4oxckDELbx9lIzmJHW+l6DLiHa0NCFxMK7lixdzZrF7mRCyIlu8pqU sT5Bt/kBdzG0NYGGCfaSNGhDobAB0mm/s89pnJA0dP3lF7Txa7DdTXCA2GXz4JcsVrrs TWGJVNCQl8fosmuk1R4dlz3lGnGM6GgN6/6IkoE0hxsAMjcnGcuttMp7LWQVm+CJE9oA TGiw== X-Forwarded-Encrypted: i=1; AJvYcCVhn+/Apnuwj/rwykuxdfnJRa/nVCgAA4XRJ+kOO+gzOMUktdl94QH46Os91XXMCuDmZTv+Vg==@debbugs.gnu.org X-Gm-Message-State: AOJu0YwK+VGdFcEpbdW+HeO9Z4Y93U43cZ9MQzi3ItgX5S+eA3RGS1jh kGKj0MssnsBRJUyJDgbdqYyAqxBB8Wj7AdXw/n7Df5gYN0YlxlGS X-Google-Smtp-Source: AGHT+IEeXWQzLZsIab+g7jcuRwNVdRpqS6QYZXNGcB93XMtTJlHAqFiw/rbyNjmEx1+AgryJPi2k6w== X-Received: by 2002:a17:907:6e86:b0:a90:3499:fc40 with SMTP id a640c23a62f3a-a93d8b46d28mr566905966b.10.1727722250294; Mon, 30 Sep 2024 11:50:50 -0700 (PDT) Original-Received: from ?IPV6:2003:106:8f04:c300:192e:476d:8ae3:22f2? (p200301068f04c300192e476d8ae322f2.dip0.t-ipconnect.de. [2003:106:8f04:c300:192e:476d:8ae3:22f2]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-a93c299af9esm569610866b.216.2024.09.30.11.50.49 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Mon, 30 Sep 2024 11:50:49 -0700 (PDT) Content-Language: en-US In-Reply-To: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.lisp.guile.bugs:10999 Archived-At: On 30.07.2024 21:51, Tomas Volf wrote: > Hello, > > I think I found a bug in (srfi srfi-64) module shipped with GNU Guile. > > The specification says the following regarding the test-apply: > >> If one or more specifiers are listed then only tests matching the specifiers >> are executed. > That implies that specifiers are optional and the following code should work: > > (use-modules (srfi srfi-64)) > (test-apply (λ () #t)) > > However it does not: > > Backtrace: > In ice-9/boot-9.scm: > 1752:10 8 (with-exception-handler _ _ #:unwind? _ #:unwind-for-type _) > In unknown file: > 7 (apply-smob/0 #) > In ice-9/boot-9.scm: > 724:2 6 (call-with-prompt _ _ #) > In ice-9/eval.scm: > 619:8 5 (_ #(#(#))) > In ice-9/boot-9.scm: > 2836:4 4 (save-module-excursion _) > 4388:12 3 (_) > In srfi/srfi-64/testing.scm: > 947:34 2 (test-apply #) > 938:47 1 (test-apply # . _) > In unknown file: > 0 (reverse #t) > > ERROR: In procedure reverse: > In procedure reverse: Wrong type argument in position 1: #t > > Have a nice day > Tomas Volf If anyone's wondering why I don't want to work with the upstream SRFI-64 code, reading the implementation of test-apply is all you need. :-) It almost makes me think it must be machine-generated code, or intentionally obfuscated. But anyway. My implementation actually had a similar bug, but it should be fixed now with this commit:     https://codeberg.org/taylan/scheme-srfis/commit/3091e3b863d53a012b4be4376814bb67bf09020d I've also noticed the other issue with test-apply that you reported as a separate bug report, and will fix that later. Thanks a ton for all these reports, because it seems you've really caught a ton of edge-cases, and some glaring issues in seldom-used parts of the API. - Taylan