From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mailtransmit04.runbox.com (mailtransmit04.runbox.com [IPv6:2a0c:5a00:149::25]) by sourceware.org (Postfix) with ESMTPS id 8B0E3385842F for ; Tue, 19 Dec 2023 22:46:20 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 8B0E3385842F Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=bothner.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=bothner.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org 8B0E3385842F Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2a0c:5a00:149::25 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1703025982; cv=none; b=D3Pp4kEIlI9vjrE+XiwdGwrhUWoXh0HTQVqlzVdYd25zd9aCQGYQfm/kek41hNSdX8hBU2ZlQvsNWbOPfx2SpmBUkL046Ehmb3dd98nIz3pUTQoLAKwDMcFU2x98FT0YdtAMkmsQcNgOF4CMGQbin4WC93HuQg5n2EBdg4WMILM= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1703025982; c=relaxed/simple; bh=t18+SZivtY3PTFUXaD05habzPOHUQjmFvD5ntkwWz8o=; h=DKIM-Signature:Message-ID:Date:MIME-Version:Subject:To:From; b=Inm/ye6vpLthxc/90mPy89g01j7Hzsu0H7mPBjEo2kG/gLhTjP+gVdmkzMI0ZYQjaOZoePMOfQmfA1j8dZZ2nEN3s4McTEKDXZJlPzz+Ltz5zVyoa0sE2yW306rorU3hMkLS3hgf0KDMnEEDTleD7ayjQJsi8mhwrvNXbZCtjS0= ARC-Authentication-Results: i=1; server2.sourceware.org Received: from mailtransmit03.runbox ([10.9.9.163] helo=aibo.runbox.com) by mailtransmit04.runbox.com with esmtps (TLS1.2) tls TLS_ECDHE_RSA_WITH_AES_128_GCM_SHA256 (Exim 4.93) (envelope-from ) id 1rFiqw-00ErWL-LT for kawa@sourceware.org; Tue, 19 Dec 2023 23:46:18 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=bothner.com ; s=selector1; h=Content-Transfer-Encoding:Content-Type:In-Reply-To:From: References:To:Subject:MIME-Version:Date:Message-ID; bh=CaPSWcfrJp146GjzHZ7V9DamYM4uNHSOZWz688P3LoI=; b=WhFwXwvYbUuluH6bUTuMdcjKu/ QprvE71g9cTLD9qzoFu78BMAubUjtxNQ+1kQHE466/52VUV4y/hTIGbsS1WQIh2vIpifQq9XIagKM V/r1tiK0uPkaQHHIeURNfLAQXNZpG0+kMFMGG7qQ6F6Xr3pEutY+2eS03cTM5npwRGpdcIhQzm8cX sU3Qi5CcwQwRZFEDO9wMUbdUYZxYtSPj785OPNHRn5bwpjUZyndNkvlK1v5LikeNutJUIVsZo2Oex 9+YsshFPodPHwqW7sZTd7hpyzBEJjk9cXUD8P9eBxnU16isoJTq4VptWCTtx96mX2O4/D824JjzxO fTLLidnA==; Received: from [10.9.9.74] (helo=submission03.runbox) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1rFiqw-0002pM-68; Tue, 19 Dec 2023 23:46:18 +0100 Received: by submission03.runbox with esmtpsa [Authenticated ID (524175)] (TLS1.2:ECDHE_SECP256R1__RSA_PSS_RSAE_SHA256__AES_256_GCM:256) (Exim 4.93) id 1rFiqv-004cr2-JF; Tue, 19 Dec 2023 23:46:17 +0100 Message-ID: <68438f29-d0ad-4eac-88b9-50fefb329827@bothner.com> Date: Tue, 19 Dec 2023 14:46:07 -0800 MIME-Version: 1.0 User-Agent: Mozilla Thunderbird Subject: Re: A problem with interfaces Content-Language: en-US To: Panicz Maciej Godek , kawa References: From: Per Bothner In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-3.7 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_LOW,SPF_HELO_NONE,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE autolearn=ham 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 12/19/23 14:23, Panicz Maciej Godek via Kawa wrote: > But when I do this, the system claims that Atom is not Extensive (even > though it implements a sub-interface of the Tile interface). How could that > be? I don't know - could be a bug. There hasn't been a lot of testing of interfaces defined this way. If you can create a short (20 lines or so) self-contained test-case, I can take a look. It might turn out to be a simple problem. -- --Per Bothner per@bothner.com http://per.bothner.com/