From: Kenichi Asai <asai@is.ocha.ac.jp>
To: Oleg <oleg@okmij.org>, francois.pottier@inria.fr, caml-list@inria.fr
Subject: Re: [Caml-list] automatically resolving open?
Date: Thu, 28 Aug 2025 14:21:14 +0900 [thread overview]
Message-ID: <aK_nSkYtbGwLF9K0@pllab.is.ocha.ac.jp> (raw)
In-Reply-To: <aAm/KchC5IRwsnh8@Magus.localnet>
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
next prev parent reply other threads:[~2025-08-28 5:21 UTC|newest]
Thread overview: 11+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-04-23 14:10 Kenichi Asai
2025-04-23 14:32 ` Francois Pottier
2025-04-23 14:38 ` BOBOT François
2025-04-23 14:45 ` Ivan Gotovchits
2025-04-23 15:33 ` Jeremy Yallop
2025-04-24 4:33 ` Oleg
2025-08-28 5:21 ` Kenichi Asai [this message]
2025-04-24 6:39 ` Virgile Prevosto
2025-04-24 9:16 ` Ulysse Gérard
2025-04-24 13:06 ` Kenichi Asai
2025-04-24 13:44 ` Ulysse Gérard
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=aK_nSkYtbGwLF9K0@pllab.is.ocha.ac.jp \
--to=asai@is.ocha.ac.jp \
--cc=caml-list@inria.fr \
--cc=francois.pottier@inria.fr \
--cc=oleg@okmij.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox