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.user,gmane.lisp.scheme.srfi.srfi-64 Subject: Re: test-equal: actual returned value is #f when tested expression raises execption Date: Sun, 21 Feb 2021 15:21:59 +0100 Message-ID: <5ee4017a-ccef-ffc0-4f32-a5d9ad3625ac@gmail.com> References: <8ADFF799-7486-4DD4-BB68-82A216FF7ABC@korwin-zmijowski.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="37008"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:78.0) Gecko/20100101 Thunderbird/78.7.1 To: J?r?my Korwin-Zmijowski , divoplade , srfi-64@srfi.schemers.org, Mailing list Guile User Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sun Feb 21 15:22:21 2021 Return-path: Envelope-to: guile-user@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 1lDpcr-0009Xc-K2 for guile-user@m.gmane-mx.org; Sun, 21 Feb 2021 15:22:21 +0100 Original-Received: from localhost ([::1]:45180 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lDpcq-0002GX-Jn for guile-user@m.gmane-mx.org; Sun, 21 Feb 2021 09:22:20 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:59406) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lDpcc-0002GE-BF for guile-user@gnu.org; Sun, 21 Feb 2021 09:22:06 -0500 Original-Received: from mail-ed1-x52f.google.com ([2a00:1450:4864:20::52f]:35164) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lDpca-0005ZE-Fv for guile-user@gnu.org; Sun, 21 Feb 2021 09:22:06 -0500 Original-Received: by mail-ed1-x52f.google.com with SMTP id n1so18660706edv.2 for ; Sun, 21 Feb 2021 06:22:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=subject:to:references:from:message-id:date:user-agent:mime-version :in-reply-to:content-language:content-transfer-encoding; bh=+g21/bL60Gkv/qwvQz9Ri1GT587y9dflb1Le7uryM/Q=; b=HLxhvGSIPdkjSyfwyJ15wlRW+beDWofskUFATLsYEbMjKJdyvpFd+jFP9U8WwyhAug sI9QWrDhscwVUP2/OG1hoJp+trt2qQgBcIWjpkKDKSNbzyZW7qRuJzu9bz7KirL4i/UG 7DEqqSEGA5Lar2V5DYPEl1/UEDaiP74b2Xc1LeDTz+WDa3i1zaBiFwPPfn6oeZ69XhDC 5XAmHlJvL2Ypa6NhZnT8IESaOJMJzwnZedlnvrQEoiKM1FcO2ONMg1ydxo3TKneRSBoQ jV5pduVpap+sci1PMMcezFxYA/vgvYT/LsVCD0bYZ9zBFcxR95TSfZG7SsfwBZzffDKh FL4g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:references:from:message-id:date :user-agent:mime-version:in-reply-to:content-language :content-transfer-encoding; bh=+g21/bL60Gkv/qwvQz9Ri1GT587y9dflb1Le7uryM/Q=; b=c5ubhuRvpwQqcw8bjY4jZKVNN2i7DHQanzz7rqG7BDTO/2cGOOgZgegLqpSPiJl3tz JuNuJKsvpKq1AVXCwRM21u286JLTZAVH2OUpHcUiF6NsTfsEyyQRgdXjjygr490UGK9v 7cJPNORNCMtqOlS/l6SSIFVvgCl2JXF+zb+56P15ellw2GL4BL8C/d+V9ESeYvyFQLJp loPI238pscEiTHpayc+vo3Ze17MiJ0O9yo5+agO3c6i8QKXE8tTyKVTWiiCNY8amoRwc 5vLUrxK0oMmYjKfhPPRFpyKnaX6scgoxDw0sDHhIHTUyxSBHvKUB3gGQl7nZFcCE7/nq ufxg== X-Gm-Message-State: AOAM531iX2SMaca2J2+zRhfs6BMV3bNfNLDXXKdEDm5AQcfbeHc2PAdF thTGspsdP7/4sSzw5PWla8IcLj8DbohxoQ== X-Google-Smtp-Source: ABdhPJz0UYisgD4ZpfXuXF4QKbQAax2yUNQcXkXRAe8olhDRMIxh5B2iNjyN+8aAvPRKOhZb5DDNhA== X-Received: by 2002:aa7:d41a:: with SMTP id z26mr5911891edq.359.1613917320990; Sun, 21 Feb 2021 06:22:00 -0800 (PST) Original-Received: from [192.168.178.20] ([109.90.125.150]) by smtp.gmail.com with ESMTPSA id d23sm6680731ejw.109.2021.02.21.06.22.00 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sun, 21 Feb 2021 06:22:00 -0800 (PST) In-Reply-To: <8ADFF799-7486-4DD4-BB68-82A216FF7ABC@korwin-zmijowski.fr> Content-Language: en-US Received-SPF: pass client-ip=2a00:1450:4864:20::52f; envelope-from=taylan.kammer@gmail.com; helo=mail-ed1-x52f.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, NICE_REPLY_A=-0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.io gmane.lisp.guile.user:17293 gmane.lisp.scheme.srfi.srfi-64:72 Archived-At: On 20.02.2021 13:09, Jérémy Korwin-Zmijowski wrote: > My concern here is that I did not defined the procedure in the module. > It's empty. I can reproduce this on Guile 2.2 (don't have access to 3.0 right now) and in my opinion it's a bug. I've also checked what my own SRFI-64 implementation does in this case, and it reports the test as failed. In my not-so-humble opinion, the reference implementation of SRFI-64, which is what Guile ships with, is really terrible. The code is unreadable and unsurprisingly you end up having bugs. It also doesn't fully conform to its own specification. My implementation is written as an R7RS module, which should work out of the box with Guile 3.0 I suppose, since it supports R7RS. With earlier versions of Guile, you can make it work like this: (import (srfi srfi-1) (srfi srfi-9) (srfi srfi-11) (srfi srfi-35) (rnrs exceptions (6))) (load "path/to/scheme-srfis/srfi/64/test-runner.body.scm") (load "path/to/scheme-srfis/srfi/64/test-runner-simple.body.scm") (load "path/to/scheme-srfis/srfi/64/source-info.body.scm") (load "path/to/scheme-srfis/srfi/64/execution.body.scm") The last line will produce a warning about possibly wrong number of arguments to 'eval', but you can safely ignore that. After this, use the regular SRFI-64 forms from the specification. Here's the scheme-srfis repo that contains the implementation: https://github.com/TaylanUB/scheme-srfis In the README you can see a couple notes about the SRFI-64 of this project. It offers two extensions that aren't in the standard. - Taylan