Skip to content

Commit 3840235

Browse files
committed
tweak test
1 parent 0dd01b6 commit 3840235

File tree

2 files changed

+10
-9
lines changed

2 files changed

+10
-9
lines changed

analysis/tests/src/Hover.res

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -99,12 +99,13 @@ let withAs = (~xx as yyy) => yyy + 1
9999

100100
module AA = {
101101
type cond<'a> = [< #str(string)] as 'a
102-
type t<'a> = {b: cond<'a>}
103-
let fun = b => {b: b}
102+
let fun = (b: cond<_>) => true ? b : b
104103
}
105104

106-
let typeOk = AA.fun
107-
// ^hov
105+
let funAlias = AA.fun
106+
107+
let typeOk = funAlias
108+
// ^hov
108109

109110
let typeDuplicate = AA.fun
110-
// ^hov
111+
// ^hov

analysis/tests/src/expected/Hover.res.txt

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -58,9 +58,9 @@ Hover tests/src/Hover.res 93:25
5858
Hover tests/src/Hover.res 96:21
5959
{"contents": "```rescript\nint\n```"}
6060

61-
Hover tests/src/Hover.res 105:6
62-
{"contents": "```rescript\nAA.cond<[< #str(string)]> => AA.t<[< #str(string)]>\n```"}
61+
Hover tests/src/Hover.res 106:16
62+
{"contents": "```rescript\nAA.cond<[< #str(string)]> => AA.cond<[< #str(string)]>\n```"}
6363

64-
Hover tests/src/Hover.res 108:24
65-
{"contents": "```rescript\nAA.cond<\n [< #str(string) & (string) & (string)],\n> => AA.t<[< #str(string) & (string) & (string)]>\n```"}
64+
Hover tests/src/Hover.res 109:25
65+
{"contents": "```rescript\nAA.cond<\n [< #str(string) & (string) & (string) & (string)],\n> => AA.cond<\n [< #str(string) & (string) & (string) & (string)],\n>\n```"}
6666

0 commit comments

Comments
 (0)