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.bugs Subject: bug#67412: (resolve-r6rs-interface '(srfi 160 u8) tries to load (srfi srfi-160) Date: Thu, 23 Nov 2023 16:44:54 -0500 Message-ID: <87il5s6t61.fsf@gmail.com> References: <87o7fk6yp8.fsf@gmail.com> 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="26689"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) To: 67412@debbugs.gnu.org Original-X-From: bug-guile-bounces+guile-bugs=m.gmane-mx.org@gnu.org Thu Nov 23 22:46:19 2023 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 1r6HWd-0006pC-G7 for guile-bugs@m.gmane-mx.org; Thu, 23 Nov 2023 22:46:19 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1r6HWO-0005W2-KE; Thu, 23 Nov 2023 16:46:04 -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 1r6HWM-0005VZ-GB for bug-guile@gnu.org; Thu, 23 Nov 2023 16:46:03 -0500 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 1r6HWJ-0002i4-4j for bug-guile@gnu.org; Thu, 23 Nov 2023 16:46:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1r6HWN-0001Kg-6E for bug-guile@gnu.org; Thu, 23 Nov 2023 16:46:03 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Maxim Cournoyer Original-Sender: "Debbugs-submit" Resent-CC: bug-guile@gnu.org Resent-Date: Thu, 23 Nov 2023 21:46:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 67412 X-GNU-PR-Package: guile Original-Received: via spool by 67412-submit@debbugs.gnu.org id=B67412.17007759095016 (code B ref 67412); Thu, 23 Nov 2023 21:46:03 +0000 Original-Received: (at 67412) by debbugs.gnu.org; 23 Nov 2023 21:45:09 +0000 Original-Received: from localhost ([127.0.0.1]:35268 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6HVU-0001Ip-OK for submit@debbugs.gnu.org; Thu, 23 Nov 2023 16:45:09 -0500 Original-Received: from mail-qv1-xf2b.google.com ([2607:f8b0:4864:20::f2b]:55450) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1r6HVS-0001Ho-5s for 67412@debbugs.gnu.org; Thu, 23 Nov 2023 16:45:07 -0500 Original-Received: by mail-qv1-xf2b.google.com with SMTP id 6a1803df08f44-67a0836e635so4441086d6.2 for <67412@debbugs.gnu.org>; Thu, 23 Nov 2023 13:45:01 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1700775896; x=1701380696; darn=debbugs.gnu.org; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:to:from:from:to:cc:subject:date :message-id:reply-to; bh=QkgJS0lIpk0ev6Kihr8zFK+38TucxbJafNJn4w6Urig=; b=QCPRIr8R4ZkTJBY2sChfT/IHOXS/BbQOC77UvTnOKh7LC5yQHgbLJFIM2E3eqbomtX Ln5yuCgDl40nLyD8702sIJZl3EnBLftk0fvqWGfQyximYuhTA6TUUSPW7203uoYclf56 pWEnMCaG9XtW/fqZl5JawUew1NC9zVbThO/IA8cFqXkKuevTZMbWduUTanLD+ritLRlp NUvu47nLpB3LZS3uZUlU6WWdLKVrpwhr/4H1DWT4z5tLtLVZ1RtjhtsbBuGlx1iNKoB2 Ab8eKwNFQp+XNSm8gtEEUh0nEKdArjvF3b0xF/xu3ek1UWL3JY/pdhGV6ghz2+YTHsrS 1EOg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1700775896; x=1701380696; h=content-transfer-encoding:mime-version:user-agent:message-id:date :references:in-reply-to:subject:to:from:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=QkgJS0lIpk0ev6Kihr8zFK+38TucxbJafNJn4w6Urig=; b=pRWFRpEdY0c266gWEf8AY/Ov5EOFRppT58ToaZoA76RQwJ1BBqZ0ZiBh7YvjYQ3Wh5 9h3LudZaCW1fKthsFYDyKGaQH0FoDJoiWTkPwmw+iaFjCuX7k1UXnT9HkgYpOARfDnpV PAeryaO5miu1/4+sV0r9Nesb/T3BgTrlvI9o/hrId9l63njakt4v446K92aGfvIAtoMQ c965VW7byGZtkO3V4U4E/ddhFvtr3qavfVqGjuZZV3ohmDAo6lYHtGn4u/FK9vGWIJjr SpXYpGsEIlegfuIotC8qQYEBZWoxSWM8ERfHqWcyROoxx0GSPVcvnGJg3+5klLu969IC e//g== X-Gm-Message-State: AOJu0Yyi0977rWvtuRpXXdreR1uAwZaDBjlS7Mke897Bk9jM2O4lBjqt fS1RrRa/Ql/JUIF6mfrYrCeyEWtK+dE= X-Google-Smtp-Source: AGHT+IHq13R0H4iEBeQ1xHXjZON0xLXu0nyluUkDAS3pHa01UH0raTDB8dxShhjok2wLBphUkJ6wlQ== X-Received: by 2002:a0c:e60e:0:b0:67a:faa:97a0 with SMTP id z14-20020a0ce60e000000b0067a0faa97a0mr866082qvm.50.1700775896130; Thu, 23 Nov 2023 13:44:56 -0800 (PST) Original-Received: from hurd (dsl-205-233-124-102.b2b2c.ca. [205.233.124.102]) by smtp.gmail.com with ESMTPSA id n12-20020a0ce48c000000b0066d23395d27sm823438qvl.123.2023.11.23.13.44.55 for <67412@debbugs.gnu.org> (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 23 Nov 2023 13:44:55 -0800 (PST) In-Reply-To: <87o7fk6yp8.fsf@gmail.com> (Maxim Cournoyer's message of "Thu, 23 Nov 2023 14:45:23 -0500") 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:10716 Archived-At: Hi, Investigating, I've found this: --8<---------------cut here---------------start------------->8--- trace: | (_ # (160 (u8) ())) trace: | (_ 160 (u8) ()) trace: | | (syntax->datum 160) trace: | | (strip 160) trace: | | | (syntax? 160) trace: | | | #f trace: | | 160 trace: | | (number->string 160) trace: | | "160" trace: | | (string-append "srfi-" "160") trace: | | "srfi-160" trace: | | (datum->syntax # srfi-16= 0) trace: | | | (syntax-wrap #) trace: | | | ((top) #(ribcage #(n rest version) #((top) (top) (top)) #("= l-680b775fb37a463-160b" "l-680b775fb37a463-160c" "l-680b775fb37a463-160d"))= #(ribcage (module-for-each/nonlocal # make-srfi-n # =E2=80=A6) =E2=80=A6) = =E2=80=A6) trace: | | | (syntax-module #) trace: | | | (hygiene guile) trace: | | | (source-properties srfi-160) trace: | | | () trace: | | (make-syntax srfi-160 ((top) #(ribcage #(n rest version) #((to= p) (top) (top)) #("l-680b775fb37a463-160b" "l-680b775fb37a463-160c" "l-680b= 775fb37a463-160d")) #(ribcage (# # make-srfi-n # # =E2=80=A6) =E2=80=A6) = =E2=80=A6) =E2=80=A6) trace: | | # trace: | | ($sc-dispatch (u8) ()) trace: | | | (syntax? (u8)) trace: | | | #f trace: | | (match* (u8) () (()) () #f) trace: | | #f trace: | | ($sc-dispatch (u8) (any . each-any)) trace: | | | (syntax? (u8)) trace: | | | #f trace: | | (match* (u8) (any . each-any) (()) () #f) trace: | | | (match () each-any (()) () #f) trace: | | | | (syntax? ()) trace: | | | | #f trace: | | | (match* () each-any (()) () #f) trace: | | | | (match-each-any () (()) #f) trace: | | | | () trace: | | | (()) trace: | | (match u8 any (()) (()) #f) trace: | | | (source-wrap u8 (()) #f #f) trace: | | | u8 trace: | | (u8 ()) trace: | | (_ # (u8 ())) trace: | | (_ u8 ()) trace: | | | (append () (())) trace: | | | (()) --8<---------------cut here---------------end--------------->8--- This corresponds to this source: --8<---------------cut here---------------start------------->8--- (syntax-case import-spec (library only except prefix rename srfi) ;; (srfi :n ...) -> (srfi srfi-n ...) ;; (srfi n ...) -> (srfi srfi-n ...) ((library (srfi n rest ... (version ...))) (srfi-name? #'(srfi n rest ...)) (let ((srfi-n (make-srfi-n #'srfi #'n))) (resolve-r6rs-interface (syntax-case #'(rest ...) () (() #`(library (srfi #,srfi-n (version ...)))) ((name rest ...) ;; SRFI 97 says that the first identifier after the `n' ;; is used for the libraries name, so it must be ignored. #`(library (srfi #,srfi-n rest ... (version ...)))))))) ... --8<---------------cut here---------------end--------------->8--- Notice the comment mentioning that the first identifier following 'n' is ignored. That seems wrong, at least in the context of R7RS libraries. --=20 Thanks, Maxim