blob: 705cd6f02ac7efa60733a3e33a4567e116cc36ad (
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() -> ()->()[39m[K
@@@ :: [32m() -> ()->()[39m[K
value6 :: [32m() -> ()->()[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 b_
testdata/language-features/basic-values/typesig07.lc 4:1-4:7 Int
testdata/language-features/basic-values/typesig07.lc 4:10-4:11 b_
testdata/language-features/basic-values/typesig07.lc 5:1-5:7 Int
testdata/language-features/basic-values/typesig07.lc 5:10-5:11 b_
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 () -> ()->()
testdata/language-features/basic-values/typesig07.lc 10:14-10:16 () | () -> ()->() | ()->()
testdata/language-features/basic-values/typesig07.lc 11:3-11:6 () -> ()->()
testdata/language-features/basic-values/typesig07.lc 11:11-11:13 () | () -> ()->() | ()->()
testdata/language-features/basic-values/typesig07.lc 12:1-12:7 () -> ()->()
testdata/language-features/basic-values/typesig07.lc 12:14-12:16 () | () -> ()->() | ()->()
|