s/let _ =/let () =/ in some places (mostly goptions related)

4 files changed, 38 insertions, 38 deletions

diff --git a/plugins/ssr/ssrequality.ml b/plugins/ssr/ssrequality.ml
index 22475fef34..490e8fbdbc 100644
--- a/plugins/ssr/ssrequality.ml
+++ b/plugins/ssr/ssrequality.ml
@@ -32,13 +32,13 @@ open Tacticals
 open Tacmach
 
 let ssroldreworder = Summary.ref ~name:"SSR:oldreworder" false
-let _ =
-  Goptions.declare_bool_option
-    { Goptions.optname  = "ssreflect 1.3 compatibility flag";
-      Goptions.optkey   = ["SsrOldRewriteGoalsOrder"];
-      Goptions.optread  = (fun _ -> !ssroldreworder);
-      Goptions.optdepr  = false;
-      Goptions.optwrite = (fun b -> ssroldreworder := b) }
+let () =
+  Goptions.(declare_bool_option
+    { optname  = "ssreflect 1.3 compatibility flag";
+      optkey   = ["SsrOldRewriteGoalsOrder"];
+      optread  = (fun _ -> !ssroldreworder);
+      optdepr  = false;
+      optwrite = (fun b -> ssroldreworder := b) })
 
 (** The "simpl" tactic *)
 
diff --git a/plugins/ssr/ssrfwd.ml b/plugins/ssr/ssrfwd.ml
index f67cf20e49..8cebe62e16 100644
--- a/plugins/ssr/ssrfwd.ml
+++ b/plugins/ssr/ssrfwd.ml
@@ -66,14 +66,14 @@ open Ssripats
 
 let ssrhaveNOtcresolution = Summary.ref ~name:"SSR:havenotcresolution" false
 
-let _ =
-  Goptions.declare_bool_option
-    { Goptions.optname  = "have type classes";
-      Goptions.optkey   = ["SsrHave";"NoTCResolution"];
-      Goptions.optread  = (fun _ -> !ssrhaveNOtcresolution);
-      Goptions.optdepr  = false;
-      Goptions.optwrite = (fun b -> ssrhaveNOtcresolution := b);
-    }
+let () =
+  Goptions.(declare_bool_option
+    { optname  = "have type classes";
+      optkey   = ["SsrHave";"NoTCResolution"];
+      optread  = (fun _ -> !ssrhaveNOtcresolution);
+      optdepr  = false;
+      optwrite = (fun b -> ssrhaveNOtcresolution := b);
+    })
 
 
 open Constrexpr 
diff --git a/plugins/ssr/ssrparser.mlg b/plugins/ssr/ssrparser.mlg
index 7c91860228..6909e868b5 100644
--- a/plugins/ssr/ssrparser.mlg
+++ b/plugins/ssr/ssrparser.mlg
@@ -1605,14 +1605,14 @@ let old_tac = V82.tactic
 
 let ssr_reserved_ids = Summary.ref ~name:"SSR:idents" true
 
-let _ =
-  Goptions.declare_bool_option
-    { Goptions.optname  = "ssreflect identifiers";
-      Goptions.optkey   = ["SsrIdents"];
-      Goptions.optdepr  = false;
-      Goptions.optread  = (fun _ -> !ssr_reserved_ids);
-      Goptions.optwrite = (fun b -> ssr_reserved_ids := b)
-    }
+let () =
+  Goptions.(declare_bool_option
+    { optname  = "ssreflect identifiers";
+      optkey   = ["SsrIdents"];
+      optdepr  = false;
+      optread  = (fun _ -> !ssr_reserved_ids);
+      optwrite = (fun b -> ssr_reserved_ids := b)
+    })
 
 let is_ssr_reserved s =
   let n = String.length s in n > 2 && s.[0] = '_' && s.[n - 1] = '_'
@@ -2355,13 +2355,13 @@ END
 
 let ssr_rw_syntax = Summary.ref ~name:"SSR:rewrite" true
 
-let _ =
-  Goptions.declare_bool_option
-    { Goptions.optname  = "ssreflect rewrite";
-      Goptions.optkey   = ["SsrRewrite"];
-      Goptions.optread  = (fun _ -> !ssr_rw_syntax);
-      Goptions.optdepr  = false;
-      Goptions.optwrite = (fun b -> ssr_rw_syntax := b) }
+let () =
+  Goptions.(declare_bool_option
+    { optname  = "ssreflect rewrite";
+      optkey   = ["SsrRewrite"];
+      optread  = (fun _ -> !ssr_rw_syntax);
+      optdepr  = false;
+      optwrite = (fun b -> ssr_rw_syntax := b) })
 
 let lbrace = Char.chr 123
 (** Workaround to a limitation of coqpp *)
diff --git a/plugins/ssr/ssrprinters.ml b/plugins/ssr/ssrprinters.ml
index 824666ba9c..8bf4816e99 100644
--- a/plugins/ssr/ssrprinters.ml
+++ b/plugins/ssr/ssrprinters.ml
@@ -119,13 +119,13 @@ and pr_iorpat iorpat = pr_list pr_bar pr_ipats iorpat
 (* 0 cost pp function. Active only if Debug Ssreflect is Set *)
 let ppdebug_ref = ref (fun _ -> ())
 let ssr_pp s = Feedback.msg_debug (str"SSR: "++Lazy.force s)
-let _ =
-  Goptions.declare_bool_option
-    { Goptions.optname  = "ssreflect debugging";
-      Goptions.optkey   = ["Debug";"Ssreflect"];
-      Goptions.optdepr  = false;
-      Goptions.optread  = (fun _ -> !ppdebug_ref == ssr_pp);
-      Goptions.optwrite = (fun b -> 
+let () =
+  Goptions.(declare_bool_option
+    { optname  = "ssreflect debugging";
+      optkey   = ["Debug";"Ssreflect"];
+      optdepr  = false;
+      optread  = (fun _ -> !ppdebug_ref == ssr_pp);
+      optwrite = (fun b ->
         Ssrmatching.debug b;
-        if b then ppdebug_ref := ssr_pp else ppdebug_ref := fun _ -> ()) }
+        if b then ppdebug_ref := ssr_pp else ppdebug_ref := fun _ -> ()) })
 let ppdebug s = !ppdebug_ref s