blob: 08fd64249f6f640807344ba6ddb2516a15a27e80 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
type error: can not unify
Char
with
()
in testdata/language-features/basic-list/list15.reject.lc:1:20:
value = 'h':'i':():[]
^^
------------ trace
!type error: can not unify
Char
with
()
in testdata/language-features/basic-list/list15.reject.lc:1:20:
value = 'h':'i':():[]
^^
------------ tooltips
1:9-1:12
Char
1:9-1:13
[Char] -> [Char]
1:12-1:13
forall a . a -> [a] -> [a]
1:13-1:16
Char
1:13-1:17
[Char] -> [Char]
1:16-1:17
forall a . a -> [a] -> [a]
1:17-1:19
()
1:17-1:20
[()] -> [()]
1:19-1:20
forall a . a -> [a] -> [a]
|
