Merge pull request rescript-lang#1179 from bloomberg/backport_gpr_406

backport gpr 406, even faster type checker

Author: bobzhang

jscomp/all.depend

@@ -561,8 +561,8 @@ core/bspp_main.cmi :
 core/js_cmi_datasets.cmi : ext/string_map.cmi
 core/js_main.cmi :
 core/bsppx_main.cmx : syntax/ppx_entry.cmx
-core/bspack_main.cmx : ext/string_hashtbl.cmx ext/ext_string.cmx \
-    ext/ext_pervasives.cmx ext/ext_list.cmx ext/ext_io.cmx \
+core/bspack_main.cmx : ext/string_set.cmx ext/string_hashtbl.cmx \
+    ext/ext_string.cmx ext/ext_pervasives.cmx ext/ext_list.cmx ext/ext_io.cmx \
     ext/ext_filename.cmx depends/ast_extract.cmx core/bspack_main.cmi
 core/jsoo_main.cmx : syntax/ppx_entry.cmx core/lam_compile_group.cmx \
     core/lam_compile_env.cmx core/js_dump.cmx ext/ext_pp.cmx \

jscomp/bin/all_ounit_tests.d

@@ -1,99 +1,99 @@
-bin/all_ounit_tests.ml : ounit/oUnitTypes.ml
-bin/all_ounit_tests.ml : ounit/oUnitChooser.ml
-bin/all_ounit_tests.ml : ounit/oUnitUtils.ml
-bin/all_ounit_tests.ml : ounit/oUnitLogger.ml
+bin/all_ounit_tests.ml : ext/ext_int.ml
+bin/all_ounit_tests.ml : ext/ext_scc.ml
+bin/all_ounit_tests.ml : ext/int_map.ml
+bin/all_ounit_tests.ml : ext/int_vec.ml
+bin/all_ounit_tests.ml : ext/map_gen.ml
+bin/all_ounit_tests.ml : ext/set_gen.ml
+bin/all_ounit_tests.ml : ext/set_int.ml
+bin/all_ounit_tests.ml : ext/vec_gen.ml
 bin/all_ounit_tests.ml : ounit/oUnit.ml
+bin/all_ounit_tests.ml : ext/ext_int.mli
+bin/all_ounit_tests.ml : ext/ext_json.ml
+bin/all_ounit_tests.ml : ext/ext_list.ml
+bin/all_ounit_tests.ml : ext/ext_scc.mli
+bin/all_ounit_tests.ml : ext/ext_sexp.ml
+bin/all_ounit_tests.ml : ext/ext_util.ml
+bin/all_ounit_tests.ml : ext/hash_set.ml
+bin/all_ounit_tests.ml : ext/int_map.mli
+bin/all_ounit_tests.ml : ext/int_vec.mli
+bin/all_ounit_tests.ml : ext/literals.ml
+bin/all_ounit_tests.ml : ext/set_int.mli
+bin/all_ounit_tests.ml : ext/set_poly.ml
 bin/all_ounit_tests.ml : ounit/oUnit.mli
 bin/all_ounit_tests.ml : ext/ext_array.ml
-bin/all_ounit_tests.ml : ext/ext_array.mli
 bin/all_ounit_tests.ml : ext/ext_bytes.ml
+bin/all_ounit_tests.ml : ext/ext_ident.ml
+bin/all_ounit_tests.ml : ext/ext_json.mli
+bin/all_ounit_tests.ml : ext/ext_list.mli
+bin/all_ounit_tests.ml : ext/ext_sexp.mli
+bin/all_ounit_tests.ml : ext/ext_util.mli
+bin/all_ounit_tests.ml : ext/hash_set.mli
+bin/all_ounit_tests.ml : ext/literals.mli
+bin/all_ounit_tests.ml : ext/set_poly.mli
+bin/all_ounit_tests.ml : ext/ext_array.mli
 bin/all_ounit_tests.ml : ext/ext_bytes.mli
+bin/all_ounit_tests.ml : ext/ext_ident.mli
 bin/all_ounit_tests.ml : ext/ext_string.ml
+bin/all_ounit_tests.ml : ext/string_map.ml
+bin/all_ounit_tests.ml : ext/union_find.ml
 bin/all_ounit_tests.ml : ext/ext_string.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_array_tests.ml
