Version française
Home     About     Download     Resources     Contact us    
Browse thread
Type manifest
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Olivier Andrieu <oandrieu@n...>
Subject: Re: [Caml-list] Type manifest
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