From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <kenner@vlsi1.ultra.nyu.edu>
Received: from vlsi1.gnat.com (vlsi1.gnat.com
 [IPv6:2620:20:4000:0:250:56ff:fe95:277b])
 by sourceware.org (Postfix) with ESMTPS id B7D643858D28
 for <gcc@gcc.gnu.org>; Mon, 18 Jul 2022 17:11:15 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org B7D643858D28
Received: by vlsi1.gnat.com (Postfix, from userid 3004)
 id 30E473408A; Mon, 18 Jul 2022 13:11:14 -0400 (EDT)
Date: Mon, 18 Jul 2022 13:11:13 EDT
To: luke.leighton@gmail.com
Subject: Re: rust non-free-compatible trademark
Cc: gcc@gcc.gnu.org
In-Reply-To: <CAPweEDwN_qzA1Ehpqqw5-Vwxr8G5ajY1N4ESt=UFGTK4gDBJ=A@mail.gmail.com>
References: <CAPweEDxwqufkAcaWmQa_0Pcm-KQ9cr+XfyqyeMXtcVg1Gt6YuA@mail.gmail.com>
 <CAPweEDwN_qzA1Ehpqqw5-Vwxr8G5ajY1N4ESt=UFGTK4gDBJ=A@mail.gmail.com>
Message-Id: <20220718171114.30E473408A@vlsi1.gnat.com>
From: kenner@vlsi1.ultra.nyu.edu (Richard Kenner)
X-Spam-Status: No, score=-3488.2 required=5.0 tests=BAYES_40, KAM_DMARC_STATUS,
 KAM_LAZY_DOMAIN_SECURITY, SPF_HELO_NONE, SPF_NONE,
 TXREP autolearn=no autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
 server2.sourceware.org
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Mon, 18 Jul 2022 17:11:17 -0000

>     In order to be a validated Ada compiler, a compiler must pass
>     an extensive suite of programs called the Ada Compiler Validation
>     Capability (ACVC).

FYI: the current name for this is ACATS: Ada Conformity Assessment Test
Suite.

>    "to be able to use the word rust in a distributed compiler your
>     modifications must 100% pass the test suite without modifying
>     the test suite"

What does "in" mean here?  Is "rust" modifying "language" or "compiler"
in this case?  As was stated, that's a significant difference.

> a thorough investigation of how it was done for ADA should reveal
> how it can be properly done for gccrs and rustc.

It's a very different situation.  Ada was a standardized language via
a very formal process.  And it was a very different time.