-bin/all_ounit_tests.ml : ounit_tests/ounit_tests_util.ml
-bin/all_ounit_tests.ml : ext/set_gen.ml
-bin/all_ounit_tests.ml : ext/ext_int.ml
-bin/all_ounit_tests.ml : ext/ext_int.mli
-bin/all_ounit_tests.ml : ext/set_int.ml
-bin/all_ounit_tests.ml : ext/set_int.mli
-bin/all_ounit_tests.ml : ext/set_poly.ml
-bin/all_ounit_tests.ml : ext/set_poly.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_bal_tree_tests.ml
-bin/all_ounit_tests.ml : ext/literals.ml
-bin/all_ounit_tests.ml : ext/literals.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_cmd_util.ml
-bin/all_ounit_tests.ml : ounit_tests/ounit_cmd_util.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_cmd_tests.ml
-bin/all_ounit_tests.ml : ounit_tests/ounit_ffi_error_debug_test.ml
-bin/all_ounit_tests.ml : ext/ext_util.ml
-bin/all_ounit_tests.ml : ext/ext_util.mli
+bin/all_ounit_tests.ml : ext/ext_topsort.ml
+bin/all_ounit_tests.ml : ext/hashtbl_gen.ml
+bin/all_ounit_tests.ml : ext/int_vec_vec.ml
+bin/all_ounit_tests.ml : ext/string_map.mli
+bin/all_ounit_tests.ml : ext/union_find.mli
+bin/all_ounit_tests.ml : ext/ext_filename.ml
+bin/all_ounit_tests.ml : ext/ext_topsort.mli
 bin/all_ounit_tests.ml : ext/hash_set_gen.ml
-bin/all_ounit_tests.ml : ext/hash_set.ml
-bin/all_ounit_tests.ml : ext/hash_set.mli
-bin/all_ounit_tests.ml : ext/hash_set_poly.ml
-bin/all_ounit_tests.ml : ext/hash_set_poly.mli
-bin/all_ounit_tests.ml : stubs/bs_hash_stubs.ml
-bin/all_ounit_tests.ml : ext/ordered_hash_set_gen.ml
-bin/all_ounit_tests.ml : ext/ordered_hash_set_string.ml
-bin/all_ounit_tests.ml : ext/ordered_hash_set_string.mli
-bin/all_ounit_tests.ml : ext/string_hash_set.ml
-bin/all_ounit_tests.ml : ext/string_hash_set.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_hash_set_tests.ml
 bin/all_ounit_tests.ml : ext/int_hash_set.ml
+bin/all_ounit_tests.ml : ext/int_vec_util.ml
+bin/all_ounit_tests.ml : ext/int_vec_vec.mli
+bin/all_ounit_tests.ml : ext/resize_array.ml
+bin/all_ounit_tests.ml : ounit/oUnitTypes.ml
+bin/all_ounit_tests.ml : ounit/oUnitUtils.ml
+bin/all_ounit_tests.ml : ext/ext_filename.mli
+bin/all_ounit_tests.ml : ext/hash_set_poly.ml
 bin/all_ounit_tests.ml : ext/int_hash_set.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_hash_stubs_test.ml
-bin/all_ounit_tests.ml : ext/hashtbl_gen.ml
+bin/all_ounit_tests.ml : ext/int_vec_util.mli
+bin/all_ounit_tests.ml : ext/resize_array.mli
+bin/all_ounit_tests.ml : ounit/oUnitLogger.ml
+bin/all_ounit_tests.ml : ext/ext_pervasives.ml
+bin/all_ounit_tests.ml : ext/hash_set_poly.mli
 bin/all_ounit_tests.ml : ext/string_hashtbl.ml
+bin/all_ounit_tests.ml : ounit/oUnitChooser.ml
+bin/all_ounit_tests.ml : ext/ext_pervasives.mli
+bin/all_ounit_tests.ml : ext/string_hash_set.ml
 bin/all_ounit_tests.ml : ext/string_hashtbl.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_hashtbl_tests.ml
-bin/all_ounit_tests.ml : ext/ext_ident.ml
-bin/all_ounit_tests.ml : ext/ext_ident.mli
+bin/all_ounit_tests.ml : stubs/bs_hash_stubs.ml
+bin/all_ounit_tests.ml : ext/string_hash_set.mli
 bin/all_ounit_tests.ml : ext/hash_set_ident_mask.ml
 bin/all_ounit_tests.ml : ext/hash_set_ident_mask.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_ident_mask_tests.ml
