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=
401606401606 )
401607401607 | _ -> default_iterator.expr self a
401608401608 );
401609- label_declaration = (fun self lbl ->
401609+ label_declaration = (fun self lbl ->
401610401610
401611401611 Ext_list.iter lbl.pld_attributes
401612401612 (fun attr ->
@@ -401616,6 +401616,14 @@ let emit_external_warnings : iterator=
401616401616 );
401617401617 default_iterator.label_declaration self lbl
401618401618 );
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+ );
401619401627 value_description =
401620401628 (fun self v ->
401621401629 match v with
Original file line number Diff line number Diff line change @@ -401606,7 +401606,7 @@ let emit_external_warnings : iterator=
401606401606 )
401607401607 | _ -> default_iterator.expr self a
401608401608 );
401609- label_declaration = (fun self lbl ->
401609+ label_declaration = (fun self lbl ->
401610401610
401611401611 Ext_list.iter lbl.pld_attributes
401612401612 (fun attr ->
@@ -401616,6 +401616,14 @@ let emit_external_warnings : iterator=
401616401616 );
401617401617 default_iterator.label_declaration self lbl
401618401618 );
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+ );
401619401627 value_description =
401620401628 (fun self v ->
401621401629 match v with
Original file line number Diff line number Diff line change @@ -15072,7 +15072,7 @@ let emit_external_warnings : iterator=
1507215072 )
1507315073 | _ -> default_iterator.expr self a
1507415074 );
15075- label_declaration = (fun self lbl ->
15075+ label_declaration = (fun self lbl ->
1507615076
1507715077 Ext_list.iter lbl.pld_attributes
1507815078 (fun attr ->
@@ -15082,6 +15082,14 @@ let emit_external_warnings : iterator=
1508215082 );
1508315083 default_iterator.label_declaration self lbl
1508415084 );
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+ );
1508515093 value_description =
1508615094 (fun self v ->
1508715095 match v with
Original file line number Diff line number Diff line change @@ -297031,7 +297031,7 @@ let emit_external_warnings : iterator=
297031297031 )
297032297032 | _ -> default_iterator.expr self a
297033297033 );
297034- label_declaration = (fun self lbl ->
297034+ label_declaration = (fun self lbl ->
297035297035
297036297036 Ext_list.iter lbl.pld_attributes
297037297037 (fun attr ->
@@ -297041,6 +297041,14 @@ let emit_external_warnings : iterator=
297041297041 );
297042297042 default_iterator.label_declaration self lbl
297043297043 );
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+ );
297044297052 value_description =
297045297053 (fun self v ->
297046297054 match v with
You can’t perform that action at this time.
0 commit comments