Какая польза от Clflags.parse_arguments?

wang kai спросил: 07 октября 2018 в 01:02 в: compiler-construction

Я знаю, что модуль Clflags используется в исходном коде компилятора. Но использование функции этого модуля даже не имеет небольшого объяснения в документе:

http://caml.inria.fr/pub/docs/manual-ocaml/libref/Clflags.html

В /driver/main.ml в исходном коде компилятора:

File: d:\src\ocaml-4.07.0\driver\main.ml
138:     Clflags.parse_arguments anonymous usage;

использует функцию parse_arguments, и я знаю, что она может вызывать / driver / compenv.ml:

File: d:\src\ocaml-4.07.0\driver\compenv.ml
624: let anonymous filename = defer (action_of_file filename)

, и это добавит новый элемент в список deferred_actions,

, но я не знаю деталей этой функции: parse_arguments, а исходный код clflags отсутствует в исходном коде компилятора.

Так как узнать, что на самом деле делают Clflags.parse_arguments?

Спасибо


0 ответов