Условная компиляция в OCaml

Question

Предположим, у меня есть длинный алгоритм, который я хотел бы быть необязательным для его отладки. До сих пор я просто добавил много if verbose then printf "whatever" вокруг кода, но это заставляет код выполнять множество бесполезных тестов, если я не хочу иметь его в подробном режиме.

Есть ли способ получить простую условную компиляцию, которая может просто игнорировать строки printf, если установлен флаг?

Что-то, что, например, я могу сделать в C помощью #IFDEF DEBUG printf .. #ENDIF

Answer 1

То, что вы ищете, можно найти в camlp4. Если включить предопределенные макросы, то вы можете определить флаги в командной строке с помощью опции -D (и -U для UNDEF их):

camlp4o pa_macro.cmo -DFOO file.ml 

В коде это выглядит следующим образом:

let f x = IFDEF FOO THEN x + 1 ELSE x - 1 END;;