From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: =?utf-8?Q?Mattias_Engdeg=C3=A5rd?= Newsgroups: gmane.emacs.devel Subject: Re: Declaring Lisp function types Date: Tue, 26 Mar 2024 14:05:55 +0100 Message-ID: <8700F994-6406-447B-BA35-433840B7A51C@gmail.com> References: Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.120.0.1.15\)) Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="36155"; mail-complaints-to="usenet@ciao.gmane.io" Cc: emacs-devel@gnu.org, Eli Zaretskii , Stefan Kangas , Adam Porter , Stefan Monnier , Arthur Miller To: Andrea Corallo Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Tue Mar 26 14:06:45 2024 Return-path: Envelope-to: ged-emacs-devel@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 1rp6Vp-0009B9-II for ged-emacs-devel@m.gmane-mx.org; Tue, 26 Mar 2024 14:06:45 +0100 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1rp6VA-0000gn-Ql; Tue, 26 Mar 2024 09:06:04 -0400 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 1rp6V9-0000ge-D9 for emacs-devel@gnu.org; Tue, 26 Mar 2024 09:06:03 -0400 Original-Received: from mail-lf1-x12e.google.com ([2a00:1450:4864:20::12e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1rp6V7-0006Zy-Ti; Tue, 26 Mar 2024 09:06:03 -0400 Original-Received: by mail-lf1-x12e.google.com with SMTP id 2adb3069b0e04-515a86daf09so3434929e87.3; Tue, 26 Mar 2024 06:05:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711458357; x=1712063157; darn=gnu.org; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:from:to:cc:subject :date:message-id:reply-to; bh=/k3xZZG0/UbDO9IDb6JF0sIMfKtKzH5DZBNsRCV3QAU=; b=lap8428eaEnD5IAng4Xx0iuv9cYxYurRo16NwGvzj92+K6eFnDO5fl6lGF1azvb8Al 5VFJmI0rvp2QEFeQdduufZZrnZIRiEYo0gRVvIPzVrzNV2ca4WDTFUJLyNvTvkHLtvwx RyLvGevhiPabAOPvCPdiwSz73DMfeUSN2bJ5TXT/lNWvNzVGjCgpszYBHcWqvfuzxLgk FxEAEV8po7CGn2pPSXlLl7JevnmDUWK4KhWhxq8LcGQKvYnt6mQa6V63ljS610A0xq65 Xzz3V2Lc7cPeAi9z2cZY9WJbYWK5A7h2gIpe4e04PN8PZSHL/mYQnn45Twt1FU4Q2OQI AIBQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711458357; x=1712063157; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:sender:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=/k3xZZG0/UbDO9IDb6JF0sIMfKtKzH5DZBNsRCV3QAU=; b=SDjwzJe9HPQuydKEv27QY+rVjgnfMJP24CjBBPVRKGGgRxS2zrtkIyZXDEikfPDJMa V7SK1zg57ilRMo0S+bJbGqGOjkehfLcKNguHkC/X1IyvAM4paj1TqTu442EY0C+p8LRZ eSapM672CHs8rwHnjhOaCoai8vs6V1zif2W7wHdBzwkLE8XNTZmvRvzLPE0jgjKB3bca 7oJ6kB+lfVHYfHQNw9zL27gPHj/f7mTMYemdcEqMNNzKHEhbKK6N0HybpivAjTsTVpAM DWSFtSJTtQQiviSuLdIs6MIfNZthBr0zyyoT/68nMnMXjBsqBNaoXAHQJgl5kly1YLUw e7KQ== X-Forwarded-Encrypted: i=1; AJvYcCUvDqgmpzdEuQAlkWNUsJ9w1JLzmckKeFz0wsYZf4GVEG/seyhbcX5fgXLsrI5biJHI8sPN7V5kyOjhye8= X-Gm-Message-State: AOJu0YwZ7C3tWv8JUNU3H8j4spdYNQZM2BbWnU8Vxq27mDRzpZJPWNGI iwF3Ld/HHj9gcyl0eHZm7XJ0bsFXq5En6TlxDhmMgoVikZ+Sz0GAaIdd2O7g X-Google-Smtp-Source: AGHT+IGTksM0KYPYQVATyDUOmotwiZQOohz8yOEA+3NCpCpH2Y12tHFcpDFSXs5JDzDrEElZuGObtg== X-Received: by 2002:a19:2d17:0:b0:513:e27c:78f0 with SMTP id k23-20020a192d17000000b00513e27c78f0mr6770934lfj.46.1711458356961; Tue, 26 Mar 2024 06:05:56 -0700 (PDT) Original-Received: from smtpclient.apple (c80-217-1-132.bredband.tele2.se. [80.217.1.132]) by smtp.gmail.com with ESMTPSA id d4-20020ac241c4000000b005159f6468c2sm1507501lfi.43.2024.03.26.06.05.56 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Tue, 26 Mar 2024 06:05:56 -0700 (PDT) In-Reply-To: X-Mailer: Apple Mail (2.3654.120.0.1.15) Received-SPF: pass client-ip=2a00:1450:4864:20::12e; envelope-from=mattias.engdegard@gmail.com; helo=mail-lf1-x12e.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-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.devel:317301 Archived-At: 26 mars 2024 kl. 11.13 skrev Andrea Corallo : >> (declare (type (function (integer integer) integer))) Firmly in favour of this. But we also need to define the exact semantics of such a declaration.