blob: 96a8907dfe415f2f3b298b0d8e234a9657f915d1 (
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
|
type error: can not unify
[32m'Char[0m
with
[32m()[0m
in testdata/language-features/basic-list/list15.reject.lc:1:20:
value = 'h':'i':():[]
^^
------------ trace
!type error: can not unify
[32m'Char[0m
with
[32m()[0m
in testdata/language-features/basic-list/list15.reject.lc:1:20:
value = 'h':'i':():[]
^^
------------ tooltips
testdata/language-features/basic-list/list15.reject.lc 1:9-1:12 Char
testdata/language-features/basic-list/list15.reject.lc 1:9-1:13 List Char -> List Char
testdata/language-features/basic-list/list15.reject.lc 1:12-1:13 forall a . a -> List a -> List a
testdata/language-features/basic-list/list15.reject.lc 1:13-1:16 Char
testdata/language-features/basic-list/list15.reject.lc 1:13-1:17 List Char -> List Char
testdata/language-features/basic-list/list15.reject.lc 1:16-1:17 forall a . a -> List a -> List a
testdata/language-features/basic-list/list15.reject.lc 1:17-1:19 ()
testdata/language-features/basic-list/list15.reject.lc 1:17-1:20 List () -> List ()
testdata/language-features/basic-list/list15.reject.lc 1:19-1:20 forall a . a -> List a -> List a
|