Alex Baretta <alex@barettadeit.com> writes:

   There is one more issue with Camlp4: it does not allow for quotations
   to expand to generic syntactic elements. Often, I use quotations which
   expand to module definitions. I had to implement my own quotation
   expander, bypassing the limitations of Camlp4 to achieve this.
   
I don't quite understand, what's wrong with 

let me = <:module_expr< struct $ list of module def's $ end >>
in
  <:str_item< module $some_name$ = $me$ >> 

??

Bye,

Hendrik