From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-qt1-x835.google.com (mail-qt1-x835.google.com [IPv6:2607:f8b0:4864:20::835]) by sourceware.org (Postfix) with ESMTPS id ABE753858D20 for ; Mon, 27 Feb 2023 10:09:17 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org ABE753858D20 Authentication-Results: sourceware.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=gmail.com Received: by mail-qt1-x835.google.com with SMTP id l18so4863708qtp.1 for ; Mon, 27 Feb 2023 02:09:17 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=to:subject:message-id:date:from:mime-version:from:to:cc:subject :date:message-id:reply-to; bh=oV8eNLf7wwTndvjHRvUaUMDjzx9rEshFh4FVE6JNS2A=; b=kvOpurH6tJyCa4puSgidaXrgluktokbqlTyTusRzgnKqWhHhjCBDG5IFyh8s4tRlHE 12H8LcnzBcEXWb4Xq/g6qoGqAU/nE2YtHidUiWJPOg/duLhEiUaajWnsC/7Xji0jme0Q 1VrkDL0C9jwP24A5534UbW6eWExF3Z2Vwwr0Koft6KUE2vKGS6YQ3TmmQJtg0j0zQxu8 +n4PbTXlrOx14nZhMCxxEdh+guO0nV+BGq7RZfzyibrPIWi4BhpbToJHFZwWR9jbmIGT +OEm3SggB2Z2OsE8g45xOV++y3Ge0a4KSvHRfzJahM5jLJftFmgLagKLlKyLlr2WatKZ GJPw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=to:subject:message-id:date:from:mime-version:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=oV8eNLf7wwTndvjHRvUaUMDjzx9rEshFh4FVE6JNS2A=; b=y4W+AxneaEz+eUphQSih+KLvxhzNXgwpMNJWHaKt0xjJuVk39NvXMkrfT3LZIaFFTI N2bQWbDCsjNam2g2lUpgXe/aUJ6j/cU3+GMcL3+DpThz+CqoucFMuVZfYTbANjLTgy5v TQJvyS/zd9zSr1YH9YtdtHUTrmCf/Cg3PULd/639pZvo/8UYOlnVHx/ULpdOSdqMWpOL +wCN4qplQg9Q4071oy2LXcg35Okj8hyf/SQzgQlY/qoJD+B29yZjILRH9aPC67sJeNIT OQZdejG6YLMqOo9tf52fEAybi8G+9hf3ERTVZncnOO9fbEr4aQ+mHALFfXGsIw6/eN+9 vDCw== X-Gm-Message-State: AO0yUKXVYaf+Iq//E3TJ+Twqbtd7f8Gba8EI12uRO3wME9E/570pXJGk 3QfwF5cAWdTutbyej+s0cBI3zz19Bhyk/cee/21RIrbsHuyBjQ== X-Google-Smtp-Source: AK7set9+bS+wW/EA8HRthNrypeDHUuAgP/O4pIoqMxlDBInOJ8aXRRXIGI8GTu0PKbmtlMHkJmSDLoS+V4emC1X7kJs= X-Received: by 2002:ac8:1e0b:0:b0:3bf:c82c:ff15 with SMTP id n11-20020ac81e0b000000b003bfc82cff15mr1529583qtl.7.1677492556829; Mon, 27 Feb 2023 02:09:16 -0800 (PST) MIME-Version: 1.0 From: Panicz Maciej Godek Date: Mon, 27 Feb 2023 11:09:05 +0100 Message-ID: Subject: Default methods in interfaces To: kawa Content-Type: multipart/alternative; boundary="000000000000f69eb705f5ababa0" X-Spam-Status: No, score=-0.9 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 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: --000000000000f69eb705f5ababa0 Content-Type: text/plain; charset="UTF-8" Hi, is there a way to use interface default methods in Kawa? suppose that I have an interface defined like this: (define-simple-class I () interface: #t ((m key) #!abstract) ((contains key)::boolean (not (eq? #!null (m key))))) When I try running this raw, Kawa complains: Exception in thread "main" java.lang.ClassFormatError: Code attribute in native or abstract methods in class file I But when I try to add allocation: 'default or access: 'default before the method's body, I get either unknown allocation specifier or unknown access specifier (quote default) error. I haven't found any mention of "default methods" in the Kawa manual, so I wonder whether this feature is supported, or whether it would be hard to add support for it to Kawa. Best regards, Panicz --000000000000f69eb705f5ababa0--