-bin/all_ounit_tests.ml : ext/vec_gen.ml
-bin/all_ounit_tests.ml : ext/int_vec.ml
-bin/all_ounit_tests.ml : ext/int_vec.mli
-bin/all_ounit_tests.ml : ext/int_vec_util.ml
-bin/all_ounit_tests.ml : ext/int_vec_util.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_int_vec_tests.ml
-bin/all_ounit_tests.ml : ext/map_gen.ml
-bin/all_ounit_tests.ml : ext/string_map.ml
-bin/all_ounit_tests.ml : ext/string_map.mli
-bin/all_ounit_tests.ml : ext/ext_json.ml
-bin/all_ounit_tests.ml : ext/ext_json.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_json_tests.ml
-bin/all_ounit_tests.ml : ext/ext_list.ml
-bin/all_ounit_tests.ml : ext/ext_list.mli
+bin/all_ounit_tests.ml : ext/ordered_hash_set_gen.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_cmd_util.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_vec_test.ml
+bin/all_ounit_tests.ml : ext/ordered_hash_set_string.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_cmd_tests.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_cmd_util.mli
 bin/all_ounit_tests.ml : ounit_tests/ounit_list_test.ml
-bin/all_ounit_tests.ml : ext/int_map.ml
-bin/all_ounit_tests.ml : ext/int_map.mli
 bin/all_ounit_tests.ml : ounit_tests/ounit_map_tests.ml
-bin/all_ounit_tests.ml : ounit_tests/ounit_ordered_hash_set_tests.ml
-bin/all_ounit_tests.ml : ext/ext_pervasives.ml
-bin/all_ounit_tests.ml : ext/ext_pervasives.mli
-bin/all_ounit_tests.ml : ext/ext_filename.ml
-bin/all_ounit_tests.ml : ext/ext_filename.mli
-bin/all_ounit_tests.ml : ounit_tests/ounit_path_tests.ml
-bin/all_ounit_tests.ml : ext/resize_array.ml
-bin/all_ounit_tests.ml : ext/resize_array.mli
-bin/all_ounit_tests.ml : ext/int_vec_vec.ml
-bin/all_ounit_tests.ml : ext/int_vec_vec.mli
-bin/all_ounit_tests.ml : ext/ext_scc.ml
-bin/all_ounit_tests.ml : ext/ext_scc.mli
 bin/all_ounit_tests.ml : ounit_tests/ounit_scc_tests.ml
-bin/all_ounit_tests.ml : ext/ext_sexp.ml
-bin/all_ounit_tests.ml : ext/ext_sexp.mli
+bin/all_ounit_tests.ml : ext/ordered_hash_set_string.mli
+bin/all_ounit_tests.ml : ounit_tests/ounit_json_tests.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_path_tests.ml
 bin/all_ounit_tests.ml : ounit_tests/ounit_sexp_tests.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_tests_main.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_tests_util.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_array_tests.ml
 bin/all_ounit_tests.ml : ounit_tests/ounit_data_random.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_tests_main.mli
 bin/all_ounit_tests.ml : ounit_tests/ounit_string_tests.ml
-bin/all_ounit_tests.ml : ext/ext_topsort.ml
-bin/all_ounit_tests.ml : ext/ext_topsort.mli
+bin/all_ounit_tests.ml : ounit_tests/ounit_hashtbl_tests.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_int_vec_tests.ml
 bin/all_ounit_tests.ml : ounit_tests/ounit_topsort_tests.ml
-bin/all_ounit_tests.ml : ext/union_find.ml
-bin/all_ounit_tests.ml : ext/union_find.mli
+bin/all_ounit_tests.ml : ounit_tests/ounit_bal_tree_tests.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_hash_set_tests.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_hash_stubs_test.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_ident_mask_tests.ml
 bin/all_ounit_tests.ml : ounit_tests/ounit_union_find_tests.ml
-bin/all_ounit_tests.ml : ounit_tests/ounit_vec_test.ml
-bin/all_ounit_tests.ml : ounit_tests/ounit_tests_main.ml
-bin/all_ounit_tests.ml : ounit_tests/ounit_tests_main.mli
+bin/all_ounit_tests.ml : ounit_tests/ounit_ffi_error_debug_test.ml
+bin/all_ounit_tests.ml : ounit_tests/ounit_ordered_hash_set_tests.ml

jscomp/bin/bsb.d

