Hi,

Wouldn't it be nice to have type-safe reflection in ocaml? From all
appearances, this should be entirely possible considering the toplevel
can do typechecking and what not at runtime on arbitrarily loaded code
(including the app it's included in). So you would need the .cmi files
present for such thing to work -- but I don't think that'd be a real
burden for apps that want reflection.

Jonathan