From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <oandrieu@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: 
X-Spam-Status: No, score=0.4 required=5.0 tests=AWL autolearn=disabled 
	version=3.1.3
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id 3A4A8BBC1
	for <caml-list@yquem.inria.fr>; Mon, 10 Mar 2008 23:51:18 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AgoBADJY1UdA6ba/kmdsb2JhbACRAgEBAQEHBAQJChaTXIVo
X-IronPort-AV: E=Sophos;i="4.25,476,1199660400"; 
   d="scan'208";a="23603254"
Received: from nf-out-0910.google.com ([64.233.182.191])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Mar 2008 23:51:18 +0100
Received: by nf-out-0910.google.com with SMTP id e27so873973nfd.13
        for <caml-list@yquem.inria.fr>; Mon, 10 Mar 2008 15:51:17 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth;
        bh=FvyY+rohE6gwkRVEs5uraWgbVi+Vx9HveQrQkfyawG4=;
        b=RwleciROJmzoaWnF29rP5vPinXnj/zPXz4JBtHVa0vRSC1vILBMH773e7Lb6vrZeQcSZvk17ZklaXXli6FtgzS1HMT7dfzy8yEVe+QXw6l/YKDa35xK5/L9Wq7K2EhhCEboNV60QJMWmPHR6VZlr9Ha9hiJ9z5Ixe04I6lTvtwk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth;
        b=jCw2LA+pKtthCOXD2cQ++/YijoGRVEKXn+djS9VoQBDh4TnjDOwMRgUAmsmPWUxYTcQaiqBFGi7su6EpqkKN0ucqD3Edz/xKnFN2FlIesoI2rSFmS0CE/d0oLOw/le4FEjs79sidR0a0YIRJ7qS43Cl9R6K4qjBJD1TgxvnPzvA=
Received: by 10.78.150.7 with SMTP id x7mr15423727hud.72.1205189477015;
        Mon, 10 Mar 2008 15:51:17 -0700 (PDT)
Received: by 10.78.15.19 with HTTP; Mon, 10 Mar 2008 15:51:16 -0700 (PDT)
Message-ID: <95513600803101551h536349f8s64478ea3c04a814b@mail.gmail.com>
Date: Mon, 10 Mar 2008 23:51:16 +0100
From: "Olivier Andrieu" <oandrieu@nerim.net>
Sender: oandrieu@gmail.com
To: "David Teller" <David.Teller@univ-orleans.fr>
Subject: Re: [Caml-list] Type manifest
Cc: Caml <caml-list@yquem.inria.fr>
In-Reply-To: <1205188265.6612.24.camel@Blefuscu>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <1205188265.6612.24.camel@Blefuscu>
X-Google-Sender-Auth: 32a1e9483e217854
X-Spam: no; 0.00; andrieu:01 oandrieu:01 univ-orleans:01 camlp:01 manifests:01 ctyp:01 ctyp:01 10,:98 wrote:01 caml-list:01 nerim:01 string:02 equation:02 float:03 float:03 

Hi,

On Mon, Mar 10, 2008 at 11:31 PM, David Teller
<David.Teller@univ-orleans.fr> wrote:
>    Dear list,
>   While browsing around camlp4's source code, I've encountered type
>  manifests (TyMan of string and ctyp and ctyp). I haven't been able to
>  find any documentation on the subject. Could anyone point me to a
>  reference ?

I believe that's for type definitions with both an equation and a
representation, like:

  type complex = Complex.t = {
    re : float ;
    im : float ;
  }

-- 
  Olivier