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=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 49B13BB84 for ; Fri, 12 Sep 2008 17:02:01 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ah4DAMAhykjAXQIniGdsb2JhbACSZwEBAQ8gpRKBYg X-IronPort-AV: E=Sophos;i="4.32,389,1217800800"; d="scan'208";a="14880387" Received: from concorde.inria.fr ([192.93.2.39]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Sep 2008 17:02:01 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m8CF204m023278 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Fri, 12 Sep 2008 17:02:01 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkBAAwhykjUGyocmmdsb2JhbACSZwEBAQEBCAUIBxEDpQuBYg X-IronPort-AV: E=Sophos;i="4.32,389,1217800800"; d="scan'208";a="17196263" Received: from smtp2-g19.free.fr ([212.27.42.28]) by mail1-smtp-roc.national.inria.fr with ESMTP; 12 Sep 2008 17:02:00 +0200 Received: from smtp2-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp2-g19.free.fr (Postfix) with ESMTP id BBC9112B705 for ; Fri, 12 Sep 2008 17:02:00 +0200 (CEST) Received: from [192.168.0.121] (did75-6-82-226-95-82.fbx.proxad.net [82.226.95.82]) by smtp2-g19.free.fr (Postfix) with ESMTP id 7A6E212B6DA for ; Fri, 12 Sep 2008 17:02:00 +0200 (CEST) Subject: Re: [Caml-list] Private type syntax and error message From: Colonna Francois To: caml-list@inria.fr In-Reply-To: <1221226999.5024.7.camel@asus.localdomain> References: <1221226999.5024.7.camel@asus.localdomain> Content-Type: text/plain; charset=ISO-8859-15 Date: Fri, 12 Sep 2008 17:01:59 +0200 Message-Id: <1221231719.6714.5.camel@asus.localdomain> Mime-Version: 1.0 X-Mailer: Evolution 2.8.0 (2.8.0-40.el5) Content-Transfer-Encoding: 8bit X-Miltered: at concorde with ID 48CA8468.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; syntax:01 0200,:01 syntax:01 caml-list:01 int:01 int:01 variant:02 caml:02 implemented:02 francois:02 francois:02 vendredi:03 float:03 problem:05 ecrit:06 Le vendredi 12 septembre 2008 à 15:43 +0200, Colonna Francois a écrit : > Hello, > > if, as I found in the documentation, I write : > > # type my_int = private int;; > > I get the message : "This fixed type is not an object or variant" > > 1. The message is very obscure > 2. why this syntax is not implemented as it should be ? > Sorry, I found in http://caml.inria.fr/mantis/view.php?id=4584 the answer to my question. X. Leroy said there : The "private type abbreviations" feature of 3.11 .... type t = private float So, I shall wait a few monthes. No problem. Thanks any ways to thoses who answered. Best, François Colonna