Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Camlp4 question on type declarations
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-06-23 (16:09)
From: Nicolas Pouillard <nicolas.pouillard@g...>
Subject: Re: [Caml-list] Camlp4 question on type declarations
On 6/14/07, Christian Stork <> wrote:
> I'd like to construct a quotation that acts as the following pattern.
>     Ast.StTyp (_, (Ast.TyDcl (_, name, params, t, _)))

The TyDcl node is the only node that does not have a syntax equivalence.

Of course you can have a complete type declaration in a quotation but
holes cannot be used everywhere, so you have to use the node directly.

Nicolas Pouillard