blob: 2efd57d6c01af1382299ec23da2a84f5df410cde (
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
|
main is not found
------------ trace
value1 :: [32m'Int[39m[K
value2 :: [32m'Int[39m[K
value3 :: [32m'Int[39m[K
value4 :: [32m'Tuple0 -> 'Tuple0->'Tuple0[39m[K
@@@ :: [32m'Tuple0 -> 'Tuple0->'Tuple0[39m[K
value6 :: [32m'Tuple0 -> 'Tuple0->'Tuple0[39m[K
------------ tooltips
testdata/language-features/basic-values/typesig07.lc 1:27-1:30 Type
testdata/language-features/basic-values/typesig07.lc 3:1-3:7 Int
testdata/language-features/basic-values/typesig07.lc 3:10-3:11 V1
testdata/language-features/basic-values/typesig07.lc 4:1-4:7 Int
testdata/language-features/basic-values/typesig07.lc 4:10-4:11 V1
testdata/language-features/basic-values/typesig07.lc 5:1-5:7 Int
testdata/language-features/basic-values/typesig07.lc 5:10-5:11 V1
testdata/language-features/basic-values/typesig07.lc 8:12-8:14 Type
testdata/language-features/basic-values/typesig07.lc 8:18-8:20 Type
testdata/language-features/basic-values/typesig07.lc 8:18-8:26 Type
testdata/language-features/basic-values/typesig07.lc 8:24-8:26 Type
testdata/language-features/basic-values/typesig07.lc 10:1-10:7 Tuple0 -> Tuple0->Tuple0
testdata/language-features/basic-values/typesig07.lc 10:14-10:16 Tuple0 | Tuple0 -> Tuple0->Tuple0 | Tuple0->Tuple0
testdata/language-features/basic-values/typesig07.lc 11:3-11:6 Tuple0 -> Tuple0->Tuple0
testdata/language-features/basic-values/typesig07.lc 11:11-11:13 Tuple0 | Tuple0 -> Tuple0->Tuple0 | Tuple0->Tuple0
testdata/language-features/basic-values/typesig07.lc 12:1-12:7 Tuple0 -> Tuple0->Tuple0
testdata/language-features/basic-values/typesig07.lc 12:14-12:16 Tuple0 | Tuple0 -> Tuple0->Tuple0 | Tuple0->Tuple0
|
