From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=AWL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id B0A88BC69 for ; Sun, 29 Jul 2007 19:02:20 +0200 (CEST) Received: from furbychan.cocan.org (furbychan.cocan.org [80.68.91.176]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6TH2Kuk019042 (version=TLSv1/SSLv3 cipher=EDH-RSA-DES-CBC3-SHA bits=168 verify=NO) for ; Sun, 29 Jul 2007 19:02:20 +0200 Received: from rich by furbychan.cocan.org with local (Exim 3.35 #1 (Debian)) id 1IFC9o-00028E-00; Sun, 29 Jul 2007 18:02:16 +0100 Date: Sun, 29 Jul 2007 18:02:16 +0100 To: Arnaud Spiwack Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: Void type? Message-ID: <20070729170216.GA8137@furbychan.cocan.org> References: <46AC748B.10200@lix.polytechnique.fr> <200707291216.34682.jon@ffconsultancy.com> <46AC7BB8.8050609@gmail.com> <20070729124340.GA18564@furbychan.cocan.org> <46AC8EEF.1040102@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <46AC8EEF.1040102@gmail.com> User-Agent: Mutt/1.5.9i From: Richard Jones X-Miltered: at discorde with ID 46ACC81C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; 0200,:01 val:01 rephrase:01 wrote:01 arnaud:01 caml-list:01 let:03 jul:05 thread:06 void:06 void:06 red:92 seem:08 function:08 fun:08 On Sun, Jul 29, 2007 at 02:58:23PM +0200, Arnaud Spiwack wrote: > Here is what you can do with void1 and not with void2 : > type void1 = { v: 'a. 'a };; > # let void1_elim x = x.v;; > val void1_elim : void1 -> 'a = Maybe I should rephrase the question then. What use is this function? The only Google searches for void type and the "elimination principle" all seem to point back to this very thread. Rich. -- Richard Jones Red Hat