@@ -1,67 +1,67 @@
+bin/bsb.ml : bsb/bsb_dir.ml
+bin/bsb.ml : bsb/bsb_gen.ml
+bin/bsb.ml : ext/ext_sys.ml
+bin/bsb.ml : ext/map_gen.ml
+bin/bsb.ml : ext/set_gen.ml
+bin/bsb.ml : ext/vec_gen.ml
+bin/bsb.ml : bsb/bsb_dir.mli
+bin/bsb.ml : bsb/bsb_file.ml
+bin/bsb.ml : bsb/bsb_gen.mli
+bin/bsb.ml : bsb/bsb_main.ml
+bin/bsb.ml : bsb/bsb_unix.ml
+bin/bsb.ml : ext/ext_json.ml
+bin/bsb.ml : ext/ext_list.ml
+bin/bsb.ml : ext/ext_sys.mli
+bin/bsb.ml : ext/ext_util.ml
 bin/bsb.ml : ext/literals.ml
-bin/bsb.ml : ext/literals.mli
+bin/bsb.ml : bsb/bsb_file.mli
+bin/bsb.ml : bsb/bsb_main.mli
+bin/bsb.ml : bsb/bsb_ninja.ml
+bin/bsb.ml : bsb/bsb_unix.mli
 bin/bsb.ml : common/bs_pkg.ml
-bin/bsb.ml : common/bs_pkg.mli
-bin/bsb.ml : bsb/bsb_build_schemas.ml
-bin/bsb.ml : ext/ext_pervasives.ml
-bin/bsb.ml : ext/ext_pervasives.mli
+bin/bsb.ml : ext/ext_array.ml
 bin/bsb.ml : ext/ext_bytes.ml
+bin/bsb.ml : ext/ext_json.mli
+bin/bsb.ml : ext/ext_list.mli
+bin/bsb.ml : ext/ext_util.mli
+bin/bsb.ml : ext/literals.mli
+bin/bsb.ml : bsb/bsb_config.ml
+bin/bsb.ml : bsb/bsb_ninja.mli
+bin/bsb.ml : common/bs_pkg.mli
+bin/bsb.ml : ext/ext_array.mli
 bin/bsb.ml : ext/ext_bytes.mli
 bin/bsb.ml : ext/ext_string.ml
-bin/bsb.ml : ext/ext_string.mli
-bin/bsb.ml : ext/ext_filename.ml
-bin/bsb.ml : ext/ext_filename.mli
-bin/bsb.ml : ext/set_gen.ml
+bin/bsb.ml : ext/string_map.ml
 bin/bsb.ml : ext/string_set.ml
-bin/bsb.ml : ext/string_set.mli
-bin/bsb.ml : bsb/bsb_config.ml
+bin/bsb.ml : ext/string_vec.ml
 bin/bsb.ml : bsb/bsb_config.mli
-bin/bsb.ml : ext/ext_array.ml
-bin/bsb.ml : ext/ext_array.mli
-bin/bsb.ml : ext/map_gen.ml
-bin/bsb.ml : ext/string_map.ml
-bin/bsb.ml : ext/string_map.mli
-bin/bsb.ml : ext/ext_json.ml
-bin/bsb.ml : ext/ext_json.mli
-bin/bsb.ml : ext/ext_list.ml
-bin/bsb.ml : ext/ext_list.mli
-bin/bsb.ml : ext/ext_sys.ml
-bin/bsb.ml : ext/ext_sys.mli
-bin/bsb.ml : bsb/bsb_build_util.ml
-bin/bsb.ml : bsb/bsb_build_util.mli
-bin/bsb.ml : common/binary_cache.ml
-bin/bsb.ml : common/binary_cache.mli
-bin/bsb.ml : bsb/bsb_dir.ml
-bin/bsb.ml : bsb/bsb_dir.mli
+bin/bsb.ml : bsb/bsb_default.ml
 bin/bsb.ml : ext/ext_file_pp.ml
-bin/bsb.ml : ext/ext_file_pp.mli
-bin/bsb.ml : ext/vec_gen.ml
-bin/bsb.ml : ext/resize_array.ml
-bin/bsb.ml : ext/resize_array.mli
-bin/bsb.ml : ext/string_vec.ml
+bin/bsb.ml : ext/ext_string.mli
+bin/bsb.ml : ext/string_map.mli
+bin/bsb.ml : ext/string_set.mli
 bin/bsb.ml : ext/string_vec.mli
 bin/bsb.ml : bsb/bsb_build_ui.ml
