blob: 0ce8bd307271f042375c4a9cd6eb3b009a54ff5b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
type error: can not unify
[32m'Int[0m
with
[32m'Float[0m
in builtin Nil
------------ trace
!type error: can not unify
[32m'Int[0m
with
[32m'Float[0m
in builtin Nil
------------ tooltips
testdata/language-features/basic-list/list10.reject.lc 1:10-1:11
_b
testdata/language-features/basic-list/list10.reject.lc 1:12-1:15
Float
testdata/language-features/basic-list/list10.reject.lc 1:20-1:25
Type
testdata/language-features/basic-list/list10.reject.lc 1:21-1:24
Type
|