[flow][records] Add option for records support

Summary:
Adds `experimental.records` option to gate records support.

Changelog: [internal]

Reviewed By: SamChou19815

Differential Revision: D86251886

fbshipit-source-id: 467a1d518d3c20acf02047e3f466e78b1e24fe29

Author: gkz

src/commands/commandUtils.ml

@@ -1442,6 +1442,7 @@ let make_options
       Base.Option.value ~default:false (FlowConfig.pattern_matching flowconfig);
     opt_enable_pattern_matching_instance_patterns =
       Base.Option.value ~default:false (FlowConfig.pattern_matching_instance_patterns flowconfig);
+    opt_enable_records = Base.Option.value ~default:false (FlowConfig.records flowconfig);
     opt_enable_relay_integration = FlowConfig.relay_integration flowconfig;
     opt_enable_custom_error = FlowConfig.enable_custom_error flowconfig;
     opt_enabled_rollouts = FlowConfig.enabled_rollouts flowconfig;

src/commands/config/flowConfig.ml

@@ -134,6 +134,7 @@ module Opts = struct
     react_ref_as_prop: Options.ReactRefAsProp.t;
     react_rules: Options.react_rules list;
     react_runtime: Options.react_runtime;
+    records: bool option;
     recursion_limit: int;
     relay_integration: bool;
     relay_integration_esmodules: bool;
@@ -282,6 +283,7 @@ module Opts = struct
       react_ref_as_prop = Options.ReactRefAsProp.FullSupport;
       react_rules = [];
       react_runtime = Options.ReactRuntimeClassic;
+      records = None;
       recursion_limit = 10000;
       relay_integration = false;
       relay_integration_esmodules = false;
@@ -1127,6 +1129,7 @@ module Opts = struct
         )
       );
       ("experimental.projects_path_mapping", projects_path_mapping_parser);
+      ("experimental.records", boolean (fun opts v -> Ok { opts with records = Some v }));
       ("experimental.strict_es6_import_export", strict_es6_import_export_parser);
       ("experimental.ts_syntax", boolean (fun opts v -> Ok { opts with ts_syntax = v }));
       ( "experimental.ts_utility_syntax",
@@ -2033,6 +2036,8 @@ let react_rules c = c.options.Opts.react_rules
 
 let react_runtime c = c.options.Opts.react_runtime
 
+let records c = c.options.Opts.records
+
 let recursion_limit c = c.options.Opts.recursion_limit
 
 let relay_integration c = c.options.Opts.relay_integration

src/commands/config/flowConfig.mli

@@ -250,6 +250,8 @@ val react_rules : config -> Options.react_rules list
 
 val react_runtime : config -> Options.react_runtime
 
+val records : config -> bool option
+
 val recursion_limit : config -> int
 
 val relay_integration : config -> bool

src/common/options.ml

@@ -122,6 +122,7 @@ type t = {
   opt_enable_jest_integration: bool;
   opt_enable_pattern_matching: bool;
   opt_enable_pattern_matching_instance_patterns: bool;
+  opt_enable_records: bool;
   opt_enable_relay_integration: bool;
   opt_enable_custom_error: bool;
   opt_enabled_rollouts: string SMap.t;
@@ -243,6 +244,8 @@ let enable_pattern_matching opts = opts.opt_enable_pattern_matching
 let enable_pattern_matching_instance_patterns opts =
   opts.opt_enable_pattern_matching_instance_patterns
 
+let enable_records opts = opts.opt_enable_records
+
 let enable_relay_integration opts = opts.opt_enable_relay_integration
 
 let enable_custom_error opts = opts.opt_enable_custom_error

src/flow_dot_js.ml

@@ -115,6 +115,7 @@ let stub_metadata ~root ~checked =
     enable_jest_integration = false;
     enable_pattern_matching = true;
     enable_pattern_matching_instance_patterns = true;
+    enable_records = true;
     enable_relay_integration = false;
     exact_by_default = true;
     facebook_fbs = None;

src/services/code_action/__tests__/refactor_extract_utils_tests.ml

@@ -44,6 +44,7 @@ let stub_metadata ~root ~checked =
     enable_jest_integration = false;
     enable_pattern_matching = false;
     enable_pattern_matching_instance_patterns = false;
+    enable_records = false;
     enable_relay_integration = false;
     exact_by_default = false;
     facebook_fbs = None;

src/typing/__tests__/type_hint_test.ml

@@ -39,6 +39,7 @@ let metadata =
     enable_jest_integration = false;
     enable_pattern_matching = false;
     enable_pattern_matching_instance_patterns = false;
+    enable_records = false;
     enable_relay_integration = false;
     exact_by_default = true;
     facebook_fbs = None;

src/typing/__tests__/typed_ast_test.ml

@@ -37,6 +37,7 @@ let metadata =
     enable_jest_integration = false;
     enable_pattern_matching = false;
     enable_pattern_matching_instance_patterns = false;
+    enable_records = false;
     enable_relay_integration = false;
     exact_by_default = false;
     facebook_fbs = None;

src/typing/context.ml

@@ -48,6 +48,7 @@ type metadata = {
   enable_jest_integration: bool;
   enable_pattern_matching: bool;
   enable_pattern_matching_instance_patterns: bool;
+  enable_records: bool;
   enable_relay_integration: bool;
   exact_by_default: bool;
   facebook_fbs: string option;
@@ -307,6 +308,7 @@ let metadata_of_options options =
     enable_pattern_matching_instance_patterns =
       Options.enable_pattern_matching_instance_patterns options;
     pattern_matching_includes = Options.pattern_matching_includes options;
+    enable_records = Options.enable_records options;
     enable_relay_integration = Options.enable_relay_integration options;
     exact_by_default = Options.exact_by_default options;
     facebook_fbs = Options.facebook_fbs options;
@@ -555,6 +557,8 @@ let enable_pattern_matching cx =
 let enable_pattern_matching_instance_patterns cx =
   cx.metadata.enable_pattern_matching_instance_patterns
 
+let enable_records cx = cx.metadata.enable_records
+
 let is_utility_type_deprecated cx t =
   match SMap.find_opt t cx.metadata.deprecated_utilities with
   | None -> false

src/typing/context.mli

@@ -98,6 +98,7 @@ type metadata = {
   enable_jest_integration: bool;
   enable_pattern_matching: bool;
   enable_pattern_matching_instance_patterns: bool;
+  enable_records: bool;
   enable_relay_integration: bool;
   exact_by_default: bool;
   facebook_fbs: string option;
@@ -211,6 +212,8 @@ val enable_pattern_matching : t -> bool
 
 val enable_pattern_matching_instance_patterns : t -> bool
 
+val enable_records : t -> bool
+
 val enable_relay_integration : t -> bool
 
 val relay_integration_esmodules : t -> bool