Type manifest

Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed

* Type manifest
@ 2008-03-10 22:31 David Teller
  2008-03-10 22:51 ` [Caml-list] " Olivier Andrieu
  2008-03-10 22:56 ` Markus Mottl
  0 siblings, 2 replies; 4+ messages in thread
From: David Teller @ 2008-03-10 22:31 UTC (permalink / raw)
  To: Caml

   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 ?

Thanks, 
  David

-- 
David Teller
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act brings liquidations. 

^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Caml-list] Type manifest
  2008-03-10 22:31 Type manifest David Teller
@ 2008-03-10 22:51 ` Olivier Andrieu
  2008-03-10 22:59   ` David Teller
  2008-03-10 22:56 ` Markus Mottl
  1 sibling, 1 reply; 4+ messages in thread
From: Olivier Andrieu @ 2008-03-10 22:51 UTC (permalink / raw)
  To: David Teller; +Cc: Caml

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


^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Caml-list] Type manifest
  2008-03-10 22:51 ` [Caml-list] " Olivier Andrieu
@ 2008-03-10 22:59   ` David Teller
  0 siblings, 0 replies; 4+ messages in thread
From: David Teller @ 2008-03-10 22:59 UTC (permalink / raw)
  To: Olivier Andrieu; +Cc: Caml

Thanks. And what exactly is the point of that ? Making an abstract type
concrete ?

Cheers,
 David

On Mon, 2008-03-10 at 23:51 +0100, Olivier Andrieu wrote:
> I believe that's for type definitions with both an equation and a
> representation, like:
> 
>   type complex = Complex.t = {
>     re : float ;
>     im : float ;
>   }
> 
-- 
David Teller
 Security of Distributed Systems
  http://www.univ-orleans.fr/lifo/Members/David.Teller
 Angry researcher: French Universities need reforms, but the LRU act brings liquidations. 


^ permalink raw reply	[flat|nested] 4+ messages in thread

* Re: [Caml-list] Type manifest
  2008-03-10 22:31 Type manifest David Teller
  2008-03-10 22:51 ` [Caml-list] " Olivier Andrieu
@ 2008-03-10 22:56 ` Markus Mottl
  1 sibling, 0 replies; 4+ messages in thread
From: Markus Mottl @ 2008-03-10 22:56 UTC (permalink / raw)
  To: David Teller; +Cc: Caml

On Mon, Mar 10, 2008 at 6: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 ?

Look under "Re-exported variant type or record type: an equation, a
representation." on this manual page:

  http://caml.inria.fr/pub/docs/manual-ocaml/manual016.html

Regards,
Markus

-- 
Markus Mottl        http://www.ocaml.info        markus.mottl@gmail.com


^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2008-03-10 22:59 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2008-03-10 22:31 Type manifest David Teller
2008-03-10 22:51 ` [Caml-list] " Olivier Andrieu
2008-03-10 22:59   ` David Teller
2008-03-10 22:56 ` Markus Mottl

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox