From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-oi1-x230.google.com (mail-oi1-x230.google.com [IPv6:2607:f8b0:4864:20::230]) by sourceware.org (Postfix) with ESMTPS id 673B83858431 for ; Fri, 16 Jun 2023 08:03:23 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 673B83858431 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=adacore.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=adacore.com Received: by mail-oi1-x230.google.com with SMTP id 5614622812f47-394c7ba4cb5so360143b6e.1 for ; Fri, 16 Jun 2023 01:03:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=adacore.com; s=google; t=1686902602; x=1689494602; h=mime-version:user-agent:message-id:in-reply-to:date:errors-to :references:organization:subject:cc:to:from:from:to:cc:subject:date :message-id:reply-to; bh=dF0PeSIWu27mMuh86I/YpF+6YXrNXWXf1xFqfgdiHKM=; b=cY7Zm/v2XOQJ8U7utExC6pWa5Kg3GvdLPbkBPA73YI1/Kj1joyj5mkBpUj04GZK9oX s1LRqRk6DP0jXSKGSoZaD6dVaQkDL9c4czoFtsv7mtVe1LtmsyxQeidmam6490pMCQBm r7jLwVHvPq44EHqAUV+2UU0RF9Oj3MRlcevNkhXBAF9e4pUQUFBRgsmnAdMc/i0KDjzx MavKzbVenlO9gEBrLbaIanqdk08T/dwLERqxO6Bz2UOy2JY2RNXrXpQ4LWAPT+wkmHK3 ZAMuCvaPwwAjmK0Ei617f/BBy7DIdJEo77jZ/OH8xvpecnBUyzhpVaJ9nGLBnXPLLASu sRng== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1686902602; x=1689494602; h=mime-version:user-agent:message-id:in-reply-to:date:errors-to :references:organization:subject:cc:to:from:x-gm-message-state:from :to:cc:subject:date:message-id:reply-to; bh=dF0PeSIWu27mMuh86I/YpF+6YXrNXWXf1xFqfgdiHKM=; b=LlO/JBrzXpdGSvo6q7dAs6mltbPpwI9cw1Tf9uhWoj0mA5RCdf3SBSS9aHhLr2onuY eHoJKg65+TtRlvW4Fyv2VnlRxA8mX1tAVPN7MaVVLl0D+2nWBYFNsEiBSQwuZYgsAgsH W9OBQsVLvx83pYtz+GBTTQgcVNK3/+GXoC5GuSGFmQFaWAMRVU/HGH1xmt7SSiGan1Fa OsWpNDIoQVZF0o97R4DuIki9RVK0rL9wUFdaLKMCC09nWAb5D+gKgBdQS6B8AUlrIzOf 6XLl4zgDfD76Wp1rKsoYPu/mbQ6wN0qyxyARmPmQM2JhUxUDUATfve1d1I9bk7XLxWB8 THDA== X-Gm-Message-State: AC+VfDyp94b7Aymqd1ketj+Aoz5HUMwMdDFclkejo+licwnsMXsk24ts dRgRHDNeO/hQIzDhxehlMmi6Ug== X-Google-Smtp-Source: ACHHUZ7NY+vAGpzbxuE6k2sPezl0PwBIEQlddB4e2sxIlP4x89MvfwUzD7DBFEFEMErPajuPxcIKOw== X-Received: by 2002:aca:1a03:0:b0:39e:8678:4035 with SMTP id a3-20020aca1a03000000b0039e86784035mr1516730oia.13.1686902602713; Fri, 16 Jun 2023 01:03:22 -0700 (PDT) Received: from free.home ([2804:7f1:2080:2b05:3128:ead8:cd43:416f]) by smtp.gmail.com with ESMTPSA id w67-20020acadf46000000b00399ee6330a9sm4604004oig.52.2023.06.16.01.03.21 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 16 Jun 2023 01:03:22 -0700 (PDT) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 35G83BxU481249 (version=TLSv1.3 cipher=TLS_AES_256_GCM_SHA384 bits=256 verify=NOT); Fri, 16 Jun 2023 05:03:12 -0300 From: Alexandre Oliva To: Thomas Koenig Cc: Bernhard Reutner-Fischer , gcc-patches , fortran@gcc.gnu.org Subject: Re: [PATCH] Introduce hardbool attribute for C Organization: Free thinker, does not speak for AdaCore References: <20230403012803.29ccf00b@nbbrfq> <6890D6BA-73DC-4F91-9413-228492A7F09B@gmail.com> <78806f60-27a0-1432-9bb2-1e2061414e67@netcologne.de> Errors-To: aoliva@lxoliva.fsfla.org Date: Fri, 16 Jun 2023 05:03:11 -0300 In-Reply-To: <78806f60-27a0-1432-9bb2-1e2061414e67@netcologne.de> (Thomas Koenig's message of "Fri, 16 Jun 2023 08:52:24 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-1.0 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_NONE,SPAM_BODY,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Jun 16, 2023, Thomas Koenig wrote: > So, such a type would be incompatible with vanilla LOGICAL variables > and with C interop logical variables. Yeah, it would. It's something else, and if you choose to use such a type in an interface, it would need to be handled as such. Presumably, absent direct support in the desired language, using the underlying type and the explicitly chosen constants would work. This is nothing to call home about. It's not unusual for languages to support features that are not directly representable in other languages. And this is one that isn't even hard to work around. But I'd first doubt the wisdom of whoever adds such a type to a cross-language interface. -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about