From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Maxime Devos Newsgroups: gmane.lisp.guile.bugs Subject: bug#49311: (null?) cannot be compiled (error from (language typs types)) Date: Thu, 01 Jul 2021 09:59:09 +0200 Message-ID: <75331803840bf308f2a1c651a3d95e2d2364fbc7.camel@telenet.be> Mime-Version: 1.0 Content-Type: multipart/signed; micalg="pgp-sha512"; protocol="application/pgp-signature"; boundary="=-EpqBszh69C+U+DuM0ii0" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="33334"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Evolution 3.34.2 To: 49311@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Thu Jul 01 10:00:38 2021 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 1lyrcj-0008SA-Rf for guile-bugs@m.gmane-mx.org; Thu, 01 Jul 2021 10:00:37 +0200 Original-Received: from localhost ([::1]:49478 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lyrci-00077O-2P for guile-bugs@m.gmane-mx.org; Thu, 01 Jul 2021 04:00:36 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:53474) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lyrcC-00077E-9v for bug-guile@gnu.org; Thu, 01 Jul 2021 04:00:04 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:47921) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lyrcA-0005EF-GP for bug-guile@gnu.org; Thu, 01 Jul 2021 04:00:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lyrcA-00011z-CB for bug-guile@gnu.org; Thu, 01 Jul 2021 04:00:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Maxime Devos Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Thu, 01 Jul 2021 08:00:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 49311 X-GNU-PR-Package: guile X-Debbugs-Original-To: bug-guile@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.16251263663887 (code B ref -1); Thu, 01 Jul 2021 08:00:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 1 Jul 2021 07:59:26 +0000 Original-Received: from localhost ([127.0.0.1]:59467 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lyrbZ-00010c-Qr for submit@debbugs.gnu.org; Thu, 01 Jul 2021 03:59:26 -0400 Original-Received: from lists.gnu.org ([209.51.188.17]:36966) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lyrbX-000102-E6 for submit@debbugs.gnu.org; Thu, 01 Jul 2021 03:59:23 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:53416) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lyrbX-00074V-4T for bug-guile@gnu.org; Thu, 01 Jul 2021 03:59:23 -0400 Original-Received: from xavier.telenet-ops.be ([2a02:1800:120:4::f00:14]:43052) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lyrbV-0004ck-3W for bug-guile@gnu.org; Thu, 01 Jul 2021 03:59:22 -0400 Original-Received: from butterfly.local ([188.189.253.4]) by xavier.telenet-ops.be with bizsmtp id PjzH2500E06Tga401jzJir; Thu, 01 Jul 2021 09:59:18 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=telenet.be; s=r21; t=1625126358; bh=pqedjPELMA0QyNVFycyhBzzAeP3cbrDzFW203OANvCw=; h=Subject:From:To:Date; b=Vij/hNmlWP92gUfU+00+mh+LXmlr7WRIRXM4G0VKSXrr04kAnOqZcbj7eRChmboor Xb79+AOAxPworA5Iz2IDzJd7G0lu1U42NaAyg9CvI0wOuB6fo4Aj5sc6ykWAEYqkZJ g4LUpWTm9x6vLm8lPDPXP+7flD6UlVkt9QQw75JiuBC+dkRI2nR5bhdbN6ot6u6wFD F2TeTsgfNN2qMZ3Vk69F6uDOvQC1gJxMiW5W1/qHIVEgpaO8BuqAUMHFSnk8qA7kaM VFooIoaQP60fE/mYRMoEUH6Rmm5HQMq13i739FqxqqjE0Fmdnd64LmBFuHzHVo96wn T67TAmkE5oJYw== Received-SPF: pass client-ip=2a02:1800:120:4::f00:14; envelope-from=maximedevos@telenet.be; helo=xavier.telenet-ops.be 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, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action 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" Xref: news.gmane.io gmane.lisp.guile.bugs:10131 Archived-At: --=-EpqBszh69C+U+DuM0ii0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Hi, While hacking on Guix, I encountered the following backtace: In system/base/compile.scm: 265:44 19 (_ _ _) 261:33 18 (_ _ #) In language/cps/optimize.scm: 128:12 17 (_ _ _) 87:0 16 (optimize-higher-order-cps _ _) In language/cps/dce.scm: 430:33 15 (eliminate-dead-code _) 114:18 14 (compute-live-code #) In language/cps/intmap.scm: 519:6 13 (visit-branch #(#(#(# # # #= =E2=80=A6) =E2=80=A6) =E2=80=A6) =E2=80=A6) 519:6 12 (visit-branch #(#(# # =E2=80=A6) =E2=80=A6) =E2=80=A6) 519:6 11 (visit-branch #(# # =E2=80=A6) =E2=80=A6) In language/cps/type-checks.scm: 41:15 10 (elide-type-checks # 6216 #) In language/cps/types.scm: 1903:6 9 (worklist-fold* # _ _) 1955:11 8 (visit-cont 6218 #) 609:0 7 (_ _ _ _ _) In ice-9/boot-9.scm: 1685:16 6 (raise-exception _ #:continuable? _) 1685:16 5 (raise-exception _ #:continuable? _) 1780:13 4 (_ #<&compound-exception components: (#<&assertion-failure> #<= &origin origin: #f> #<&message message: "Wrong number of arguments to ~A"> = #<&irritants irritants: (#) In guix/build/compile.scm: 167:6 3 (_ _ . _) In ice-9/boot-9.scm: 1747:15 2 (with-exception-handler # _ #:unwind? _ #:unwind-for-type _) In guix/build/compile.scm: 170:21 1 (_) In unknown file: 0 (make-stack #t) guix/build/compile.scm:170:21: Wrong number of arguments to # make[2]: *** [Makefile:6920: make-core-go] Fout 1 I've minimised it to $ guile GNU Guile 3.0.7 Copyright (C) 1995-2021 Free Software Foundation, Inc. Guile comes with ABSOLUTELY NO WARRANTY; for details type `,show w'. This program is free software, and you are welcome to redistribute it under certain conditions; type `,show c' for details. Enter `,help' for help. scheme@(guile-user)> (null?) ;;; :1:0: warning: possibly wrong number of arguments to `null?' While compiling expression: Wrong number of arguments to # scheme@(guile-user)>=20 Greetings, Maxime. --=-EpqBszh69C+U+DuM0ii0 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: This is a digitally signed message part Content-Transfer-Encoding: 7bit -----BEGIN PGP SIGNATURE----- iI0EABYKADUWIQTB8z7iDFKP233XAR9J4+4iGRcl7gUCYN11zRccbWF4aW1lZGV2 b3NAdGVsZW5ldC5iZQAKCRBJ4+4iGRcl7gLdAQDhITIrPivAAJ8k0IT40nW28AKz 0gqeH2jxB9KktS6MgwEA8pJlTgz5O1AccAAIogkak8SgXtaqbo2Y5d3zfcWh/gk= =rYfv -----END PGP SIGNATURE----- --=-EpqBszh69C+U+DuM0ii0--