Add tests

ocaml · Jun 1, 2021 · d5d2461 · d5d2461
1 parent c8d750c
commit d5d2461
Show file tree

Hide file tree

Showing 3 changed files with 72 additions and 0 deletions.
diff --git a/testsuite/tests/parsetree/locations_test.compilers.reference b/testsuite/tests/parsetree/locations_test.compilers.reference
@@ -1100,4 +1100,64 @@ Ptop_def
   ]
 
 val x : int = 42
+Ptop_def
+  [
+    structure_item (//toplevel//[3,66+0]..[5,98+12])
+      Pstr_value Nonrec
+      [
+        <def>
+          pattern (//toplevel//[3,66+4]..[3,66+5])
+            Ppat_var "g" (//toplevel//[3,66+4]..[3,66+5])
+          expression (//toplevel//[3,66+6]..[5,98+12]) ghost
+            Pexp_fun
+            Nolabel
+            None
+            pattern (//toplevel//[3,66+6]..[3,66+7])
+              Ppat_var "y" (//toplevel//[3,66+6]..[3,66+7])
+            expression (//toplevel//[4,76+2]..[5,98+12])
+              Pexp_let Nonrec
+              [
+                <def>
+                  pattern (//toplevel//[4,76+6]..[4,76+7])
+                    Ppat_var "f" (//toplevel//[4,76+6]..[4,76+7])
+                  expression (//toplevel//[4,76+8]..[4,76+18]) ghost
+                    Pexp_fun
+                    Labelled "y"
+                    None
+                    pattern (//toplevel//[4,76+9]..[4,76+10])
+                      Ppat_var "y" (//toplevel//[4,76+9]..[4,76+10])
+                    expression (//toplevel//[4,76+13]..[4,76+18])
+                      Pexp_apply
+                      expression (//toplevel//[4,76+15]..[4,76+16])
+                        Pexp_ident "+" (//toplevel//[4,76+15]..[4,76+16])
+                      [
+                        <arg>
+                        Nolabel
+                          expression (//toplevel//[4,76+13]..[4,76+14])
+                            Pexp_ident "y" (//toplevel//[4,76+13]..[4,76+14])
+                        <arg>
+                        Nolabel
+                          expression (//toplevel//[4,76+17]..[4,76+18])
+                            Pexp_constant PConst_int (1,None)
+                      ]
+              ]
+              expression (//toplevel//[5,98+2]..[5,98+12])
+                Pexp_apply
+                expression (//toplevel//[5,98+2]..[5,98+3])
+                  Pexp_ident "f" (//toplevel//[5,98+2]..[5,98+3])
+                [
+                  <arg>
+                  Labelled "y"
+                    expression (//toplevel//[5,98+6]..[5,98+7]) ghost
+                      Pexp_constraint
+                      expression (//toplevel//[5,98+6]..[5,98+7])
+                        Pexp_ident "y" (//toplevel//[5,98+6]..[5,98+7])
+                      core_type (//toplevel//[5,98+8]..[5,98+11])
+                        Ptyp_constr "int" (//toplevel//[5,98+8]..[5,98+11])
+                        []
+                ]
+      ]
+  ]
+
+val g : int -> int = <fun>
 
diff --git a/testsuite/tests/parsetree/locations_test.ml b/testsuite/tests/parsetree/locations_test.ml
@@ -110,3 +110,9 @@ let x =
   42
 (** Another docstring attached to x. *)
 ;;
+
+(* Punning of labelled function argument with type constraint *)
+let g y =
+  let f ~y = y + 1 in
+  f ~(y:int)
+;;
diff --git a/testsuite/tests/parsetree/source.ml b/testsuite/tests/parsetree/source.ml
@@ -7425,3 +7425,9 @@ module M = struct
   let q =
     let%foo x and y and z in (x,y,z)
 end
+
+(* Punning of labelled function argument with type constraint *)
+let g y =
+  let f ~y = y + 1 in
+  f ~(y:int)
+;;