如何使用ocamlc选项-dprofile和-dtimings？

我知道我可以使用一些ocamlc选项，比如-dparsetree来查看解析器生成的AST

我可以看到ocamlc有选项

-dprofile

和

-dtiming

。ocamlc-h告诉我选项

-dprofile

有四列：time alloc top heap绝对top heap。我试着这样使用它：

ocamlc -c test.ml -dprofile time

然而，ocamlc向我显示了-h信息，所以这不可能是正确的

---

您能告诉我如何使用选项

-dprofile

和

-

-

-

-dtimings`吗？或者给我举一些例子？ocaml的文档和互联网上几乎没有例子。谢谢

我对这些选项一无所知。我怀疑它们是开发人员未记录的内部选项。实际上，这可能意味着这是给你的。看来你是一个开发人员

总之，这些命令为我产生了一些输出：

$ ocamlc -dprofile -c m.ml
0.004s 1.28MB ------ - m.ml
  0.002s 0.85MB ------ - typing
  ------ 0.03MB ------ - transl
  0.001s 0.38MB ------ - other
0.013s 0.33MB 3.75MB - other

$ ocamlc -dtimings -c m.ml
0.004s m.ml
  0.003s typing
  0.001s other
0.007s other

我不明白你为什么有这个论点

time

。但这可能就是问题所在。单独指定时，

-dprofile

和

-dtimings

似乎都能工作。如果同时指定这两个，则最后指定的一个优先