Re: [Cbor] CDDL 2.0 import and paths
Michael Richardson <mcr+ietf@sandelman.ca> Mon, 06 February 2023 23:10 UTC
Return-Path: <mcr+ietf@sandelman.ca>
X-Original-To: cbor@ietfa.amsl.com
Delivered-To: cbor@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 88FD7C1575D5 for <cbor@ietfa.amsl.com>; Mon, 6 Feb 2023 15:10:00 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.899
X-Spam-Level:
X-Spam-Status: No, score=-1.899 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_ZEN_BLOCKED_OPENDNS=0.001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([50.223.129.194]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id irFmQkEzNu_u for <cbor@ietfa.amsl.com>; Mon, 6 Feb 2023 15:09:58 -0800 (PST)
Received: from relay.sandelman.ca (relay.cooperix.net [176.58.120.209]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id AE5A5C1575CC for <cbor@ietf.org>; Mon, 6 Feb 2023 15:09:53 -0800 (PST)
Received: from dyas.sandelman.ca (unknown [145.15.244.207]) by relay.sandelman.ca (Postfix) with ESMTPS id 8A0AB1F47B; Mon, 6 Feb 2023 23:09:51 +0000 (UTC)
Received: by dyas.sandelman.ca (Postfix, from userid 1000) id F1643A1E99; Mon, 6 Feb 2023 18:09:50 -0500 (EST)
Received: from dyas (localhost [127.0.0.1]) by dyas.sandelman.ca (Postfix) with ESMTP id EF08EA1E95; Tue, 7 Feb 2023 00:09:50 +0100 (CET)
From: Michael Richardson <mcr+ietf@sandelman.ca>
To: Carsten Bormann <cabo@tzi.org>, Jeremy O'Donoghue <jodonogh@qti.qualcomm.com>, "cbor@ietf.org" <cbor@ietf.org>
In-reply-to: <7CABC53E-E18F-44C5-B6C1-B4A13E8FB55F@tzi.org>
References: <Y9FYSKde6bXgzep3@hephaistos.amsuess.com> <BAFC97D5-3B5A-4ED5-ADEC-93CB53CC2128@tzi.org> <2304074.1675693261@dyas> <0F5E27CB-44D6-4112-A7BA-8372F36EF3B3@tzi.org> <2312048.1675698835@dyas> <PH0PR02MB72561C8C79F5B0A9E2ED4540F2DA9@PH0PR02MB7256.namprd02.prod.outlook.com> <7CABC53E-E18F-44C5-B6C1-B4A13E8FB55F@tzi.org>
Comments: In-reply-to Carsten Bormann <cabo@tzi.org> message dated "Mon, 06 Feb 2023 18:22:22 +0100."
X-Mailer: MH-E 8.6+git; nmh 1.7+dev; GNU Emacs 26.3
MIME-Version: 1.0
Content-Type: multipart/signed; boundary="=-=-="; micalg="pgp-sha512"; protocol="application/pgp-signature"
Date: Tue, 07 Feb 2023 00:09:50 +0100
Message-ID: <2340545.1675724990@dyas>
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/DYEQD6rCB2mVuEPOfaQmlUZ2nAo>
Subject: Re: [Cbor] CDDL 2.0 import and paths
X-BeenThere: cbor@ietf.org
X-Mailman-Version: 2.1.39
Precedence: list
List-Id: "Concise Binary Object Representation \(CBOR\)" <cbor.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/cbor>, <mailto:cbor-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/cbor/>
List-Post: <mailto:cbor@ietf.org>
List-Help: <mailto:cbor-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/cbor>, <mailto:cbor-request@ietf.org?subject=subscribe>
X-List-Received-Date: Mon, 06 Feb 2023 23:10:00 -0000
Carsten Bormann <cabo@tzi.org> wrote:
> Hi Jeremy,
>> #ifndef _name_of_file
>> #define _name_of_file
> Thanks for this interesting thought!
I was also suddenly worried when Jeremy posted.
> CDDL has idempotent rule definition, as well as order independence,
Good point.
> The import semantics further reduce the damage from importing something
> twice (which is innocuous but could greatly increase file sizes) by
> only filling in names that have been undefined before; you deliberately
> don’t get that with the include semantics.
I feel much happier now that I have read this.
> Include semantics is what you probably want for controlled use within a
> project; import semantics is more useful for referencing another
> project from your project.
I'm at this point skeptical that we need include semantics at all, but I
suppose it does not hurt.
--
Michael Richardson <mcr+IETF@sandelman.ca>, Sandelman Software Works
-= IPv6 IoT consulting =-
- [Cbor] CDDL 2.0 import and paths Christian Amsüss
- Re: [Cbor] CDDL 2.0 import and paths Michael Richardson
- Re: [Cbor] CDDL 2.0 import and paths Carsten Bormann
- Re: [Cbor] CDDL 2.0 import and paths Michael Richardson
- Re: [Cbor] CDDL 2.0 import and paths Carsten Bormann
- Re: [Cbor] CDDL 2.0 import and paths Michael Richardson
- Re: [Cbor] CDDL 2.0 import and paths Jeremy O'Donoghue
- Re: [Cbor] CDDL 2.0 import and paths Carsten Bormann
- Re: [Cbor] CDDL 2.0 import and paths Carsten Bormann
- Re: [Cbor] CDDL 2.0 import and paths Michael Richardson
- Re: [Cbor] CDDL 2.0 import and paths Carsten Bormann
- Re: [Cbor] CDDL 2.0 import and paths Carsten Bormann
- Re: [Cbor] CDDL 2.0 import and paths Carsten Bormann