Re: [Caml-list] Testing Camlp4-generated code

[Hendrik Tews <tews@tcs.inf.tu-dresden.de>]

Matt Gushee <matt@gushee.net> writes:

   I have developed a tool that generates a module using Camlp4, and I
   would like to be able to test the output. The structure is fairly small
   and simple, so it should be sufficient to verify that a generated module
   is equivalent to a certain hand-coded module ... 

In addition to Martin Jambon's suggestion you can also compare
the internal camlp4 abstract syntax trees of the generated and
the handcoded module:

- use camlp4 with a printer that marshal's the ast into a file
  for both, the generated and the handwritten module
- in a separate program marshal both files back and compare them

You probably want a handwritten equality test in the second step
because of the location info in the ast.

Bye,

Hendrik