Stream: Coq devs & plugin devs

Topic: Libpath of Constant.t


view this post on Zulip Emilio Jesús Gallego Arias (May 30 2024 at 09:36):

Hi folks, given a Constant.t, how can I get the corresponding part to the path to the .vo file the constant is defined from its dirpath ? TIA!

view this post on Zulip Emilio Jesús Gallego Arias (May 30 2024 at 09:42):

I'm doing this

  let mod_ = Names.Constant.modpath cst in
  let dir = Names.ModPath.dp mod_ in

but dunno about the semantics

view this post on Zulip Gaëtan Gilbert (May 30 2024 at 10:06):

that seems fine


Last updated: Oct 13 2024 at 01:02 UTC