From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <boris@codesynthesis.com>
Received: from codesynthesis.com (codesynthesis.com [188.40.148.39])
 by sourceware.org (Postfix) with ESMTPS id 529EC3892454
 for <gcc-patches@gcc.gnu.org>; Tue, 24 Nov 2020 07:11:11 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.3.2 sourceware.org 529EC3892454
Authentication-Results: sourceware.org; dmarc=none (p=none dis=none)
 header.from=codesynthesis.com
Authentication-Results: sourceware.org;
 spf=pass smtp.mailfrom=boris@codesynthesis.com
Received: from brak.codesynthesis.com (unknown [105.226.15.202])
 (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits))
 (No client certificate requested)
 by codesynthesis.com (Postfix) with ESMTPSA id 3C1F85F6C1;
 Tue, 24 Nov 2020 07:11:09 +0000 (UTC)
Received: by brak.codesynthesis.com (Postfix, from userid 1000)
 id 4A7E31A800C5; Tue, 24 Nov 2020 09:11:05 +0200 (SAST)
Date: Tue, 24 Nov 2020 09:11:05 +0200
From: Boris Kolpackov <boris@codesynthesis.com>
To: gcc-patches@gcc.gnu.org
Subject: Re: Modules doc
Message-ID: <boris.20201124090902@codesynthesis.com>
References: <9c066876-dfe5-778d-aaa4-dd343afe5d35@acm.org>
 <20201120164516.GB3996@redhat.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20201120164516.GB3996@redhat.com>
Organization: Code Synthesis
User-Agent: Mutt/1.5.24 (2015-08-30)
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS,
 SPF_HELO_PASS, SPF_PASS, TXREP autolearn=ham autolearn_force=no version=3.4.2
X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on
 server2.sourceware.org
X-BeenThere: gcc-patches@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc-patches mailing list <gcc-patches.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc-patches/>
List-Post: <mailto:gcc-patches@gcc.gnu.org>
List-Help: <mailto:gcc-patches-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc-patches>,
 <mailto:gcc-patches-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Tue, 24 Nov 2020 07:11:13 -0000

Marek Polacek <polacek@redhat.com> writes:

> > +Only emit the module CMI, inhibiting any object file.
> 
> Maybe say here that CMI is Compiled Module Interface.

FYI, SG15 (WG21 study group on tooling) seems to have settled
on BMI ("built module interface"):

https://github.com/cplusplus/modules-ecosystem-tr/blob/master/definitions.tex