From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Lars Magne Ingebrigtsen Newsgroups: gmane.emacs.bugs Subject: bug#9222: 23.3.50; "void" is not "typeless" (but thanks for the koan!) Date: Sun, 11 Sep 2011 05:30:24 +0200 Message-ID: References: <87sjpkc5zm.fsf@sc3d.org> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: dough.gmane.org 1315712039 2163 80.91.229.12 (11 Sep 2011 03:33:59 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Sun, 11 Sep 2011 03:33:59 +0000 (UTC) Cc: Reuben Thomas , 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 05:33:54 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 1R2anq-00080y-9k for geb-bug-gnu-emacs@m.gmane.org; Sun, 11 Sep 2011 05:33:54 +0200 Original-Received: from localhost ([::1]:42150 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R2anp-0006Wh-DR for geb-bug-gnu-emacs@m.gmane.org; Sat, 10 Sep 2011 23:33:53 -0400 Original-Received: from eggs.gnu.org ([140.186.70.92]:37992) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R2anm-0006WQ-8n for bug-gnu-emacs@gnu.org; Sat, 10 Sep 2011 23:33:51 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1R2anl-0002qJ-3C for bug-gnu-emacs@gnu.org; Sat, 10 Sep 2011 23:33:50 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:55250) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1R2anl-0002qF-0C for bug-gnu-emacs@gnu.org; Sat, 10 Sep 2011 23:33:49 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1R2arq-0002zA-3v; Sat, 10 Sep 2011 23:38:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Lars Magne Ingebrigtsen 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 03:38: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.131571227011459 (code B ref 9222); Sun, 11 Sep 2011 03:38:02 +0000 Original-Received: (at 9222) by debbugs.gnu.org; 11 Sep 2011 03:37:50 +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 1R2are-0002yl-2a for submit@debbugs.gnu.org; Sat, 10 Sep 2011 23:37:50 -0400 Original-Received: from hermes.netfonds.no ([80.91.224.195]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1R2arc-0002ye-3a for 9222@debbugs.gnu.org; Sat, 10 Sep 2011 23:37:49 -0400 Original-Received: from cm-84.215.51.58.getinternet.no ([84.215.51.58] helo=stories.gnus.org) by hermes.netfonds.no with esmtpsa (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.72) (envelope-from ) id 1R2anP-0008DG-Qh; Sun, 11 Sep 2011 05:33:27 +0200 In-Reply-To: (Stefan Monnier's message of "Sat, 10 Sep 2011 23:25:10 -0400") User-Agent: Gnus/5.110018 (No Gnus v0.18) Emacs/24.0.50 (gnu/linux) Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAElBMVEWth25oTjw3FRg2BQ8K AgRiOiyZ18D4AAACYklEQVQ4jW2UwbajIAyGQ+90Lw7slcIL1Lq/YNgXJe//KvOD7WkXk1OryZdI EiKUxTH/emYOsusiEhSR0pqyyK2DVLQoAFe0siIN7BwruyBSFJQkTRzhXtNsQtMs6H53TjvPDfi1 jM1eRudcW20e+QQizeQGXNzklwxAM7mf5cFB42HZto0jERMvC3wMsiLandv9jX0mqtRj+Q9PSH90 Re1u8fC5vMF2nRARBhSHt+L/BX6yPOE2t6KxEtHwApe0w/kyoRfahpkG3cHiLLyUHk8gRWwhvrd0 lSsAdro2uxTdQG+Gxg/SImywJ+g9K/vcwbXoAVZN1COcK6gb8kTEQEL0Asxxm/vuEOig3uBA2xLq GxoY7AdUAJ5abaSQ6kBv4BsoJ0BCz5Pw2oF7A6vLC2SszRG73wCVM9cT7AD2BZBVz1Y3AJKvWLPV gMrxKuTQQeUMtRf36o0+I3wOF130CQbVFsdGtTEJYrsnDKF1oEcApN1dnJt6MvJKCsD5ZVn+3ngt 9C38HpM2Px+5vsEF1/QFxm9wHz4BmdIJUD2noIazCOsDRc//FUqhbqiw9XJZkrA8NnnctgflQ8Jx hCTrfqxZqlSokgEenHnNXLkCLPWoK1Rhyswr5zeQh9QFhoNbxPqJED4OqNvOtOGFx5EfslY8wffI y4E7xaux2Gk1qTiUHMxQ9fNeoqFkMOXRKBNH1qMxmvUc4+wBjPZxmsc4J/3rzexHHecZH6f3bkwp RZNwYz+zjmaMHhNc2mBl048Z34a/dSThgywWesKGcLGVxVrG8SA0nvPTQNa6ctE4ZvYg/wDvc8pq FW+vQQAAAABJRU5ErkJggg== X-Now-Playing: Colourbox's _The Moon is Blue_: "The Moon is Blue" X-MailScanner-ID: 1R2anP-0008DG-Qh MailScanner-NULL-Check: 1316316808.41246@c3rGqYkQiux9Jmjzy2CPNw X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Sat, 10 Sep 2011 23:38: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:50839 Archived-At: Stefan Monnier writes: > PS: Of course, in C the "void" type is more like the "unit" type than > like the empty type, i.e. a type with a single value which hence doesn't > carry any information. E.g. a function that returns a type void can > return, tho its return value carries no information ("it returns > nothing") whereas a function that returns the empty type is a function > that will never return (since there is no value in the empty type, the > function can never return a value of the right type). I was thinking more of functions that take void* as a parameter. What's usually expressed by that is "here's some memory that we're not actually telling you what the type of is explicitly", so it's (sort of) a pointer to something typeless. It's not a pointer to something of an empty type. :-) So calling "void" a "typeless type" makes some sense. At least to me -- in a C context. -- (domestic pets only, the antidote for overdose, milk.) bloggy blog http://lars.ingebrigtsen.no/