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.2 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 574FCBC6B for ; Sun, 29 Jul 2007 02:48:22 +0200 (CEST) Received: from tomts20-srv.bellnexxia.net (tomts20.bellnexxia.net [209.226.175.74]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l6T0mLXc025753 for ; Sun, 29 Jul 2007 02:48:21 +0200 Received: from pastel.home ([70.53.195.62]) by tomts20-srv.bellnexxia.net (InterMail vM.5.01.06.13 201-253-122-130-113-20050324) with ESMTP id <20070729004820.SUZM8273.tomts20-srv.bellnexxia.net@pastel.home> for ; Sat, 28 Jul 2007 20:48:20 -0400 Received: by pastel.home (Postfix, from userid 20848) id 0BE5080C5; Sat, 28 Jul 2007 20:48:19 -0400 (EDT) Message-ID: To: Basile STARYNKEVITCH Cc: Chris King , caml-list@inria.fr Subject: Re: [Caml-list] Void type? References: <875c7e070707272151v2dc46c2ap3f7ed4ebd005726e@mail.gmail.com> <46AB9099.6030700@starynkevitch.net> From: Stefan Monnier Date: Sat, 28 Jul 2007 20:48:20 -0400 In-Reply-To: <46AB9099.6030700@starynkevitch.net> (Basile STARYNKEVITCH's message of "Sat\, 28 Jul 2007 20\:53\:13 +0200") User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.1.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Miltered: at discorde with ID 46ABE3D5.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; caml-list:01 void:06 void:06 function:08 looks:08 umontreal:13 type:14 type:14 but:14 thanks:17 list:22 list:22 that:23 what:24 like:26 >>> type void >> But can I pass [] to a function that expects a "void list"? > Yes. It is the only list of type void list. Looks like what I was looking for. Thanks, Stefan