From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!.POSTED!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: emacs-module.c, eassert, and nonnull args
Date: Mon, 05 Jun 2017 18:33:51 +0300
Message-ID: <83inkaa1pc.fsf@gnu.org>
References: <5a128432-e087-ad45-a15c-c2b0ebb8f28d@cs.ucla.edu>
	<CAArVCkRqdMaDPiHCco3ZQYZ32zqbdoJGHsOv+x60r1ph6CdO8w@mail.gmail.com>
Reply-To: Eli Zaretskii <eliz@gnu.org>
NNTP-Posting-Host: blaine.gmane.org
X-Trace: blaine.gmane.org 1496676883 8708 195.159.176.226 (5 Jun 2017 15:34:43 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Mon, 5 Jun 2017 15:34:43 +0000 (UTC)
Cc: phst@google.com, eggert@cs.ucla.edu, emacs-devel@gnu.org
To: Philipp Stephani <p.stephani2@gmail.com>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Jun 05 17:34:40 2017
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@m.gmane.org
Original-Received: from lists.gnu.org ([208.118.235.17])
	by blaine.gmane.org with esmtp (Exim 4.84_2)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1dHu1f-0001sW-Qy
	for ged-emacs-devel@m.gmane.org; Mon, 05 Jun 2017 17:34:39 +0200
Original-Received: from localhost ([::1]:33894 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1dHu1j-0002XF-JO
	for ged-emacs-devel@m.gmane.org; Mon, 05 Jun 2017 11:34:43 -0400
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:58570)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1dHu17-0002X9-3N
	for emacs-devel@gnu.org; Mon, 05 Jun 2017 11:34:05 -0400
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1dHu13-0000Nu-TL
	for emacs-devel@gnu.org; Mon, 05 Jun 2017 11:34:05 -0400
Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:40952)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@gnu.org>)
	id 1dHu13-0000Ni-QP; Mon, 05 Jun 2017 11:34:01 -0400
Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:1270
	helo=home-c4e4a596f7)
	by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
	(Exim 4.82) (envelope-from <eliz@gnu.org>)
	id 1dHu12-0007eq-Nx; Mon, 05 Jun 2017 11:34:01 -0400
In-reply-to: <CAArVCkRqdMaDPiHCco3ZQYZ32zqbdoJGHsOv+x60r1ph6CdO8w@mail.gmail.com>
	(message from Philipp Stephani on Mon, 05 Jun 2017 13:56:57 +0000)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.21
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-devel/>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Original-Sender: "Emacs-devel" <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Xref: news.gmane.org gmane.emacs.devel:215452
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/215452>

> From: Philipp Stephani <p.stephani2@gmail.com>
> Date: Mon, 05 Jun 2017 13:56:57 +0000
> Cc: Emacs Development <emacs-devel@gnu.org>
> 
> * src/emacs-module.c (assert_main_thread, assert_runtime, assert_env)
> (assert_value): New functions to assert module requirements.

I'd prefer to have these functions called module_assert_SOMETHING.

Thanks.