From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?ISO-8859-1?Q?J=E9r=E9my_Korwin-Zmijowski?= 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: Sat, 20 Feb 2021 13:09:30 +0100 Message-ID: <8ADFF799-7486-4DD4-BB68-82A216FF7ABC@korwin-zmijowski.fr> References: Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="31740"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: K-9 Mail for Android To: divoplade , srfi-64@srfi.schemers.org, Mailing list Guile User Original-X-From: guile-user-bounces+guile-user=m.gmane-mx.org@gnu.org Sat Feb 20 13:09:53 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 1lDR56-00088c-6f for guile-user@m.gmane-mx.org; Sat, 20 Feb 2021 13:09:52 +0100 Original-Received: from localhost ([::1]:54696 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lDR55-00087D-5N for guile-user@m.gmane-mx.org; Sat, 20 Feb 2021 07:09:51 -0500 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:54404) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lDR4t-00085e-Em for guile-user@gnu.org; Sat, 20 Feb 2021 07:09:40 -0500 Original-Received: from relay10.mail.gandi.net ([217.70.178.230]:45517) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lDR4q-0008FT-7R for guile-user@gnu.org; Sat, 20 Feb 2021 07:09:39 -0500 Original-Received: from [127.0.0.1] (91-169-127-99.subs.proxad.net [91.169.127.99]) (Authenticated sender: jeremy@korwin-zmijowski.fr) by relay10.mail.gandi.net (Postfix) with ESMTPSA id CD208240003; Sat, 20 Feb 2021 12:09:31 +0000 (UTC) In-Reply-To: Received-SPF: none client-ip=217.70.178.230; envelope-from=jeremy@korwin-zmijowski.fr; helo=relay10.mail.gandi.net X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, HTML_MESSAGE=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-Content-Filtered-By: Mailman/MimeDel 2.1.23 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:17285 gmane.lisp.scheme.srfi.srfi-64:71 Archived-At: Hi Divoplade, Thank you for your explanation=2E I might not have put enough emphase on m= y issue=2E When you said: "However, since now there's a char-sets=2Escm, it can use the module and find the function, and everything works correctly=2E" My concern here is that I did not defined the procedure in the module=2E I= t's empty=2E J=C3=A9r=C3=A9my Le 20 f=C3=A9vrier 2021 12:26:46 GMT+01:00, divoplade a= =C3=A9crit=C2=A0: >Hello, > >This is what I understand from guile=2E I am no expert, so maybe it is >not 100% accurate! > >Le samedi 20 f=C3=A9vrier 2021 =C3=A0 12:03 +0100, J=C3=A9r=C3=A9my Korwi= n-Zmijowski a >=C3=A9crit : >>=20 >> Running `guile -L =2E char-sets-test=2Escm` in the file location will >> produce the following output : >>=20 >> $ guile -L =2E char-sets-test=2Escm=20 >> ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=3D0 >> ;;; or pass the --no-auto-compile argument to disable=2E >> ;;; compiling /tmp/char-sets-test=2Escm >> ;;; WARNING: compilation of /tmp/char-sets-test=2Escm failed: >> ;;; no code for module (char-sets) > >>From now on, char-sets-test=2Escm has been compiled, but guile did not >find password-valid?, so it assumed that this function will be >available at run time when needed=2E Maybe some crazy macro expansion, >who knows? >>=20 >> And now, I rerun the tests : >>=20 >> $ guile -L =2E char-sets-test=2Escm=20 >> ;;; note: auto-compilation is enabled, set GUILE_AUTO_COMPILE=3D0 >> ;;; or pass the --no-auto-compile argument to disable=2E >> ;;; compiling /tmp/char-sets-test=2Escm >> ;;; compiling =2E/char-sets=2Escm >> ;;; compiled /home/jeko/=2Ecache/guile/ccache/3=2E0-LE-8-4=2E4/tmp/char= - >> sets=2Escm=2Ego >> ;;; char-sets-test=2Escm:10:2: warning: possibly unbound variable >> `password-valid?' >> ;;; compiled /home/jeko/=2Ecache/guile/ccache/3=2E0-LE-8-4=2E4/tmp/char= - >> sets- >> test=2Escm=2Ego >> %%%% Starting test harness-char-sets (Writing full log to "harness- >> char-sets=2Elog") >> # of expected passes 1 > >Guile did not re-compile the test, because the code did not change, but >remembered from last time that password-valid? was potentially missing, >so it issues the warning again when loading the bytecode=2E However, >since now there's a char-sets=2Escm, it can use the module and find the >function, and everything works correctly=2E > >Everything works because guile does not inline code from a module to >another=2E So the warning is just a warning=2E You don't need to worry=2E > --=20 Envoy=C3=A9 de mon appareil Android avec Courriel K-9 Mail=2E Veuillez exc= user ma bri=C3=A8vet=C3=A9=2E