Модуль Ast_invariants

module Ast_invariants: sig .. end

Проверка инвариантов AST

Предупреждение: этот модуль нестабилен и входит в состав compiler-libs.

val structure : Parsetree.structure -> unit

val signature : Parsetree.signature -> unit

val check_loc_ghost : (Ast_iterator.iterator -> Ast_iterator.iterator -> 'a -> unit) ->       'a -> source_contents:string -> unit

Проверяет инвариант поля loc_ghost типа Location.t, описанный в location.mli. Эту проверку можно запустить с помощью -dparsetree-loc-ghost-invariants. Она применяется в тестовом наборе лишь в нескольких местах, но её следует использовать чаще, чтобы найти больше мест, где нарушается инвариант.