Как использовать ocamlc с опциями -dprofile и -dtimings?

Question

Я знаю, что могу использовать некоторые параметры ocamlc, такие как -dparsetree, чтобы увидеть AST, сгенерированный синтаксическим анализатором.

Я вижу, что у ocamlc есть опции -dprofile и -dtiming. Ocamlc -h говорит мне, что опция -dprofile имеет четыре столбца: time alloc top-heap absolute-top-heap. Я пытался использовать это так:

ocamlc -c test.ml -dprofile time

Однако ocamlc показывает мне информацию -h, так что это не может быть правдой.

Можете ли вы сказать мне, как использовать опции -dprofile и - - - -dtimings` или показать мне несколько примеров? Есть несколько примеров в документе ocaml и в Интернете. Спасибо!

Answer 1

Я ничего не знаю об этих опциях. Я подозреваю, что это недокументированные внутренние параметры для разработчиков. Это может означать, что это для вас, на самом деле. Кажется, вы разработчик.

В любом случае, эти команды дали мне какой-то вывод:

$ 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, кажется, работают, если указаны отдельно. Если вы укажете оба, последний будет иметь приоритет.