From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id 8F7FE8TAl2IQ/gAAbAwnHQ (envelope-from ) for ; Wed, 01 Jun 2022 21:40:52 +0200 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id SHrLEsTAl2LlWgEAG6o9tA (envelope-from ) for ; Wed, 01 Jun 2022 21:40:52 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id D5C5B19CCB for ; Wed, 1 Jun 2022 21:40:51 +0200 (CEST) Received: from localhost ([::1]:57552 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nwUD4-0001Gf-Ln for larch@yhetil.org; Wed, 01 Jun 2022 15:40:50 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:46762) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nwPKq-0006j3-Vv for gwl-devel@gnu.org; Wed, 01 Jun 2022 10:28:32 -0400 Received: from mail-pl1-x62d.google.com ([2607:f8b0:4864:20::62d]:45673) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nwPKo-0001yD-VA for gwl-devel@gnu.org; Wed, 01 Jun 2022 10:28:32 -0400 Received: by mail-pl1-x62d.google.com with SMTP id q18so1945540pln.12 for ; Wed, 01 Jun 2022 07:28:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=taiju-info.20210112.gappssmtp.com; s=20210112; h=from:to:cc:subject:references:date:in-reply-to:message-id :user-agent:mime-version; bh=b3Y8jyT8iPwqqGuVdzzwfql7y9i3UBawSdrWdQG2kes=; b=JVx5wsuc5QmfNRpR6ItHvK3aYHx0nllo4jY0QAv1kMf7ce2rYqHaGmq4xQbJdVL1Wi uxMczhwGPjYnLButjYdg5lnmZr5O/hs9HwOUa1LWV5akzznnkEXujCf4loFLWqG9dtuV BKkGzuWyE1pxr8cIMgzO2z0GusC9N0gXg8yTfRmvkldbJEjT97hI8i5cTeUCOZ1KgaWn RDN7tPzSXeR9lsu6Y1FbYjtMuyDad4UNJcks7c50elxaOK72WZqH5sPwGHgWWkhXLjhe gOL86tQ4WgCNS3m+YnhU6pdFYOUbCx7KMwsI7StzMpYBhzqebuPGAsmEuN9S5PpIaFVf e7ww== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:references:date:in-reply-to :message-id:user-agent:mime-version; bh=b3Y8jyT8iPwqqGuVdzzwfql7y9i3UBawSdrWdQG2kes=; b=aHQ8CIJUndtU81hx4tTiQ1N7T2hTLrwHvcyS10lrQOp29pBlebb393PCx0Rpz38MNl cs5ueROlX/Cp4ZEuZ0sW7Oqg2OUDVjtLVpTyMs66dpIyucBNYjho5MnltfuPxuShRJx7 zM3eSsn/TSlSeHUCwtI2SpDQrVtOxXhPe+qESquUJfZM6l5jaAvZYk4Oj7zfVX74YaIH 5Vc6TqVZIzpJ6u5zMjzFYWaJFuDaAkoWmXxGbF1ZnQrutKePUCN/hJNLghE4kEeE6SjP IuEcKNC1SXQhjDyYf80/WYiOkL8pkFzz/KYaHVWtmUUy0xfKxgy07aIA7g4AcLRy6fKg mBIA== X-Gm-Message-State: AOAM530Jw+nVZUuoZVVZfeKFj3HODOBXNBKq5PsjUykpvmQo3sIw2XjV zRX0fVl5FkNk1J4KwcFXYn4qMD8OZZVPcfdX X-Google-Smtp-Source: ABdhPJxdh7kZ1eVEP1N90L7MjEpD+Ef/KtUKMYO49NZi8fCT4YQNHPnUM5lh0mZpVe7ESUw+zEJ8UA== X-Received: by 2002:a17:902:e34b:b0:166:342f:82c6 with SMTP id p11-20020a170902e34b00b00166342f82c6mr35793plc.29.1654093709147; Wed, 01 Jun 2022 07:28:29 -0700 (PDT) Received: from Taix ([240b:253:ec40:2400:b7d1:436e:2d61:e925]) by smtp.gmail.com with ESMTPSA id iw22-20020a170903045600b0015e8d4eb2afsm1610478plb.249.2022.06.01.07.28.27 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 01 Jun 2022 07:28:28 -0700 (PDT) From: Taiju HIGASHI To: Ricardo Wurmus Cc: gwl-devel@gnu.org Subject: Re: Support for guile-config 0.5 References: <87ee0ip9sw.fsf@taiju.info> <87mtewzg7g.fsf@elephly.net> Date: Wed, 01 Jun 2022 23:28:25 +0900 In-Reply-To: <87mtewzg7g.fsf@elephly.net> (Ricardo Wurmus's message of "Wed, 01 Jun 2022 15:01:24 +0200") Message-ID: <87r148e9va.fsf@taiju.info> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=iso-2022-jp Received-SPF: none client-ip=2607:f8b0:4864:20::62d; envelope-from=higashi@taiju.info; helo=mail-pl1-x62d.google.com X-Spam_score_int: -18 X-Spam_score: -1.9 X-Spam_bar: - X-Spam_report: (-1.9 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_NONE=0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-Mailman-Approved-At: Wed, 01 Jun 2022 15:39:48 -0400 X-BeenThere: gwl-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: gwl-devel-bounces+larch=yhetil.org@gnu.org Sender: "gwl-devel" X-Migadu-Flow: FLOW_IN X-Migadu-To: larch@yhetil.org X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1654112452; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=b3Y8jyT8iPwqqGuVdzzwfql7y9i3UBawSdrWdQG2kes=; b=nHb3X243qa0TCVNOeInQdHW7cfBGLoJOnCDkhYkVpNa6R/QnB2+gDxvHAeNNBOsDxjpa/K AiNk7v3+kYLlWzBy/Gj2vboph3rPILZF69x0cpRJgbqqGwAu1sEWnwKiPbFXE+5rb15hfL GlwaNU7NhBN+n7q+9Pk90Dhchdjk1UvK34hQUg4CIgjVGGsG85Ea8KX1CnDBIH8Gbwkrft s5i4PzfUED833EGwr3N93k+2iG6Hvkfoj4kMhuhEv095oznaDp9Bqx8y+iF36IRgDMxusv XFKdmG0rr/kAMb137EMZjAgeCb55hpa5HMCwJOFeFeGSkTHCc3bZuqIq4YbGNA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1654112452; a=rsa-sha256; cv=none; b=X0GAfnqhHTDVJyOgusnVlyRix2MSOYWgUR4+Np5J/osolTPuKzLzfU6F4i9+xG8I4/JOU7 Mu5OqEFMbE/xWmHRUkDkPymlZI2XvTxCwp9Jjnk27xF+keA+Gs//QgK0OVzTWMu7XPI5/o VHddCmTw9OodXOa0sgTL5TdbHyjNHOeuymrH58/OvQD8b8u7SsrXJF03u27vs8dh6Nayxz Dz/2UyQOgQdHLTAHgli4gxUfCHYKdj+kECWMGnqIZxr/cwIBOTt87Xi1q+3PrdsuX8bvth TbKoc01kfWM+FGApH0OMpLA2ld7XlORQpSYl2DN3XFCV1MSp/tGmKLtTWuuTFA== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=taiju-info.20210112.gappssmtp.com header.s=20210112 header.b=JVx5wsuc; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "gwl-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="gwl-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -8.53 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=taiju-info.20210112.gappssmtp.com header.s=20210112 header.b=JVx5wsuc; dmarc=none; spf=pass (aspmx1.migadu.com: domain of "gwl-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="gwl-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: D5C5B19CCB X-Spam-Score: -8.53 X-Migadu-Scanner: scn0.migadu.com X-TUID: dR4otKiqU7+S Hi Ricardo, Thank you for reviewing. I'm not confident in them, but I will tell you my thought. >> (switch >> (name 'output) >> (character #\o) >> (synopsis "Set LOCATION as output for a workflow") >> - (example "LOCATION")) >> + (example "LOCATION") >> + (default "")) > > This makes the “output” switch mandatory, but it’s optional. The (default (empty)) and the (default "") are different things. The (default (empty)) is the default value of the switch record default field. If I don't add that line, that switch will make evaluated as mandatory because the default field is (empty). [1] >> (switch >> (name 'engine) >> (character #\e) >> @@ -147,7 +148,6 @@ format) of the specified workflow.") >> (list >> (argument >> (name 'file) >> - (optional? #false) >> (test file-exists?) >> (handler identity) >> (example "/path/to/my-workflow.w"))))) > > And this just makes the file argument optional, but it’s not. It is not to change the meaning. The optional field of the argument record has been removed, so if I do not delete it, thus it will cause an error. Since the default value of the default field of the argument record is (empty), If I want to mandatory an argument record, In case I just delete the (optional? #f) line. [2] Sorry if I am wrong. [1]: https://gitlab.com/a-sassmannshausen/guile-config/-/blob/6a00702d044663fef6d6d619f4aeb75417e1b10b/config/api.scm#L167 [2]: https://gitlab.com/a-sassmannshausen/guile-config/-/commit/9c1b1627dee927839049168a1dfc2500955c83a6#7643f2674b06b682eb8c0695dfc8e1c252099b2f Cheers, -- taiju