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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 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 E1E2BBC6B for ; Sat, 28 Jul 2007 06:51:16 +0200 (CEST) Received: from rv-out-0910.google.com (rv-out-0910.google.com [209.85.198.191]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6S4pFgk030550 for ; Sat, 28 Jul 2007 06:51:16 +0200 Received: by rv-out-0910.google.com with SMTP id f5so136147rvb for ; Fri, 27 Jul 2007 21:51:14 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=UWo48tzNuyA6pbK2wcls5V1rTu61uaVaEqPiPPR2F4GXYzi90ypmhvgEr0H7j385qBnJlscEqqBURDc08yAui0ikgPpwwvAEM6suBqYC8RdVm6t4mPCwckPJzI59WOu77/N06eHTiitv27t1oWvmu6Rjqujk+8Dti7LgxhEzxb4= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=Qg28LV8mUIR3O0hIxN1nKwGKXql/M94RtyTlH9ebZiepe8lP0xCab7CrUWCQ3dsqsFF1e0gqslkyGgU0GJk1IGjhNYixndjZmaGrOVRleZzl0d0MSnl1MvcUIlg6vcBbHe6fvEpWuivubkr+3dp+UkclNAeCQX2bp3W0acHEKso= Received: by 10.114.15.1 with SMTP id 1mr3608054wao.1185598274485; Fri, 27 Jul 2007 21:51:14 -0700 (PDT) Received: by 10.114.235.10 with HTTP; Fri, 27 Jul 2007 21:51:14 -0700 (PDT) Message-ID: <875c7e070707272151v2dc46c2ap3f7ed4ebd005726e@mail.gmail.com> Date: Sat, 28 Jul 2007 00:51:14 -0400 From: "Chris King" To: "Stefan Monnier" Subject: Re: [Caml-list] Void type? Cc: caml-list@inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Content-Disposition: inline References: X-j-chkmail-Score: MSGID : 46AACB43.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 46AACB43.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 simulate:01 o'caml:01 wrote:01 abstract:01 caml-list:01 declaring:02 unit:03 chris:06 chris:06 trick:06 void:06 void:06 magic:10 obj:11 On 7/28/07, Stefan Monnier wrote: > Is there a void type in OCaml (i.e. a type which has no values), or a way to > simulate it? If you're looking for a "true" void (as opposed to the unit type, which has exactly one value), just declaring it as an abstract type: type void should do the trick. You will be unable to instantiate any values of that type using pure O'Caml (i.e. no Obj.magic or C code). - Chris