Promote tests that I neglected to promote before

Signed-off-by: Nick Roberts <[email protected]>
janestreet · Nov 30, 2023 · e4bb8cf · e4bb8cf
1 parent 848753a
commit e4bb8cf
Show file tree

Hide file tree

Showing 5 changed files with 12 additions and 12 deletions.
diff --git a/tests/test-dirs/type-enclosing/issue1564.t b/tests/test-dirs/type-enclosing/issue1564.t
@@ -20,7 +20,7 @@ On `let |y = x.kind`
 Verbosity 1 shows the actual type definition of Kind.t
   $ $MERLIN single type-enclosing -position 8:4 -verbosity 1 \
   > -filename ./main.ml < ./main.ml | tr '\r\n' ' ' | jq ".value[0].type"
-  "type t = A | B"
+  "type t : immediate = A | B"
 
 On `let y = x.k|ind`
   $ $MERLIN single type-enclosing -position 8:11 -verbosity 0 \
@@ -40,7 +40,7 @@ On `let z = { kind = B }.k|ind`
 On `let z = { kind = B }.k|ind`
   $ $MERLIN single type-enclosing -position 9:22 -verbosity 1 \
   > -filename ./main.ml < ./main.ml | tr '\r\n' ' ' | jq ".value[0].type"
-  "type t = A | B"
+  "type t : immediate = A | B"
 
 On `let x = { k|ind = A }`
   $ $MERLIN single type-enclosing -position 7:12 -verbosity 0 \

diff --git a/tests/test-dirs/type-enclosing/objects.t/run.t b/tests/test-dirs/type-enclosing/objects.t/run.t
@@ -27,7 +27,7 @@
         "line": 2,
         "col": 24
       },
-      "type": "int list  type 'a list = [] | (::) of 'a * 'a list",
+      "type": "int list  type 'a list : value = [] | (::) of 'a * 'a list",
       "tail": "no"
     },
     {
@@ -85,7 +85,7 @@
         "line": 14,
         "col": 5
       },
-      "type": "type unit = ()",
+      "type": "type unit : immediate = ()",
       "tail": "no"
     }
   ]
@@ -143,7 +143,7 @@
         "line": 14,
         "col": 16
       },
-      "type": "type unit = ()",
+      "type": "type unit : immediate = ()",
       "tail": "no"
     }
   ]

diff --git a/tests/test-dirs/type-enclosing/record.t/run.t b/tests/test-dirs/type-enclosing/record.t/run.t
@@ -114,7 +114,7 @@
         "line": 8,
         "col": 9
       },
-      "type": "type t = { mutable b : float; }",
+      "type": "type t : value = { mutable b : float; }",
       "tail": "no"
     },
     {
@@ -126,7 +126,7 @@
         "line": 8,
         "col": 17
       },
-      "type": "type unit = ()",
+      "type": "type unit : immediate = ()",
       "tail": "no"
     }
   ]
@@ -185,7 +185,7 @@ FIXME: The following results are not entirely satisfying (`foo.Bar -> foo` could
         "line": 12,
         "col": 26
       },
-      "type": "type foo = Bar of { baz : unit; }",
+      "type": "type foo : value = Bar of { baz : unit; }",
       "tail": "no"
     }
   ]
@@ -243,7 +243,7 @@ FIXME: The following results are not entirely satisfying (`foo.Bar -> foo` could
         "line": 12,
         "col": 26
       },
-      "type": "type Bar = { baz : unit; }",
+      "type": "type Bar : value = { baz : unit; }",
       "tail": "no"
     }
   ]
diff --git a/tests/test-dirs/type-enclosing/types.t/run.t b/tests/test-dirs/type-enclosing/types.t/run.t
@@ -39,7 +39,7 @@
         "line": 5,
         "col": 11
       },
-      "type": "type x = Foo",
+      "type": "type x : immediate = Foo",
       "tail": "no"
     }
   ]
@@ -115,7 +115,7 @@ Same result regardless of verbosity:
         "line": 11,
         "col": 19
       },
-      "type": "type 'a l = 'a l",
+      "type": "type 'a l : value = 'a l",
       "tail": "no"
     }
   ]

diff --git a/tests/test-dirs/type-enclosing/variants.t/run.t b/tests/test-dirs/type-enclosing/variants.t/run.t
@@ -207,7 +207,7 @@ FIXME: Not satisfying, expected core not more
         "line": 9,
         "col": 13
       },
-      "type": "type unit = ()",
+      "type": "type unit : immediate = ()",
       "tail": "no"
     }
   ]