File tree Expand file tree Collapse file tree 4 files changed +36
-4
lines changed Expand file tree Collapse file tree 4 files changed +36
-4
lines changed Original file line number Diff line number Diff line change @@ -401606,7 +401606,7 @@ let emit_external_warnings : iterator=
401606
401606
)
401607
401607
| _ -> default_iterator.expr self a
401608
401608
);
401609
- label_declaration = (fun self lbl ->
401609
+ label_declaration = (fun self lbl ->
401610
401610
401611
401611
Ext_list.iter lbl.pld_attributes
401612
401612
(fun attr ->
@@ -401616,6 +401616,14 @@ let emit_external_warnings : iterator=
401616
401616
);
401617
401617
default_iterator.label_declaration self lbl
401618
401618
);
401619
+ constructor_declaration = (fun self ({pcd_name} as ctr) ->
401620
+ (match pcd_name.txt with
401621
+ | "false"
401622
+ | "true" ->
401623
+ Location.raise_errorf ~loc:pcd_name.loc "true/false can not be redefined "
401624
+ | _ -> ());
401625
+ default_iterator.constructor_declaration self ctr
401626
+ );
401619
401627
value_description =
401620
401628
(fun self v ->
401621
401629
match v with
Original file line number Diff line number Diff line change @@ -401606,7 +401606,7 @@ let emit_external_warnings : iterator=
401606
401606
)
401607
401607
| _ -> default_iterator.expr self a
401608
401608
);
401609
- label_declaration = (fun self lbl ->
401609
+ label_declaration = (fun self lbl ->
401610
401610
401611
401611
Ext_list.iter lbl.pld_attributes
401612
401612
(fun attr ->
@@ -401616,6 +401616,14 @@ let emit_external_warnings : iterator=
401616
401616
);
401617
401617
default_iterator.label_declaration self lbl
401618
401618
);
401619
+ constructor_declaration = (fun self ({pcd_name} as ctr) ->
401620
+ (match pcd_name.txt with
401621
+ | "false"
401622
+ | "true" ->
401623
+ Location.raise_errorf ~loc:pcd_name.loc "true/false can not be redefined "
401624
+ | _ -> ());
401625
+ default_iterator.constructor_declaration self ctr
401626
+ );
401619
401627
value_description =
401620
401628
(fun self v ->
401621
401629
match v with
Original file line number Diff line number Diff line change @@ -15072,7 +15072,7 @@ let emit_external_warnings : iterator=
15072
15072
)
15073
15073
| _ -> default_iterator.expr self a
15074
15074
);
15075
- label_declaration = (fun self lbl ->
15075
+ label_declaration = (fun self lbl ->
15076
15076
15077
15077
Ext_list.iter lbl.pld_attributes
15078
15078
(fun attr ->
@@ -15082,6 +15082,14 @@ let emit_external_warnings : iterator=
15082
15082
);
15083
15083
default_iterator.label_declaration self lbl
15084
15084
);
15085
+ constructor_declaration = (fun self ({pcd_name} as ctr) ->
15086
+ (match pcd_name.txt with
15087
+ | "false"
15088
+ | "true" ->
15089
+ Location.raise_errorf ~loc:pcd_name.loc "true/false can not be redefined "
15090
+ | _ -> ());
15091
+ default_iterator.constructor_declaration self ctr
15092
+ );
15085
15093
value_description =
15086
15094
(fun self v ->
15087
15095
match v with
Original file line number Diff line number Diff line change @@ -297031,7 +297031,7 @@ let emit_external_warnings : iterator=
297031
297031
)
297032
297032
| _ -> default_iterator.expr self a
297033
297033
);
297034
- label_declaration = (fun self lbl ->
297034
+ label_declaration = (fun self lbl ->
297035
297035
297036
297036
Ext_list.iter lbl.pld_attributes
297037
297037
(fun attr ->
@@ -297041,6 +297041,14 @@ let emit_external_warnings : iterator=
297041
297041
);
297042
297042
default_iterator.label_declaration self lbl
297043
297043
);
297044
+ constructor_declaration = (fun self ({pcd_name} as ctr) ->
297045
+ (match pcd_name.txt with
297046
+ | "false"
297047
+ | "true" ->
297048
+ Location.raise_errorf ~loc:pcd_name.loc "true/false can not be redefined "
297049
+ | _ -> ());
297050
+ default_iterator.constructor_declaration self ctr
297051
+ );
297044
297052
value_description =
297045
297053
(fun self v ->
297046
297054
match v with
You can’t perform that action at this time.
0 commit comments