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,MISSING_HEADERS autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 0548FBC0A for ; Mon, 19 Feb 2007 15:23:41 +0100 (CET) Received: from nef2.ens.fr (nef2.ens.fr [129.199.96.40]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1JENe6k019482 for ; Mon, 19 Feb 2007 15:23:40 +0100 Received: from clipper.ens.fr (clipper-gw.ens.fr [129.199.1.22]) by nef2.ens.fr (8.13.6/1.01.28121999) with ESMTP id l1JENeBs081711 for ; Mon, 19 Feb 2007 15:23:40 +0100 (CET) X-Envelope-To: Received: from mathiasens (rezo-158-192 [129.199.158.192]) by clipper.ens.fr (8.13.1/jb-1.1) id l1JENbgm005154 for ; Mon, 19 Feb 2007 15:23:37 +0100 (MET) From: "Mathias Kende" Cc: Subject: RE : [Caml-list] empty type Date: Mon, 19 Feb 2007 15:23:30 +0100 Message-ID: <000001c75431$8ab2e8e0$c09ec781@mathiasens> MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook, Build 10.0.6626 In-Reply-To: <1171894444.5356.18.camel@rosella.wigram> Importance: Normal X-MimeOLE: Produced By Microsoft MimeOLE V6.00.3790.2826 X-Virus-Scanned: by amavisd-milter (http://amavis.org/) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-3.1.4 (nef2.ens.fr [129.199.96.32]); Mon, 19 Feb 2007 15:23:40 +0100 (CET) X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-2.1.9 (nef2.ens.fr [129.199.96.32]); Mon, 19 Feb 2007 15:23:40 +0100 (CET) X-Miltered: at concorde with ID 45D9B2EC.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bug:01 redefined:01 mathias:98 mathias:98 constructor:01 caml-list:01 unit:03 looks:08 although:09 isn't:13 but:14 type:14 type:14 does:14 surely:14 >What? That sure looks like a bug. () is a value of type unit .. >it isn't a type. It's not a type, but just a valid name for a constructor that can be redefined if necessary (although one surely does not want to do so). Mathias Kende