A more explicit name to the asymmetric boolean flag.

4 files changed, 9 insertions, 9 deletions

diff --git a/interp/constrextern.ml b/interp/constrextern.ml
index 367544135..2da8e0f6f 100644
--- a/interp/constrextern.ml
+++ b/interp/constrextern.ml
@@ -327,7 +327,7 @@ let rec extern_cases_pattern_in_scope (scopes:local_scopes) vars pat =
 	    with
 		Not_found | No_match | Exit ->
                   let c = extern_reference loc Id.Set.empty (ConstructRef cstrsp) in
-		  if !Topconstr.oldfashion_patterns then
+		  if !Topconstr.asymmetric_patterns then
 		    if pattern_printable_in_both_syntax cstrsp
 		    then CPatCstr (loc, c, [], args)
 		    else CPatCstr (loc, c, add_patt_for_params (fst cstrsp) args, [])
@@ -358,7 +358,7 @@ and apply_notation_to_pattern loc gr ((subst,substlist),(nb_to_drop,more_args))
 		List.map (extern_cases_pattern_in_scope subscope vars) c)
 		substlist in
 	    let l2 = List.map (extern_cases_pattern_in_scope allscopes vars) more_args in
-	    let l2' = if !Topconstr.oldfashion_patterns || not (List.is_empty ll) then l2
+	    let l2' = if !Topconstr.asymmetric_patterns || not (List.is_empty ll) then l2
 	      else
 		match drop_implicits_in_patt gr nb_to_drop l2 with
 		  |Some true_args -> true_args
@@ -374,7 +374,7 @@ and apply_notation_to_pattern loc gr ((subst,substlist),(nb_to_drop,more_args))
           extern_cases_pattern_in_scope (scopt,scl@scopes) vars c)
           subst in
       let l2 = List.map (extern_cases_pattern_in_scope allscopes vars) more_args in
-      let l2' = if !Topconstr.oldfashion_patterns then l2
+      let l2' = if !Topconstr.asymmetric_patterns then l2
 	else
 	  match drop_implicits_in_patt gr (nb_to_drop + List.length l1) l2 with
 	    |Some true_args -> true_args
diff --git a/interp/constrintern.ml b/interp/constrintern.ml
index 36f88fc3c..f46217dec 100644
--- a/interp/constrintern.ml
+++ b/interp/constrintern.ml
@@ -1133,7 +1133,7 @@ let drop_notations_pattern looked_for =
 	| None -> RCPatAtom (loc, None)
 	| Some (n, head, pl) ->
           let pl =
-            if !oldfashion_patterns then pl else
+            if !asymmetric_patterns then pl else
             let pars = List.make n (CPatAtom (loc, None)) in
             List.rev_append pars pl in
 	  match drop_syndef top env head pl with
@@ -1238,7 +1238,7 @@ let rec intern_pat genv aliases pat =
       let aliases' = merge_aliases aliases id in
       intern_pat genv aliases' p
     | RCPatCstr (loc, head, expl_pl, pl) ->
-      if !oldfashion_patterns then
+      if !asymmetric_patterns then
         let len = if List.is_empty expl_pl then Some (List.length pl) else None in
 	let c,idslpl1 = find_constructor loc len head in
 	let with_letin =
diff --git a/interp/topconstr.ml b/interp/topconstr.ml
index 8293f7f88..cde72fd93 100644
--- a/interp/topconstr.ml
+++ b/interp/topconstr.ml
@@ -19,14 +19,14 @@ open Constrexpr_ops
 (*i*)
 
 
-let oldfashion_patterns = ref (false)
+let asymmetric_patterns = ref (false)
 let _ = Goptions.declare_bool_option {
   Goptions.optsync = true; Goptions.optdepr = false;
   Goptions.optname =
     "Constructors in patterns require all their arguments but no parameters instead of explicit parameters and arguments";
   Goptions.optkey = ["Asymmetric";"Patterns"];
-  Goptions.optread = (fun () -> !oldfashion_patterns);
-  Goptions.optwrite = (fun a -> oldfashion_patterns:=a);
+  Goptions.optread = (fun () -> !asymmetric_patterns);
+  Goptions.optwrite = (fun a -> asymmetric_patterns:=a);
 }
 
 (**********************************************************************)
diff --git a/interp/topconstr.mli b/interp/topconstr.mli
index 1e867c19c..0f30135f8 100644
--- a/interp/topconstr.mli
+++ b/interp/topconstr.mli
@@ -12,7 +12,7 @@ open Constrexpr
 
 (** Topconstr *)
 
-val oldfashion_patterns : bool ref
+val asymmetric_patterns : bool ref
 
 (** Utilities on constr_expr *)