[Caml-list] Ask for help on compiler's module Typing.types

[Hongbo Zhang <bobzhang1988@gmail.com>]

Hi List,
    I was doing some code generation based on type information.

    The following code snippet was what I tried in the toplevel:
    match Env.lookup_value (Longident.Lident "f") !Toploop.toplevel_env with
    | (_, { Types.val_type = val_type }) ->
     Printtyp.type_expr std_formatter val_type

    As we see, we can query "f" , get its type information and pretty 
print it, and then parse it
    again to get the type information.

    Actually, we can process Types.val_type directly in a more robust 
way, but I found
    the type definitions in typing/types.ml was quite verbose and 
without any comment. I understand
    it generally but not in a precise way.

    Would anyone shed some light on the internal design of typing 
directory? English or
    French are both welcome.

Thanks in advance!
-Hongbo