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 DD401BB84 for ; Fri, 12 Sep 2008 16:04:43 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvUBALATykhC+Vq0mmdsb2JhbACCL496PgEBAQEBBgcIBxEDnwqGLgEC X-IronPort-AV: E=Sophos;i="4.32,389,1217800800"; d="scan'208";a="14877901" Received: from ik-out-1112.google.com ([66.249.90.180]) by mail2-smtp-roc.national.inria.fr with ESMTP; 12 Sep 2008 16:04:43 +0200 Received: by ik-out-1112.google.com with SMTP id c29so725213ika.3 for ; Fri, 12 Sep 2008 07:04:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=domainkey-signature:received:received:organization:to:subject:date :user-agent:references:in-reply-to:mime-version:content-type :content-transfer-encoding:content-disposition:message-id:from; bh=ChwcqTHKqNzDBnitwEaFTqmYcFG/MEYxi1ZdB4th3YI=; b=vzsUlHWHB8MmeAw+WP6gbL6WRYyQRJ9h/Ff8bWvgpSpVDniEJKaQUkb3wGuk+CdFUf rQzyVef6DEciqftJHqr6zTYi2VKggQF7zgqgZxd1ZgyFf/RHHjEySF+uigeQ2/LvYnLy DFDK40fl95PoSdLEUn1LeiRFEkuEth5ezdTE8= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=gamma; h=organization:to:subject:date:user-agent:references:in-reply-to :mime-version:content-type:content-transfer-encoding :content-disposition:message-id:from; b=C7mT66EY4amNQhC3BFKHu37rAaqXZb3/z+8fQysKBGom1ON22UQMI/yRHskKA9w1+/ /FMK7OO69f0aigWzLyxChph5/IhoCh8N4uk4pGhMQWmd0fqUMKmRORUUGYYyGemVNwpc xNqI02eBcUeVJFnKNVqnSpdhTTJoQFMkwmOu8= Received: by 10.210.109.10 with SMTP id h10mr390732ebc.22.1221228282988; Fri, 12 Sep 2008 07:04:42 -0700 (PDT) Received: from leper.local ( [86.140.183.215]) by mx.google.com with ESMTPS id g11sm3055688gve.8.2008.09.12.07.04.42 (version=TLSv1/SSLv3 cipher=RC4-MD5); Fri, 12 Sep 2008 07:04:42 -0700 (PDT) Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Private type syntax and error message Date: Fri, 12 Sep 2008 16:04:56 +0100 User-Agent: KMail/1.9.9 References: <1221226999.5024.7.camel@asus.localdomain> In-Reply-To: <1221226999.5024.7.camel@asus.localdomain> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-15" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200809121604.56179.jon@ffconsultancy.com> From: Jon Harrop X-Spam: no; 0.00; syntax:01 syntax:01 frog:98 wrote:01 abstract:01 caml-list:01 int:01 int:01 variant:02 implemented:02 francois:02 construct:02 useless:07 object:09 zero:10 On Friday 12 September 2008 14:43:19 Colonna Francois wrote: > Hello, > > if, as I found in the documentation, I write : > > # type my_int = private int;; Where does that appear in the documentation? Google returns zero hits... > I get the message : "This fixed type is not an object or variant" > > 1. The message is very obscure How would you write it more clearly? > 2. why this syntax is not implemented as it should be ? What do you expect it to do that might work? If it created an abstract type the type would be useless, having no way to construct or destructure values of that type... -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e