IETF Logo Mail Archive

Re: [Cbor] CDDL 2.0 import and paths

Carsten Bormann <cabo@tzi.org> Mon, 06 February 2023 20:04 UTC

Return-Path: <cabo@tzi.org>
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 972A5C14CE2E for <cbor@ietfa.amsl.com>; Mon, 6 Feb 2023 12:04:27 -0800 (PST)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.199
X-Spam-Level:
X-Spam-Status: No, score=-4.199 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RCVD_IN_DNSWL_MED=-2.3, 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 Y6w1gJU-jvDv for <cbor@ietfa.amsl.com>; Mon, 6 Feb 2023 12:04:25 -0800 (PST)
Received: from smtp.zfn.uni-bremen.de (gabriel-smtp.zfn.uni-bremen.de [IPv6:2001:638:708:32::15]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id EFA42C14CE4D for <cbor@ietf.org>; Mon, 6 Feb 2023 12:04:24 -0800 (PST)
Received: from [192.168.217.124] (p548dc9a4.dip0.t-ipconnect.de [84.141.201.164]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.zfn.uni-bremen.de (Postfix) with ESMTPSA id 4P9cfZ096kzDCcd; Mon, 6 Feb 2023 21:04:21 +0100 (CET)
Content-Type: text/plain; charset="utf-8"
Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.120.23.2.7\))
From: Carsten Bormann <cabo@tzi.org>
In-Reply-To: <BAFC97D5-3B5A-4ED5-ADEC-93CB53CC2128@tzi.org>
Date: Mon, 06 Feb 2023 21:04:21 +0100
X-Mao-Original-Outgoing-Id: 697406661.5423501-c09e385376f8e8412a5a18c6d384b36a
Content-Transfer-Encoding: quoted-printable
Message-Id: <799E5143-965F-425A-8A2B-B8FF0AE44A32@tzi.org>
References: <Y9FYSKde6bXgzep3@hephaistos.amsuess.com> <BAFC97D5-3B5A-4ED5-ADEC-93CB53CC2128@tzi.org>
To: cbor@ietf.org
X-Mailer: Apple Mail (2.3608.120.23.2.7)
Archived-At: <https://mailarchive.ietf.org/arch/msg/cbor/V11moYJ76zb7oG5e8MJ3138-vQg>
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 20:04:27 -0000

On 2023-02-06, at 05:12, Carsten Bormann <cabo@tzi.org> wrote:
> 
> I plan to add something like
> 
> ;# import rfc9052 as COSE
> 
> which would rename the names in the imported rules to start with COSE(*).

This is now implemented in cddlc 0.1.3.

(As it was easier to do than not to do, this also supports “;# include xxx as yyy”.)

> (This is of course interesting because of other imported names, as well as prelude names…)

Right.  So this strictly renames only names defined (including included/imported) by the module.

Grüße, Carsten

v2.41.0 | Report a Bug | By Email | System Status