Re: [Caml-list] Generating a module implementation from a module signature using camlp4

[Wojciech Meyer <wojciech.meyer@googlemail.com>]

Hi Mike,

Mike McClurg <mike.mcclurg@gmail.com> writes:

> It seems that I would want to use a camlp4 filter to do this, but as
> far as I can tell it's not possible to create a filter from sig_items
> to str_items. Is a filter the right approach? Am I going to have to
> define my module signatures as module type definitions from within ml
> files? Can anyone give me some some advice on how to do this properly?

You can explicitly pretty print the camlp4 quotations:

open Camlp4
open Camlp4.PreCast
let _loc = Loc.ghost

let foo nm =
  <:str_item<module $uid:nm$ = struct let $lid:String.lowercase nm$ = () end>>


module OCamlPrinter = Camlp4.PreCast.Printers.OCaml;;

OCamlPrinter.print_implem (foo "OK")
==

Then you need some ocamlbuild plugin to create a rule that pipes to a
file.

--
Wojciech Meyer
http://danmey.org