add one example

Author: bobzhang

jscomp/test/gpr_2614_test.js

@@ -55,7 +55,14 @@ function hh2(x) {
   }
 }
 
-exports.v = v;
+var u = {
+  "xx-yy": 3
+};
+
+var match = u["xx-yy"];
+
+var v$1 = match !== undefined ? match : 0;
+
 exports.b = b;
 exports.c = c;
 exports.ff = ff;
@@ -64,4 +71,6 @@ exports.h1 = h1;
 exports.h2 = h2;
 exports.hh = hh;
 exports.hh2 = hh2;
+exports.u = u;
+exports.v = v$1;
 /*  Not a pure module */

jscomp/test/gpr_2614_test.ml

@@ -61,3 +61,32 @@ let hh2 x =
   match x |. low with
   | None -> 0
   | Some _ -> 1
+
+type css =
+  {
+    a0 : int option ;
+    a1 : int option ;
+    a2 : int option ;
+    a3 : int option ;
+    a4 : int option ;
+    a5 : int option ;
+    a6 : int option ;
+    a7 : int option ;
+    a8 : int option ;
+    a9 : int option
+    [@bs.as "xx-yy"];
+    a10 : int option ;
+    a11 : int option ;
+    a12 : int option ;
+    a13 : int option ;
+    a14 : int option ;
+    a15 : int option ;
+  }
+  [@@bs.deriving abstract]
+
+
+let u = css ~a9:3 ()
+let v =
+  match u |. a9 with
+  | None -> 0
+  | Some x -> x 

lib/bsdep.ml

@@ -33443,27 +33443,27 @@ let pval_prim_of_option_labels
 (labels : (bool * string Asttypes.loc) list)
 (ends_with_unit : bool)
   =
- let arg_kinds =
-   Ext_list.fold_right
-     (fun (is_option,{Asttypes.loc ; txt }) arg_kinds
-       ->
-       let label_name = (Lam_methname.translate ~loc txt) in
-       let arg_label =
-          if is_option then
-            External_arg_spec.optional label_name
-          else External_arg_spec.label label_name None
-       in
-         {External_arg_spec.arg_type = Nothing ;
-          arg_label  } :: arg_kinds
-     )
-     labels
-     (if ends_with_unit then
-        [External_arg_spec.empty_kind Extern_unit]
-     else [])
-in
- let encoding =
-   External_ffi_types.to_string (Ffi_obj_create arg_kinds) in
- [""; encoding]
+  let arg_kinds =
+    Ext_list.fold_right
+      (fun (is_option,{Asttypes.loc ; txt }) arg_kinds
+        ->
+          let label_name = (Lam_methname.translate ~loc txt) in
+          let arg_label =
+            if is_option then
+              External_arg_spec.optional label_name
+            else External_arg_spec.label label_name None
+          in
+          {External_arg_spec.arg_type = Nothing ;
+           arg_label  } :: arg_kinds
+      )
+      labels
+      (if ends_with_unit then
+         [External_arg_spec.empty_kind Extern_unit]
+       else [])
+  in
+  let encoding =
+    External_ffi_types.to_string (Ffi_obj_create arg_kinds) in
+  [""; encoding]
 
 
 end

lib/bsppx.ml

@@ -15449,27 +15449,27 @@ let pval_prim_of_option_labels
 (labels : (bool * string Asttypes.loc) list)
 (ends_with_unit : bool)
   =
- let arg_kinds =
-   Ext_list.fold_right
-     (fun (is_option,{Asttypes.loc ; txt }) arg_kinds
-       ->
-       let label_name = (Lam_methname.translate ~loc txt) in
-       let arg_label =
-          if is_option then
-            External_arg_spec.optional label_name
-          else External_arg_spec.label label_name None
-       in
-         {External_arg_spec.arg_type = Nothing ;
-          arg_label  } :: arg_kinds
-     )
-     labels
-     (if ends_with_unit then
-        [External_arg_spec.empty_kind Extern_unit]
-     else [])
-in
- let encoding =
-   External_ffi_types.to_string (Ffi_obj_create arg_kinds) in
- [""; encoding]
+  let arg_kinds =
+    Ext_list.fold_right
+      (fun (is_option,{Asttypes.loc ; txt }) arg_kinds
+        ->
+          let label_name = (Lam_methname.translate ~loc txt) in
+          let arg_label =
+            if is_option then
+              External_arg_spec.optional label_name
+            else External_arg_spec.label label_name None
+          in
+          {External_arg_spec.arg_type = Nothing ;
+           arg_label  } :: arg_kinds
+      )
+      labels
+      (if ends_with_unit then
+         [External_arg_spec.empty_kind Extern_unit]
+       else [])
+  in
+  let encoding =
+    External_ffi_types.to_string (Ffi_obj_create arg_kinds) in
+  [""; encoding]
 
 
 end

lib/whole_compiler.ml

@@ -107916,27 +107916,27 @@ let pval_prim_of_option_labels
 (labels : (bool * string Asttypes.loc) list)
 (ends_with_unit : bool)
   =
- let arg_kinds =
-   Ext_list.fold_right
-     (fun (is_option,{Asttypes.loc ; txt }) arg_kinds
-       ->
-       let label_name = (Lam_methname.translate ~loc txt) in
-       let arg_label =
-          if is_option then
-            External_arg_spec.optional label_name
-          else External_arg_spec.label label_name None
-       in
-         {External_arg_spec.arg_type = Nothing ;
-          arg_label  } :: arg_kinds
-     )
-     labels
-     (if ends_with_unit then
-        [External_arg_spec.empty_kind Extern_unit]
-     else [])
-in
- let encoding =
-   External_ffi_types.to_string (Ffi_obj_create arg_kinds) in
- [""; encoding]
+  let arg_kinds =
+    Ext_list.fold_right
+      (fun (is_option,{Asttypes.loc ; txt }) arg_kinds
+        ->
+          let label_name = (Lam_methname.translate ~loc txt) in
+          let arg_label =
+            if is_option then
+              External_arg_spec.optional label_name
+            else External_arg_spec.label label_name None
+          in
+          {External_arg_spec.arg_type = Nothing ;
+           arg_label  } :: arg_kinds
+      )
+      labels
+      (if ends_with_unit then
+         [External_arg_spec.empty_kind Extern_unit]
+       else [])
+  in
+  let encoding =
+    External_ffi_types.to_string (Ffi_obj_create arg_kinds) in
+  [""; encoding]
 
 
 end