From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 06 16:08:49 2023 Received: (at submit) by debbugs.gnu.org; 6 Oct 2023 20:08:49 +0000 Received: from localhost ([127.0.0.1]:52716 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qor7x-0004s7-D9 for submit@debbugs.gnu.org; Fri, 06 Oct 2023 16:08:49 -0400 Received: from lists.gnu.org ([2001:470:142::17]:60014) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qor7v-0004rt-T9 for submit@debbugs.gnu.org; Fri, 06 Oct 2023 16:08:48 -0400 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 1qor7T-0006aa-Fx for bug-gnu-emacs@gnu.org; Fri, 06 Oct 2023 16:08:20 -0400 Received: from mail-pl1-x634.google.com ([2607:f8b0:4864:20::634]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qor7R-0002ep-HA for bug-gnu-emacs@gnu.org; Fri, 06 Oct 2023 16:08:19 -0400 Received: by mail-pl1-x634.google.com with SMTP id d9443c01a7336-1c724577e1fso20471025ad.0 for ; Fri, 06 Oct 2023 13:08:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696622894; x=1697227694; darn=gnu.org; h=content-transfer-encoding:subject:from:to:content-language :user-agent:mime-version:date:message-id:from:to:cc:subject:date :message-id:reply-to; bh=WBjh/9QWPA2c29V7Xb6ontEQEoAFXnBp6kMAT13OL38=; b=gbr6xN50zKfH475cF1p9V1xGEV8XwA1L31kR6460cJYnUNvgpdwLr6svzgRA4ftrke D7geOZ+r/X2CT6l1KqX1gC1trg1+c70ddPCxBpAs7/SJxiLGVJcI1nOH2pg1ZzfMfU78 fcWr+MbbkeoFkQzwaTd5ROBn+jnjAzNAzEW1cVKicl+L4IM5XkiRHfCy3VJineTwhczf s1wA7HxOlllA3udHaRxPRvCil/KbxrSOuZ2t564a2D4ttwpz0hqTUStpLtPs4/+eZiZT dvGJazinF1m4cXvK8cy5rdx15PmKT/I1Rg/DvspfuqtiV198s/UHufZbykYvXsARMbAN dlrA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696622894; x=1697227694; h=content-transfer-encoding:subject:from:to:content-language :user-agent:mime-version:date:message-id:x-gm-message-state:from:to :cc:subject:date:message-id:reply-to; bh=WBjh/9QWPA2c29V7Xb6ontEQEoAFXnBp6kMAT13OL38=; b=f23/P/+5h+OFykVGM3hiEgSoz2W6LoYGaiSSzqUksjJyQ2dKRSzE5dwr4WBbE1KQ/M 8UQgbRvDPdW3e579yrgvm+u61O9hWp/ET1DINWh34JNTOnmLTZfsHzEYdQDLhURvrN3W CUoJAewZvu7SyDfErYR3dXG4WAIlG7FUrs6f42V7AT0hufRAfdFVwwVMIPxadryvG1KP z+tMk5h2gbO5OuyWHqSzNMr8JVkBk1ClH6WST1NvjrzoDg19y5YgANgYRM60VPuaMm/+ T5qqLGHMNT4lum9pXH/unAechEaVkvmj1Wf89wmqkmLsXL1XZVJ8bJpBTKQtPyCTcxPF DP2A== X-Gm-Message-State: AOJu0YyP+t3kuP6TVKuGhrNZmDXtnUuKQj9TUugvH5K19iUz6JEzeMbL h0RwGa8w7yDxiydzF8MyU/2Jpe+Eeno= X-Google-Smtp-Source: AGHT+IH8j9vjhS+IBUHWdmykpo1K5cKRw01l1ygfOKIYQZea7DQYorWQbsaFtR2uY9hLd3I0Q6Ptmw== X-Received: by 2002:a17:902:f7cf:b0:1c6:dcb:1e31 with SMTP id h15-20020a170902f7cf00b001c60dcb1e31mr8446709plw.4.1696622894592; Fri, 06 Oct 2023 13:08:14 -0700 (PDT) Received: from [192.168.0.234] ([152.168.142.156]) by smtp.gmail.com with ESMTPSA id u11-20020a170902b28b00b001c46d04d001sm4319598plr.87.2023.10.06.13.08.13 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 06 Oct 2023 13:08:13 -0700 (PDT) Message-ID: <5e33562e-3100-40f5-b008-a82cce110407@gmail.com> Date: Fri, 6 Oct 2023 17:08:11 -0300 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Content-Language: en-US To: bug-gnu-emacs@gnu.org From: Mauro Aranda Subject: srecode-map-save-file :type doesn't allow nil Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Received-SPF: pass client-ip=2607:f8b0:4864:20::634; envelope-from=maurooaranda@gmail.com; helo=mail-pl1-x634.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, 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-Spam-Score: 1.0 (+) X-Debbugs-Envelope-To: submit X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -0.0 (/) The docstring of srecode-map-save-file says its value can be nil, but its :type is just file. From debbugs-submit-bounces@debbugs.gnu.org Fri Oct 06 16:11:38 2023 Received: (at 66377) by debbugs.gnu.org; 6 Oct 2023 20:11:38 +0000 Received: from localhost ([127.0.0.1]:52723 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qorAf-0004x7-Vm for submit@debbugs.gnu.org; Fri, 06 Oct 2023 16:11:38 -0400 Received: from mail-pl1-x62c.google.com ([2607:f8b0:4864:20::62c]:55307) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qorAe-0004wo-3Q; Fri, 06 Oct 2023 16:11:36 -0400 Received: by mail-pl1-x62c.google.com with SMTP id d9443c01a7336-1c874b43123so21340955ad.2; Fri, 06 Oct 2023 13:11:16 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1696623071; x=1697227871; darn=debbugs.gnu.org; h=in-reply-to:references:to:from:content-language:subject:user-agent :mime-version:date:message-id:from:to:cc:subject:date:message-id :reply-to; bh=WstDfvT9eSdWEOUYbDr5vjS3UGuK1Ks1u8XBRv+Fsow=; b=RU4GDUtXbr2luBFecCaSCumACQbwNsyKRGkQQpoMoyGBAYnFyD/NxXBSFu811HLAL7 Urz5jeZmjg1octYaCdulDzqPR7mDE476ZavNG0Sq/RhL4DzANPihmjA7vy0nOlQBkC3X 0/AzFWs+vBCr0IAe/VHXGaB1kNp148EFhDDjSz7OaiM1IcbWwzM0F5i/UQec5JRP/odK 47YtdgACZeRZG1i1WsYu16kKE7IhM3aHVbq2gwxPm84W40+a9DRoAq6fRkqMUsDojm+9 n67L0G49hfu5FM+9vC8djGBgwa+59yMTtFOZy4nXTWc27WTWw9qoGP9tqF/Z/q253iBu HHvg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1696623071; x=1697227871; h=in-reply-to:references:to:from:content-language:subject:user-agent :mime-version:date:message-id:x-gm-message-state:from:to:cc:subject :date:message-id:reply-to; bh=WstDfvT9eSdWEOUYbDr5vjS3UGuK1Ks1u8XBRv+Fsow=; b=NekPmVw6OQfkpmztNHn64dUEuHXISf8fvh25TW8UIzRmzmElkBzH2u/OLfiYssSTZB PK8A/LxmkOO+lovWvodYk95RwS20fn9Gc7HgkBAbDjYAmyUhxFYNmhWykvJ17iMJPJKX VLqGJYV+0nCto/EuWBPVCPfs8KQPKgNTVxU/8v95ZAniLASn1eeB4YO+sdsQRs5J7IHf nfCUv6WFml4/NmUs+m0MTPkpgW95xsdnSI5U3HB0h+tqSWnVl85W9llofd+xXNFstQqw hspeEds0+Jx9ELPv/nAIsxgFJsPPe2h1e7bBZ4QCPFx4awc09aFMugJ2l3XJ5/SSp0js kdOw== X-Gm-Message-State: AOJu0YzkAbX4ANvTWyXAqPghuFGvOhJLWVXFwN2r18eVuETrX7gtCVj4 wSeR8dz/3G77d0yfRXgrBkLdAVk7dK4= X-Google-Smtp-Source: AGHT+IFNNTFpIoMp9CMeJxyAZDlgIyTgEthEYqr/ZXjXoQ/+1kqeNaoFOpYx/Cr9E36b/f2YRW25fQ== X-Received: by 2002:a17:903:2346:b0:1c6:25b2:b71a with SMTP id c6-20020a170903234600b001c625b2b71amr9615506plh.2.1696623070544; Fri, 06 Oct 2023 13:11:10 -0700 (PDT) Received: from [192.168.0.234] ([152.168.142.156]) by smtp.gmail.com with ESMTPSA id k9-20020a170902694900b001c73eace0fesm4317317plt.157.2023.10.06.13.11.09 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 06 Oct 2023 13:11:09 -0700 (PDT) Content-Type: multipart/mixed; boundary="------------3VjgJo616Ac7TEmo0qHbbzP3" Message-ID: <7d8456e5-e42c-4c86-8811-91989fa2fd5a@gmail.com> Date: Fri, 6 Oct 2023 17:11:07 -0300 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: bug#66377: srecode-map-save-file :type doesn't allow nil Content-Language: en-US From: Mauro Aranda To: 66377@debbugs.gnu.org References: <5e33562e-3100-40f5-b008-a82cce110407@gmail.com> In-Reply-To: <5e33562e-3100-40f5-b008-a82cce110407@gmail.com> X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 66377 X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) This is a multi-part message in MIME format. --------------3VjgJo616Ac7TEmo0qHbbzP3 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit tags 66377 patch quit Patch attached. --------------3VjgJo616Ac7TEmo0qHbbzP3 Content-Type: text/x-patch; charset=UTF-8; name="0001-Fix-a-defcustom-type.patch" Content-Disposition: attachment; filename="0001-Fix-a-defcustom-type.patch" Content-Transfer-Encoding: base64 RnJvbSAwMDk1NDI2NjNkNDgyYTIyNDI3ZjYyMTE0MGJmMzY1Yzg2MWJmYjgxIE1vbiBTZXAg MTcgMDA6MDA6MDAgMjAwMQpGcm9tOiBNYXVybyBBcmFuZGEgPG1hdXJvb2FyYW5kYUBnbWFp bC5jb20+CkRhdGU6IEZyaSwgNiBPY3QgMjAyMyAxNzowMjozNyAtMDMwMApTdWJqZWN0OiBb UEFUQ0hdIEZpeCBhIGRlZmN1c3RvbSA6dHlwZQoKKiBsaXNwL2NlZGV0L3NyZWNvZGUvbWFw LmVsIChzcmVjb2RlLW1hcC1zYXZlLWZpbGUpOiBFeHBhbmQgOnR5cGUgdG8KYWxsb3cgbmls LiAgKEJ1ZyM2NjM3NykKLS0tCiBsaXNwL2NlZGV0L3NyZWNvZGUvbWFwLmVsIHwgMyArKy0K IDEgZmlsZSBjaGFuZ2VkLCAyIGluc2VydGlvbnMoKyksIDEgZGVsZXRpb24oLSkKCmRpZmYg LS1naXQgYS9saXNwL2NlZGV0L3NyZWNvZGUvbWFwLmVsIGIvbGlzcC9jZWRldC9zcmVjb2Rl L21hcC5lbAppbmRleCAxMjU0NTlkNmVlYi4uMDA0YmI3YWRkZGIgMTAwNjQ0Ci0tLSBhL2xp c3AvY2VkZXQvc3JlY29kZS9tYXAuZWwKKysrIGIvbGlzcC9jZWRldC9zcmVjb2RlL21hcC5l bApAQCAtNDksNyArNDksOCBAQCBzcmVjb2RlLW1hcC1zYXZlLWZpbGUKICAgIlRoZSBzYXZl IGxvY2F0aW9uIGZvciBTUmVjb2RlJ3MgbWFwIGZpbGUuCiBJZiB0aGUgc2F2ZSBmaWxlIGlz IG5pbCwgdGhlbiB0aGUgTUFQIGlzIG5vdCBzYXZlZCBiZXR3ZWVuIHNlc3Npb25zLiIKICAg Omdyb3VwICdzcmVjb2RlCi0gIDp0eXBlICdmaWxlKQorICA6dHlwZSAnKGNob2ljZSAoY29u c3QgOnRhZyAiRG9uJ3Qgc2F2ZSIgbmlsKQorICAgICAgICAgICAgICAgICBmaWxlKSkKIAog KGRlZmNsYXNzIHNyZWNvZGUtbWFwIChlaWVpby1wZXJzaXN0ZW50KQogICAoKGZpbGVoZWFk ZXJsaW5lIDppbml0Zm9ybSAiOzsgU1JFQ09ERSBURU1QTEFURSBNQVAiKQotLSAKMi4zNC4x Cgo= --------------3VjgJo616Ac7TEmo0qHbbzP3-- From debbugs-submit-bounces@debbugs.gnu.org Sat Oct 07 02:52:44 2023 Received: (at 66377-done) by debbugs.gnu.org; 7 Oct 2023 06:52:44 +0000 Received: from localhost ([127.0.0.1]:53245 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qp1B6-0002AV-0n for submit@debbugs.gnu.org; Sat, 07 Oct 2023 02:52:44 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:45632) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qp1B3-0002AI-VZ for 66377-done@debbugs.gnu.org; Sat, 07 Oct 2023 02:52:42 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qp1Af-0008K0-DR; Sat, 07 Oct 2023 02:52:17 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=References:Subject:In-Reply-To:To:From:Date: mime-version; bh=Hi5F0nSLwO23QHBBrxwCu5iIaP2bSjZ39NJrSO2XyIQ=; b=I+D9o/L/p9YV JLgq56oLgf4XnD6QbrQ+MvRn7pwgDOKy/j8bQvBa+Wyj9RSIVIQtABcUfDbGnPNt7VHQDocaj77UI tHLs9G18Mse0jRoXnrV106GSFt7SibEYb28MMnAnxZ+LpWTJQKlrhSz4UF9bXiv3/LSO1U8OaGZ2L d3OCrnJVIIL7ax1Z5F9jVvVnLiRdFqglOPVUJFBy4S6czQzWfrqMG0cfttn0antjBtqAWGBRzptOF JYpUcRoK42ogfFhhSw74x5rzFwTVsNz274HGf8HLw/z7BvV7NI3JYq3a/8MvuwFyujGDbKMCcc3bB fL03EJ7tZPcI0lfpVn39EA==; Date: Sat, 07 Oct 2023 09:52:30 +0300 Message-Id: <83fs2m2ac1.fsf@gnu.org> From: Eli Zaretskii To: Mauro Aranda In-Reply-To: <7d8456e5-e42c-4c86-8811-91989fa2fd5a@gmail.com> (message from Mauro Aranda on Fri, 6 Oct 2023 17:11:07 -0300) Subject: Re: bug#66377: srecode-map-save-file :type doesn't allow nil References: <5e33562e-3100-40f5-b008-a82cce110407@gmail.com> <7d8456e5-e42c-4c86-8811-91989fa2fd5a@gmail.com> X-Spam-Score: -2.3 (--) X-Debbugs-Envelope-To: 66377-done Cc: 66377-done@debbugs.gnu.org X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -3.3 (---) > Date: Fri, 6 Oct 2023 17:11:07 -0300 > From: Mauro Aranda > > tags 66377 patch > quit > > > Patch attached. Thanks, installed on the emacs-29 branch, and closing the bug. From unknown Sun Aug 17 22:07:11 2025 Received: (at fakecontrol) by fakecontrolmessage; To: internal_control@debbugs.gnu.org From: Debbugs Internal Request Subject: Internal Control Message-Id: bug archived. Date: Sat, 04 Nov 2023 11:24:05 +0000 User-Agent: Fakemail v42.6.9 # This is a fake control message. # # The action: # bug archived. thanks # This fakemail brought to you by your local debbugs # administrator