File tree Expand file tree Collapse file tree 4 files changed +4
-4
lines changed
Expand file tree Collapse file tree 4 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -58118,7 +58118,7 @@ let transl_declaration env sdecl id =
5811858118 raise(Error(sdecl.ptype_loc, Duplicate_constructor name));
5811958119 all_constrs := StringSet.add name !all_constrs)
5812058120 scstrs;
58121- if List.length
58121+ if not !Config.bs_only && List.length
5812258122 (List.filter (fun cd -> cd.pcd_args <> Pcstr_tuple []) scstrs)
5812358123 > (Config.max_tag + 1) then
5812458124 raise(Error(sdecl.ptype_loc, Too_many_constructors));
Original file line number Diff line number Diff line change @@ -58118,7 +58118,7 @@ let transl_declaration env sdecl id =
5811858118 raise(Error(sdecl.ptype_loc, Duplicate_constructor name));
5811958119 all_constrs := StringSet.add name !all_constrs)
5812058120 scstrs;
58121- if List.length
58121+ if not !Config.bs_only && List.length
5812258122 (List.filter (fun cd -> cd.pcd_args <> Pcstr_tuple []) scstrs)
5812358123 > (Config.max_tag + 1) then
5812458124 raise(Error(sdecl.ptype_loc, Too_many_constructors));
Original file line number Diff line number Diff line change @@ -342337,7 +342337,7 @@ let transl_declaration env sdecl id =
342337342337 raise(Error(sdecl.ptype_loc, Duplicate_constructor name));
342338342338 all_constrs := StringSet.add name !all_constrs)
342339342339 scstrs;
342340- if List.length
342340+ if not true && List.length
342341342341 (List.filter (fun cd -> cd.pcd_args <> Pcstr_tuple []) scstrs)
342342342342 > (Config.max_tag + 1) then
342343342343 raise(Error(sdecl.ptype_loc, Too_many_constructors));
You can’t perform that action at this time.
0 commit comments