Commit 92f55192 authored by POTTIER Francois's avatar POTTIER Francois


parent 40980478
......@@ -142,6 +142,10 @@ let check_regularity loc tycon (formals : tyvars) (actuals : core_types) =
nonlocal type, a [@name] attribute must be attached to every reference to
this type.
The [@name] attribute can be misused: e.g., one can mistakenly use
different visitor method names for different occurrences of a single type.
We currently do not attempt to detect this situation.
The prefix that is prepended to the base name can be controlled via the
settings [visit_prefix], [build_prefix], and [fail_prefix]. *)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment