Используйте атрибуты ocaml, чтобы выдать пользовательское предупреждение компилятора

Question

Есть ли способ присоединить атрибут к определению функции, чтобы компилятор выдавал пользовательское предупреждающее сообщение, аналогично тому, что делает [@@ deprecated].

Я хотел бы написать что-то вроде

let dangerous_function[@@warn "use this function with caution, are sure ?"] = ...

и затем, компилируя код

let _ = dangerous_function ...

выдаст предупреждение.

Answer 1

В настоящее время это невозможно, но это может стать новой функцией в OCaml 4.08

val foo: int -> int
    [@@ocaml.alert unsafe "Please use bar instead!"]