(v10.1) Support {} for empty inlined record literals and types (#5901)

Author: mununki

CHANGELOG.md

@@ -12,6 +12,10 @@
 
 # 10.1.1
 
+#### :rocket: New Feature
+
+- Add support for empty inlined record literal `{}` for inlined records where all fields are optional https://github.com/rescript-lang/rescript-compiler/pull/5900
+
 #### :bug: Bug Fix
 
 - Prevent inlining of async functions in additional cases https://github.com/rescript-lang/rescript-compiler/issues/5860

jscomp/ml/typecore.ml

@@ -2138,6 +2138,7 @@ and type_expect_ ?in_function ?(recarg=Rejected) env sexp ty_expected =
         | [], Some (representation) when lid_sexp_list = [] ->
             let optional_labels = match representation with
             | Record_optional_labels optional_labels -> optional_labels
+            | Record_inlined {optional_labels} -> optional_labels
             | _ -> [] in
             let filter_missing (ld : Types.label_declaration) =
               let name = Ident.name ld.ld_id in

jscomp/test/record_regression.js

@@ -257,6 +257,12 @@ var h = newrecord$2;
 
 var h10 = newrecord$3;
 
+var ir4 = /* V0 */{
+  x: 3
+};
+
+var ir5 = /* V0 */{};
+
 exports.f1 = f1;
 exports.f2 = f2;
 exports.f3 = f3;
@@ -280,4 +286,6 @@ exports.pm2 = pm2;
 exports.inlinedRecord = inlinedRecord;
 exports.pm3 = pm3;
 exports.pm4 = pm4;
+exports.ir4 = ir4;
+exports.ir5 = ir5;
 /*  Not a pure module */

jscomp/test/record_regression.res

@@ -122,3 +122,7 @@ let inlinedRecord = ir => switch ir {
 }
 let pm3 = inlinedRecord(ir2)
 let pm4 = inlinedRecord(ir3)
+
+type inlinedOptional2 = V0({x?: int})
+let ir4 = V0({x: 3})
+let ir5 = V0({})

lib/4.06.1/unstable/js_compiler.ml

@@ -42863,6 +42863,7 @@ and type_expect_ ?in_function ?(recarg=Rejected) env sexp ty_expected =
         | [], Some (representation) when lid_sexp_list = [] ->
             let optional_labels = match representation with
             | Record_optional_labels optional_labels -> optional_labels
+            | Record_inlined {optional_labels} -> optional_labels
             | _ -> [] in
             let filter_missing (ld : Types.label_declaration) =
               let name = Ident.name ld.ld_id in

lib/4.06.1/unstable/js_playground_compiler.ml

@@ -42863,6 +42863,7 @@ and type_expect_ ?in_function ?(recarg=Rejected) env sexp ty_expected =
         | [], Some (representation) when lid_sexp_list = [] ->
             let optional_labels = match representation with
             | Record_optional_labels optional_labels -> optional_labels
+            | Record_inlined {optional_labels} -> optional_labels
             | _ -> [] in
             let filter_missing (ld : Types.label_declaration) =
               let name = Ident.name ld.ld_id in

lib/4.06.1/whole_compiler.ml

@@ -219035,6 +219035,7 @@ and type_expect_ ?in_function ?(recarg=Rejected) env sexp ty_expected =
         | [], Some (representation) when lid_sexp_list = [] ->
             let optional_labels = match representation with
             | Record_optional_labels optional_labels -> optional_labels
+            | Record_inlined {optional_labels} -> optional_labels
             | _ -> [] in
             let filter_missing (ld : Types.label_declaration) =
               let name = Ident.name ld.ld_id in