-bin/bsb.ml : bsb/bsb_build_ui.mli
-bin/bsb.ml : stubs/bs_hash_stubs.ml
-bin/bsb.ml : ext/ext_util.ml
-bin/bsb.ml : ext/ext_util.mli
+bin/bsb.ml : bsb/bsb_default.mli
+bin/bsb.ml : ext/ext_file_pp.mli
+bin/bsb.ml : ext/ext_filename.ml
 bin/bsb.ml : ext/hash_set_gen.ml
+bin/bsb.ml : ext/resize_array.ml
+bin/bsb.ml : bsb/bsb_build_ui.mli
+bin/bsb.ml : bsb/bsb_dep_infos.ml
+bin/bsb.ml : ext/ext_filename.mli
+bin/bsb.ml : ext/resize_array.mli
+bin/bsb.ml : bsb/bsb_build_util.ml
+bin/bsb.ml : bsb/bsb_dep_infos.mli
+bin/bsb.ml : ext/ext_pervasives.ml
+bin/bsb.ml : bsb/bsb_build_util.mli
+bin/bsb.ml : common/binary_cache.ml
+bin/bsb.ml : ext/ext_pervasives.mli
 bin/bsb.ml : ext/string_hash_set.ml
-bin/bsb.ml : ext/string_hash_set.mli
-bin/bsb.ml : bsb/bsb_config_types.ml
-bin/bsb.ml : bsb/bsb_default.ml
-bin/bsb.ml : bsb/bsb_default.mli
+bin/bsb.ml : stubs/bs_hash_stubs.ml
 bin/bsb.ml : bsb/bsb_config_parse.ml
+bin/bsb.ml : bsb/bsb_config_types.ml
+bin/bsb.ml : common/binary_cache.mli
+bin/bsb.ml : ext/string_hash_set.mli
+bin/bsb.ml : bsb/bsb_build_schemas.ml
 bin/bsb.ml : bsb/bsb_config_parse.mli
-bin/bsb.ml : bsb/bsb_dep_infos.ml
-bin/bsb.ml : bsb/bsb_dep_infos.mli
-bin/bsb.ml : bsb/bsb_file.ml
-bin/bsb.ml : bsb/bsb_file.mli
-bin/bsb.ml : bsb/bsb_ninja.ml
-bin/bsb.ml : bsb/bsb_ninja.mli
-bin/bsb.ml : bsb/bsb_gen.ml
-bin/bsb.ml : bsb/bsb_gen.mli
-bin/bsb.ml : bsb/bsb_unix.ml
-bin/bsb.ml : bsb/bsb_unix.mli
-bin/bsb.ml : bsb/bsb_main.ml
-bin/bsb.ml : bsb/bsb_main.mli

jscomp/bin/bsb_helper.d

@@ -1,19 +1,19 @@
-bin/bsb_helper.ml : ext/ext_pervasives.ml
-bin/bsb_helper.ml : ext/ext_pervasives.mli
+bin/bsb_helper.ml : ext/map_gen.ml
+bin/bsb_helper.ml : ext/literals.ml
 bin/bsb_helper.ml : ext/ext_bytes.ml
+bin/bsb_helper.ml : ext/literals.mli
 bin/bsb_helper.ml : ext/ext_bytes.mli
 bin/bsb_helper.ml : ext/ext_string.ml
+bin/bsb_helper.ml : ext/string_map.ml
 bin/bsb_helper.ml : ext/ext_string.mli
-bin/bsb_helper.ml : ext/literals.ml
-bin/bsb_helper.ml : ext/literals.mli
+bin/bsb_helper.ml : ext/string_map.mli
 bin/bsb_helper.ml : ext/ext_filename.ml
 bin/bsb_helper.ml : ext/ext_filename.mli
-bin/bsb_helper.ml : ext/map_gen.ml
-bin/bsb_helper.ml : ext/string_map.ml
-bin/bsb_helper.ml : ext/string_map.mli
+bin/bsb_helper.ml : ext/ext_pervasives.ml
+bin/bsb_helper.ml : bsb/bsb_helper_main.ml
 bin/bsb_helper.ml : common/binary_cache.ml
+bin/bsb_helper.ml : ext/ext_pervasives.mli
+bin/bsb_helper.ml : bsb/bsb_helper_main.mli
 bin/bsb_helper.ml : common/binary_cache.mli
 bin/bsb_helper.ml : depends/depends_post_process.ml
 bin/bsb_helper.ml : depends/depends_post_process.mli
-bin/bsb_helper.ml : bsb/bsb_helper_main.ml
-bin/bsb_helper.ml : bsb/bsb_helper_main.mli