From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <godek.maciek@gmail.com>
Received: from mail-yb1-xb35.google.com (mail-yb1-xb35.google.com [IPv6:2607:f8b0:4864:20::b35])
	by sourceware.org (Postfix) with ESMTPS id 1A03C3858C55
	for <kawa@sourceware.org>; Tue, 20 Sep 2022 21:02:33 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 1A03C3858C55
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-yb1-xb35.google.com with SMTP id e81so5162355ybb.13
        for <kawa@sourceware.org>; Tue, 20 Sep 2022 14:02:33 -0700 (PDT)
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;
        bh=wePWAom00nqmsY/zW/OE9YgJEuqwm+DpaUpGAp+tEeU=;
        b=N8niQ4MfyKJbA90QTx/7RrHr+/9yhrkbTHFiz21uW0ndX+K9NbnMD59EvfX8Sp/4Xx
         1LFq0ua0v7jJodCKyqQ/D9tXLECLzhlRzVsxhvRK1IxznwsdRygzhWrLdxvdC1DDW834
         HnZDf23U7rPJ4E33GdmDcjxjm/pQbBGC9hzLde4aexy7q335FAQYxxDZR2aiaP4xRvgB
         TggRLhfgV6vfuE11BpLBpjRA3bI5fu8JiOdlgi412xFBrmKWRjGnwXKEZbPdfM4BQ4W3
         /dXqEAkUBeCpptXTMRubea68HWSKI8V1+mH4682mvevLhFdttsO42sTwnlBjZaAbKP8x
         5tug==
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;
        bh=wePWAom00nqmsY/zW/OE9YgJEuqwm+DpaUpGAp+tEeU=;
        b=rTRf3W+u9iGuUxdCl7EAJGD0xkCB0jUcjR7UZE8SehJX8Ot7RJe5ngtNHHBO4mnoI+
         29dPe564Gt75nAxebvURWhvrb8oDW+eJB6KntT6TP2Rrez5X2srfdcr6w+NIeLirf5eE
         O3NfFVMr4No16+MKwdny2rfStgvOb5G499I4uUmxTDxbnhS570uxFqOf7U7m3Pf06Hk3
         QLhOYXH8zr1JPcWibyUN6IXxYTIsPD2BY9nrh3R9YVzbIC5ziZHa5UtIna80Sgv3LXB0
         ZID2iP4r31x45rqsUXtNqIePlpCZyu5wm/dpDgLcC3tC7xlrPZH5PQURWkpSei1fTeOH
         hqmQ==
X-Gm-Message-State: ACrzQf0FvZh7x4CXXgKNBxGtDWGjSBlaIWyPORMJ0BEvwzGCtPGSUQIU
	nBesyED5r/Mi7wBw13fucD6Wah8o7JCPQmdOp/8fuhzMHds=
X-Google-Smtp-Source: AMsMyM7W05xp0dSPBGyCyvr339PnsiE2l7pjjvGuvavA1kWuv/29FSpGQo2H4fmfcpxBtO2I+V8feAxEbrkI8Wbmsoc=
X-Received: by 2002:a25:f85:0:b0:696:144b:ebd8 with SMTP id
 127-20020a250f85000000b00696144bebd8mr21317808ybp.123.1663707752281; Tue, 20
 Sep 2022 14:02:32 -0700 (PDT)
MIME-Version: 1.0
From: Panicz Maciej Godek <godek.maciek@gmail.com>
Date: Tue, 20 Sep 2022 23:02:22 +0200
Message-ID: <CAMFYt2aCMc90b6Mkb0E70sfmOHoipnYAmUJQQkNXYP_Z2ALyiA@mail.gmail.com>
Subject: "void-valued expression where value is needed"
To: kawa@sourceware.org
Content-Type: multipart/alternative; boundary="00000000000095bac205e922251f"
X-Spam-Status: No, score=0.7 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: <kawa.sourceware.org>

--00000000000095bac205e922251f
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Suppose that I have some code like

(define (f)::void
  (call-with-values
      (=CE=BB () #!void)
    (=CE=BB result
      (apply values result))))

When I compile it, Kawa issues the warning:

void-valued expression where value is needed

I wonder whether this warning is desired in such circumstances?

(It surely makes it difficult to write values-agnostic macros)

What is interesting is that the warning disappears if I replace #!void with
(values) [unless I declare the function's return type as ::void].

--00000000000095bac205e922251f--