Re: automatically resolving open?

Following MetaOCaml (and Oleg's advice), I created a program to attach
module qualifiers to variables, constructors, and record fields:

https://github.com/kenichi-asai/expand-open

After type checking, I translated the typed tree to a parse tree using
typing/untypeast.ml, and then pretty printed it using pprintast.  I
tweaked untypeast so that it adds necessary module qualifiers
(following MetaOCaml).  It is for OCaml version 4.14.2 but the changes
are simple and it should not be difficult to do the same for recent
versions.  The changes I made are summarized in the commit:

https://github.com/kenichi-asai/expand-open/commit/cdc5cb527df4be02430dca45f9d39c0f14c3bf91

Sincerely,

-- 
Kenichi Asai