Commit 94d266ef authored by POTTIER Francois's avatar POTTIER Francois

New auxiliary function [improbable].

parent 99ac6acb
......@@ -46,6 +46,20 @@ let pervasive (x : string) : Longident.t =
Ldot (Lident "Pervasives", x)
(* danger: the name [Pervasives] must not be shadowed. *)
(* We normally place an improbable prefix in front of our private (local)
variables, so as to make sure that we do not shadow user variables that
are used in [@build] code fragments. *)
(* When producing code for inclusion in the documentation, we remove this
prefix. *)
let improbable (x : string) : string =
with Not_found ->
"_visitors_" ^ x
(* -------------------------------------------------------------------------- *)
(* Types. *)
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