From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-oa1-x33.google.com (mail-oa1-x33.google.com [IPv6:2001:4860:4864:20::33]) by sourceware.org (Postfix) with ESMTPS id D5518385842F for ; Tue, 19 Dec 2023 23:24:34 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org D5518385842F Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com ARC-Filter: OpenARC Filter v1.0.0 sourceware.org D5518385842F Authentication-Results: server2.sourceware.org; arc=none smtp.remote-ip=2001:4860:4864:20::33 ARC-Seal: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1703028276; cv=none; b=T1CG7/jUYRT4urW4E9Wza/44phpiG7tIXkRYBavZ6+k1c/E/jCfD7j5Q6aoACWL4Fe1mK5MQd8PBriZu9hpr7AD1BKR2LhHyYhnOb7iBHP4wh8K+b3qaW6agPlWzUVeCSxzs4K9LxETvncXawVhj6Hs/BfJDxRD5oGnDinxKUDA= ARC-Message-Signature: i=1; a=rsa-sha256; d=sourceware.org; s=key; t=1703028276; c=relaxed/simple; bh=XcCU1K+70gXJEoTidjZueDsRELjYSi5OYKXk9d9iGH0=; h=DKIM-Signature:MIME-Version:From:Date:Message-ID:Subject:To; b=ibll8Z51g4qV2GMQ+TSyEfri0KvWQ+/2R1U4q6Mbyz3DZUOVlObGdyomG2RSfw3uS4+4TYAAWhRFw4gDnMkihyO9lEE15FCvNAjzMbDeJ0HeYo5RBrvZ15ix0PYR+bWEa/BRGwtBx0iCS874opY6pxkTtdTZi25eZBQ+u61Sk6c= ARC-Authentication-Results: i=1; server2.sourceware.org Received: by mail-oa1-x33.google.com with SMTP id 586e51a60fabf-1eb39505ba4so2992255fac.0 for ; Tue, 19 Dec 2023 15:24:34 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1703028274; x=1703633074; darn=sourceware.org; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:from:to:cc:subject:date:message-id:reply-to; bh=85njuVkh1C8Aqa7u93WrUbLvxyckSfpZgZxkTHvxLRc=; b=Kqb66AVA2IQucsKJGFuOvSxe1K9YIMm68e+NzHZ2n/IdL6KHDC822t40aW4SJBd8HI 43oJNOAPBlysqO921SAsZFrrH1dp1lMn2wfzwNa2Iw4ZzzDn205Y4gbrxe75rsVYBZuZ kSDInttu9TqjV7JjUcBrIwhkI2oddY8HfzNgXSLFU63dE4tv86jKBhcGxazb1I003A5w hpKbZsnGgOq3zMN3FNeVmD1kIXf1mRay+evce0gqKbkpjI+v98/VHhs+SJMrxngcQSzY 1i8gEIwwJkteJxF1sF4ehJ791nnOcWFz8qgvAtOCLDRdR90MAB5g6NV5UTrWSsc/TT6t MopA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1703028274; x=1703633074; h=cc:to:subject:message-id:date:from:in-reply-to:references :mime-version:x-gm-message-state:from:to:cc:subject:date:message-id :reply-to; bh=85njuVkh1C8Aqa7u93WrUbLvxyckSfpZgZxkTHvxLRc=; b=O+Voivr7Rx+8PXWwLQ9vfFuswlxB6SLuOSpbxTIUmTwrfbrFS+mupSupaVsaagklqo t6KdJIqNspw2wtG1ZyTclccvWYmTOAVcT74wjC18JkzCgjvOWxaMPCXgqsp/LFhDJ213 7r5LneTJQImPgRI7MU+iIasEmeWNVw4DxogAoG63EmsVnT9/xEmFzZd0D73GEofHBzuf Ph42hl6LK1GRo2WvDCP3AX12d8IaXSQaVZE2nIcthoehV5CcItx7/pZ53n5BIHDEdQ+z +vrFophuZ+knGRQ54PgPdOiUSp07IyesSorQfe7sXs3v6SoZH9yzPDFZ8zzFIL+NXuMg bQcg== X-Gm-Message-State: AOJu0Yx3IUos/+SB1hBYjjAg9vei0PasfqOGYUaSz2MmwZpfAHf+vQqs Sx0/9gWsIGea2kx+pnRN+EGStTcsJ54Cgz8NQT9TFyI4lDE= X-Google-Smtp-Source: AGHT+IHPD/SItf9FreCnxb1hWtxOqN+Ko0aMQ/bOkABG0g0p9CJPq8fRnvP21DS69OeyDz0JIdeXhecNCK2nTq6GrSo= X-Received: by 2002:a05:6870:3042:b0:203:c547:6a23 with SMTP id u2-20020a056870304200b00203c5476a23mr4612350oau.86.1703028273785; Tue, 19 Dec 2023 15:24:33 -0800 (PST) MIME-Version: 1.0 References: <68438f29-d0ad-4eac-88b9-50fefb329827@bothner.com> In-Reply-To: <68438f29-d0ad-4eac-88b9-50fefb329827@bothner.com> From: Panicz Maciej Godek Date: Wed, 20 Dec 2023 00:24:23 +0100 Message-ID: Subject: Re: A problem with interfaces To: Per Bothner Cc: kawa Content-Type: multipart/alternative; boundary="0000000000004d2e4d060ce52bcc" X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM,HTML_MESSAGE,RCVD_IN_DNSWL_NONE,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: --0000000000004d2e4d060ce52bcc Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable I think that isolating the bug could be a bit difficult at the moment, but I might try that later (I feel that this would require a lot of work, and I'm not sure if I would succeed at the end) But I did publish the breaking change, in case you'd want to have a look https://github.com/panicz/grasp/commit/c678761a788a0356c3ecd1caa9f2c7a8bc90= 0f57 (if running with the X server available, it's best to run ./grasp-desktop, because all the diagnostic messages go to console But since the program just dies, running ./grasp-terminal should also be OK. Running ./run-tests 3 also reproduces the bug) wt., 19 gru 2023 o 23:46 Per Bothner napisa=C5=82(a): > > > 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/ > --0000000000004d2e4d060ce52bcc--