From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Reuben Thomas Newsgroups: gmane.emacs.bugs Subject: bug#9222: 23.3.50; "void" is not "typeless" (but thanks for the koan!) Date: Sun, 11 Sep 2011 09:13:00 +0100 Message-ID: References: <87sjpkc5zm.fsf@sc3d.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 X-Trace: dough.gmane.org 1315728836 19327 80.91.229.12 (11 Sep 2011 08:13:56 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 11 Sep 2011 08:13:56 +0000 (UTC) Cc: Lars Magne Ingebrigtsen , 9222@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sun Sep 11 10:13:52 2011 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([140.186.70.17]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1R2fAm-0003YD-2d for geb-bug-gnu-emacs@m.gmane.org; Sun, 11 Sep 2011 10:13:52 +0200 Original-Received: from localhost ([::1]:48589 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R2fAl-0006Wp-Hr for geb-bug-gnu-emacs@m.gmane.org; Sun, 11 Sep 2011 04:13:51 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:54098) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R2fAj-0006Wk-7D for bug-gnu-emacs@gnu.org; Sun, 11 Sep 2011 04:13:50 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1R2fAi-0008UJ-A6 for bug-gnu-emacs@gnu.org; Sun, 11 Sep 2011 04:13:49 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:33916) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R2fAi-0008UF-7N for bug-gnu-emacs@gnu.org; Sun, 11 Sep 2011 04:13:48 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1R2fEo-0006D9-Am; Sun, 11 Sep 2011 04:18:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Reuben Thomas Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sun, 11 Sep 2011 08:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 9222 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 9222-submit@debbugs.gnu.org id=B9222.131572903823827 (code B ref 9222); Sun, 11 Sep 2011 08:18:02 +0000 Original-Received: (at 9222) by debbugs.gnu.org; 11 Sep 2011 08:17:18 +0000 Original-Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1R2fE6-0006CF-AK for submit@debbugs.gnu.org; Sun, 11 Sep 2011 04:17:18 -0400 Original-Received: from exprod7og121.obsmtp.com ([64.18.2.20]) by debbugs.gnu.org with smtp (Exim 4.69) (envelope-from ) id 1R2fE4-0006C7-O1 for 9222@debbugs.gnu.org; Sun, 11 Sep 2011 04:17:17 -0400 Original-Received: from mail-yw0-f44.google.com ([209.85.213.44]) (using TLSv1) by exprod7ob121.postini.com ([64.18.6.12]) with SMTP ID DSNKTmxtjSy9rHnOrpIUzzEawMH0ZAw9y594@postini.com; Sun, 11 Sep 2011 01:13:02 PDT Original-Received: by ywa6 with SMTP id 6so916342ywa.3 for <9222@debbugs.gnu.org>; Sun, 11 Sep 2011 01:13:00 -0700 (PDT) Original-Received: by 10.231.26.28 with SMTP id b28mr3976575ibc.42.1315728780372; Sun, 11 Sep 2011 01:13:00 -0700 (PDT) Original-Received: by 10.231.145.145 with HTTP; Sun, 11 Sep 2011 01:13:00 -0700 (PDT) In-Reply-To: X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Sun, 11 Sep 2011 04:18:02 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 1) X-Received-From: 140.186.70.43 X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:50871 Archived-At: On 11 September 2011 05:56, Stefan Monnier wrote: > > It's still not typeless: it's just that the type you get gives you no > information about the data. Moreover, in C, in which types are not first-class objects, no type has a type, so every type is a typeless type. I agree, BTW, that "unit type" is a better description of void than my original "empty type". -- http://rrt.sc3d.org