From: lkcl <luke.leighton@gmail.com>
To: GCC developers <gcc@gcc.gnu.org>
Subject: Re: rust non-free-compatible trademark
Date: Mon, 18 Jul 2022 15:30:55 +0100 [thread overview]
Message-ID: <CAPweEDwN_qzA1Ehpqqw5-Vwxr8G5ajY1N4ESt=UFGTK4gDBJ=A@mail.gmail.com> (raw)
In-Reply-To: <CAPweEDxwqufkAcaWmQa_0Pcm-KQ9cr+XfyqyeMXtcVg1Gt6YuA@mail.gmail.com>
a (private) discussion has, fascinatingly, uncovered this, from 1987:
http://archive.adaic.com/pol-hist/policy/trademrk.txt
In order to be a validated Ada compiler, a compiler must pass
an extensive suite of programs called the Ada Compiler Validation
Capability (ACVC). The AJPO has adopted a certification mark to show
that a compiler has passed the ACVC and is a validated compiler or
a compiler derived from a validated base compiler as defined in the
Ada Compiler Validations Procedures and Guidelines (version 1.1 of
which was issued in January 1987). The certification mark may also
be used on certain literature accompanying or documenting a validated
compiler. Information concerning the proper use of the certification
mark was distributed to interested parties during the summer of 1987.
what that tells us is that there is precedent for a Computer Language
to apply for and be granted a *Certification Mark* which was enforced
through the extremely simple process of running an Authorised
Certification Suite.
the modern name for such is "test suite".
if the Rust Foundation were to add an extremely simple phrase
"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"
then all the problems and pain goes away.
as i said: the Rust Foundation is the world's first FOSS Project
attempting to create a Certification Mark (and doing a poor-man's
job of it).
a thorough investigation of how it was done for ADA should reveal
how it can be properly done for gccrs and rustc.
i feel reasonably confident in saying that if i had the time to look
up discussions on this topic, there would almost certainly be requests
from the Rust Foundation that gccrs pass the exact same test suites
as provided with rustc.
A Certification Mark is the proper way to formally and legally enforce such
requirements. telling people they cannot patch the source code without
permission is a troublesome and tiresome and non-trusting way to attempt
the same objective.
l.
next prev parent reply other threads:[~2022-07-18 14:31 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-07-17 15:28 lkcl
2022-07-17 16:25 ` Richard Biener
2022-07-17 16:47 ` lkcl
2022-07-17 18:24 ` Richard Kenner
2022-07-17 18:57 ` Alexandre Oliva
2022-07-17 16:31 ` Mark Wielaard
2022-07-17 17:06 ` lkcl
2022-07-17 17:41 ` Mark Wielaard
2022-07-17 18:11 ` lkcl
2022-07-17 18:29 ` lkcl
2022-07-17 22:59 ` Mark Wielaard
2022-07-17 23:07 ` lkcl
2022-07-17 23:55 ` Richard Kenner
2022-07-17 18:28 ` Richard Kenner
2022-07-17 18:54 ` Alexandre Oliva
2022-07-18 7:09 ` David Brown
2022-07-18 8:07 ` lkcl
2022-07-18 8:50 ` Jonathan Wakely
2022-07-18 9:06 ` lkcl
2022-07-18 14:30 ` lkcl [this message]
2022-07-18 17:11 ` Richard Kenner
2022-07-18 17:12 ` Richard Kenner
2022-07-18 18:32 ` Florian Weimer
2022-07-18 18:43 ` Arthur Cohen
2022-07-19 9:43 ` Florian Weimer
2022-07-18 19:35 ` lkcl
2022-07-18 21:01 ` David Malcolm
2022-07-18 23:09 ` lkcl
2022-07-19 9:27 ` Gabriel Ravier
2022-07-19 10:26 ` lkcl
2022-07-19 10:55 ` Jonathan Wakely
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='CAPweEDwN_qzA1Ehpqqw5-Vwxr8G5ajY1N4ESt=UFGTK4gDBJ=A@mail.gmail.com' \
--to=luke.leighton@gmail.com \
--cc=gcc@gcc.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).