blob: 005c695954a5ed130b3525c84aadf32ab912d5dc (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
main is not found
------------ desugared source code
value = _rhs (fromInt 1 : [])
------------ trace
value :: forall a . Num a => [a]
------------ tooltips
testdata/language-features/basic-list/list11.lc 1:1-1:6
forall a . Num a => [a]
testdata/language-features/basic-list/list11.lc 1:9-1:10
_b
testdata/language-features/basic-list/list11.lc 1:9-1:11
[_b] -> [_b]
testdata/language-features/basic-list/list11.lc 1:9-1:13
[_b]
testdata/language-features/basic-list/list11.lc 1:10-1:11
forall a . a -> [a] -> [a]
testdata/language-features/basic-list/list11.lc 1:11-1:13
forall a . [a]
|