Add example of hover on record that would require type substitution.

See #349
rescript-lang · Aug 31, 2022 · 171fdf5 · 171fdf5
1 parent ddfc0b8
commit 171fdf5
Show file tree

Hide file tree

Showing 2 changed files with 17 additions and 0 deletions.
diff --git a/analysis/tests/src/Hover.res b/analysis/tests/src/Hover.res
@@ -155,3 +155,14 @@ module ModWithDocComment = {
 
   /*** module level doc comment 2 */
 }
+
+module TypeSustitutionRecords = {
+  type foo<'a> = {content: 'a, zzz: string}
+  type bar = {age: int}
+  type foobar = foo<bar>
+
+  let x1: foo<bar> = {content: {age: 42}, zzz: ""}
+  //                   ^hov
+  let x2: foobar = {content: {age: 42}, zzz: ""}
+  //                  ^hov
+}
diff --git a/analysis/tests/src/expected/Hover.res.txt b/analysis/tests/src/expected/Hover.res.txt
@@ -104,3 +104,9 @@ Hover src/Hover.res 142:9
 Hover src/Hover.res 146:6
 {"contents": "```rescript\nint\n```\n\n doc comment 2 "}
 
+Hover src/Hover.res 163:23
+{"contents": "```rescript\nfoo<'a>\n```\n\n```rescript\ntype foo<'a> = {content: 'a, zzz: string}\n```"}
+
+Hover src/Hover.res 165:22
+{"contents": "```rescript\nfoo<'a>\n```\n\n```rescript\ntype foo<'a> = {content: 'a, zzz: string}\n```"}
+