From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id SNImMhjNl2KzWAEAbAwnHQ (envelope-from ) for ; Wed, 01 Jun 2022 22:33:28 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id SPEMMhjNl2LCPAAA9RJhRA (envelope-from ) for ; Wed, 01 Jun 2022 22:33:28 +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 5FE191D4D for ; Wed, 1 Jun 2022 22:33:28 +0200 (CEST) Received: from localhost ([::1]:51940 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nwV1z-000453-Ji for larch@yhetil.org; Wed, 01 Jun 2022 16:33:27 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:53158) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nwV1w-000447-Gw for gwl-devel@gnu.org; Wed, 01 Jun 2022 16:33:24 -0400 Received: from sender4-of-o50.zoho.com ([136.143.188.50]:21082) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nwV1t-00026h-Mb for gwl-devel@gnu.org; Wed, 01 Jun 2022 16:33:24 -0400 ARC-Seal: i=1; a=rsa-sha256; t=1654115595; cv=none; d=zohomail.com; s=zohoarc; b=amjs2YfQoEy78Z7dzomyfTvI3F7JOCECOMSp8n3ePU3FAf+6OovvdBwSYIA8h1iuxv85bHF7tmnsBXleP02b/TdOjZLcridODCQwBmfaVqeoOPKO0hqT7bQKTe+GofxRgo5I8GFF3/UvCIHS3vJDh79SloFIx7h9tEk+teBWa04= ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=zohomail.com; s=zohoarc; t=1654115595; h=Content-Type:Content-Transfer-Encoding:Cc:Date:From:In-Reply-To:MIME-Version:Message-ID:References:Subject:To; bh=XSDj9zFv8qtGp0yTTxUgD2kqOFe2WznAQZ8Q9pYseQk=; b=MQXMIASVgEMZxLdvATSyi3AR7Hl8oaO41NCrQ3Zm4zW9dHAT6wdi+MTcvaKAG5pp7c4JE3mw9QtH7VhbORbPXx84hJmjwMu3gActhDUhuk9fv08V2ujuXjA3SucB+EM/BTkbjiscMySTZ4QclNyQVbvzQG0MKFktTmhpjmw2POs= ARC-Authentication-Results: i=1; mx.zohomail.com; dkim=pass header.i=elephly.net; spf=pass smtp.mailfrom=rekado@elephly.net; dmarc=pass header.from= DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; t=1654115595; s=zoho; d=elephly.net; i=rekado@elephly.net; h=References:From:From:To:To:Cc:Cc:Subject:Subject:Date:Date:In-reply-to:Message-ID:MIME-Version:Content-Type:Content-Transfer-Encoding:Message-Id:Reply-To; bh=XSDj9zFv8qtGp0yTTxUgD2kqOFe2WznAQZ8Q9pYseQk=; b=g16Snl15hpzKJrpsniiWCioQE0SjZLtbFRTmSrtesp6sGYoDUvIg1BscGZ/0GI2v eU9G3jX+VM3TOkS0WFVrXHPNko6zQVfq+LOM3tCqB2tT/XJ4CUSnI33BjREF8NmJDW2 r/gQ8m+4bAtmroqqddtSS+o0gHbXQ+FoWi5T9Opw= Received: from localhost (46-108-142-46.pool.kielnet.net [46.142.108.46]) by mx.zohomail.com with SMTPS id 165411559123295.31574656422549; Wed, 1 Jun 2022 13:33:11 -0700 (PDT) References: <87ee0ip9sw.fsf@taiju.info> <87mtewzg7g.fsf@elephly.net> <87r148e9va.fsf@taiju.info> User-agent: mu4e 1.6.10; emacs 28.1 From: Ricardo Wurmus To: Taiju HIGASHI Cc: gwl-devel@gnu.org Subject: Re: Support for guile-config 0.5 Date: Wed, 01 Jun 2022 22:29:28 +0200 In-reply-to: <87r148e9va.fsf@taiju.info> X-URL: https://elephly.net X-PGP-Key: https://elephly.net/rekado.pubkey X-PGP-Fingerprint: BCA6 89B6 3655 3801 C3C6 2150 197A 5888 235F ACAC Message-ID: <871qw8yvi3.fsf@elephly.net> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-ZohoMailClient: External Received-SPF: pass client-ip=136.143.188.50; envelope-from=rekado@elephly.net; helo=sender4-of-o50.zoho.com X-Spam_score_int: -20 X-Spam_score: -2.1 X-Spam_bar: -- X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action 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=2; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1654115608; 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: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=XSDj9zFv8qtGp0yTTxUgD2kqOFe2WznAQZ8Q9pYseQk=; b=NSPUGX+yGswxKU6F1cuhlorXFnIrCKfGW3RvL+iUdOPBt5pxCUkodduGss99DE6yhvPkBJ COeAS3a+Ws5VdDuXFMf7PWUvGKlQz0Q0BrH2eIFnEQfHuCHrguYPOfmTINNgcL2ryqSq8s Rs/j5riz1iZAwQtzZDWm9b+R3uCII9cBgPOz8KOtcvtGRQqt9Op58YyDEH9aeavAfCCWWC HFhXejPm6fPoLwOQsGXiKaVSkRErkgKqTEG8sxkBeY1b+1I+F0QxLwIzYh7cQ15kL1wF4c gaKya/rdd1KJVnlqI36Xe5OkcaIHVXq8Vfw7XzVYT7xhpbNECPYTDuMhig9vUA== ARC-Seal: i=2; s=key1; d=yhetil.org; t=1654115608; a=rsa-sha256; cv=pass; b=GSR6ysJ/J2sshgLrUf/UItbAlLdw6kfqRrndwEMDG/Oh4aPukCwvM3Fcy2u/LOWOQyRALJ 9lm0lZmbeZv0YVmrhYgLIVFkM0fsK9XoFkB64C5uT+CzX2IBhky7bvIqDCyMU3kx3XSrt/ keawYBE4L87L+Vung/1EDaomsKgix46qjypR8UiWNxSNQI6ghnHjPwJ/ZiZM7mbypGkO2M x1CF9VtHJxDb59QT82VzQBrIa+1ZqPRgVcfuL1VVV0i1GZVt/dYdtTLo4HVqwSGZE4XqFc lQmurZ8KMbbMnuqvLdxm/1drJR8C5EutfiEzDblct4KoVRoJtzZ8yCcmSiR2og== ARC-Authentication-Results: i=2; aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=g16Snl15; arc=pass ("zohomail.com:s=zohoarc:i=1"); 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: -6.03 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=elephly.net header.s=zoho header.b=g16Snl15; arc=pass ("zohomail.com:s=zohoarc:i=1"); 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: 5FE191D4D X-Spam-Score: -6.03 X-Migadu-Scanner: scn0.migadu.com X-TUID: xlQl3QMsfn9i Hi again, Taiju HIGASHI writes: > 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 =E2=80=9Coutput=E2=80=9D switch mandatory, but it=E2=80= =99s optional. > > The (default (empty)) and the (default "") are different things. > The (default (empty)) is the default value of the switch record default f= ield. > If I don't add that line, that switch will make evaluated as mandatory > because the default field is (empty). [1] Yes, you are right, sorry. >>> (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=E2=80=99s 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. You are right. Sorry, I got confused :) > 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] So I guess the only thing I need to check is what to do when the default value is the empty string. We have some options that have validators. When the value is the empty string and the validator merely checks that the value is a string, then we would always pass validation in the default case. I=E2=80=99ll play with this some more and try to come up with better input validation. Thanks for getting the ball rolling with this patch! --=20 Ricardo