From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from aibo.runbox.com (aibo.runbox.com [91.220.196.211]) by sourceware.org (Postfix) with ESMTPS id 5AC683858023 for ; Tue, 7 Sep 2021 20:13:29 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 5AC683858023 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=bothner.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=bothner.com Received: from [10.9.9.72] (helo=submission01.runbox) by mailtransmit03.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1mNhTC-0003Su-7f; Tue, 07 Sep 2021 22:13:26 +0200 Received: by submission01.runbox with esmtpsa [Authenticated ID (524175)] (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) id 1mNhSx-0004SA-Oi; Tue, 07 Sep 2021 22:13:11 +0200 Subject: Re: Receiver class does not define or inherit an implementation of the resolved method To: Phil Eaton Cc: spellcard199 , kawa mailing list References: <7042c6a7-b4a4-e2a8-f67a-cd420ef1f90c@bothner.com> From: Per Bothner Message-ID: Date: Tue, 7 Sep 2021 13:13:07 -0700 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Language: en-US Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-3.9 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, NICE_REPLY_A, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H3, RCVD_IN_MSPIKE_WL, SPF_HELO_NONE, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on server2.sourceware.org X-BeenThere: kawa@sourceware.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Kawa mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Tue, 07 Sep 2021 20:13:31 -0000 On 9/7/21 12:45 PM, Phil Eaton wrote: > I did do a bunch of grepping but it hadn't turned up yet. Since that gnu/expr/LambdaExp.java code is adding a literal $X I don't think that's what I'm looking for. I think the code that renames duplicate methods is in LambdaExp.java around line 1156, Looking more, it looks like Kawa does support co-variant return types. (Kawa is so big and so old I don't remember everything in it ...) See generateBridgeMethod in ClassExp.java. It seems to me you can either have: ((apply (ctx ::io.jooby.Context)) ::string ...) or: ((apply (ctx ::io.jooby.Context)) ::java.lang.Object ...) but not both. The former uses co-variant return types, and it is quite possible there is a bug in the Kawa compiler in that area. So if that doesn't work, use the latter. I don't know how Jooby introspection works. Looking at Java source files feels like a weird thing to do. -- --Per Bothner per@bothner.com http://per.bothner.com/