Hello everybody,

    I'm looking for the way to get string representation of the OCaml 
expression
    at compile-time to facilitate test writing. Consider an example:

         let repr, value = WITH_REPR (1+2) in
         Printf.printf "%s=%d" repr value

    Here WITH_REPR is a meta-construction that returns ("1+2", 3) (generally
    speaking WITH_REPR(c) whould return (string * type_of c)).

    Is there some convinient way to do this? May camlp4 help?

    Best regards,
    Dmitri Boulytchev,
    St.Petersburg State University