disable the hash collision test for bs

Author: bobzhang

typing/typetexp.ml

@@ -512,19 +512,25 @@ and transl_type_aux env policy styp =
                          row_bound=(); row_closed=true;
                          row_fixed=false; row_name=None}) in
       let hfields = Hashtbl.create 17 in
+      let collection_detect = Hashtbl.create 17 in 
       let add_typed_field loc l f =
-        let h = Btype.hash_variant l in
+        if not !Config.bs_only  then begin 
+          let h = Btype.hash_variant l in
+          if Hashtbl.mem collection_detect h then 
+            let l' = Hashtbl.find collection_detect h  in 
+            (* Check for tag conflicts *)
+            if l <> l' then raise(Error(styp.ptyp_loc, env, Variant_tags(l, l')));
+          else Hashtbl.add collection_detect h l 
+        end ;
         try
-          let (l',f') = Hashtbl.find hfields h in
-          (* Check for tag conflicts *)
-          if l <> l' then raise(Error(styp.ptyp_loc, env, Variant_tags(l, l')));
+          let (_,f') = Hashtbl.find hfields l in
           let ty = mkfield l f and ty' = mkfield l f' in
           if equal env false [ty] [ty'] then () else
           try unify env ty ty'
           with Unify _trace ->
             raise(Error(loc, env, Constructor_mismatch (ty,ty')))
         with Not_found ->
-          Hashtbl.add hfields h (l,f)
+          Hashtbl.add hfields l (l,f)
       in
       let add_field = function
           Rtag (l, attrs, c, stl) ->