blob: 75c34115d88f97f13d85cad25d7bca8feba77248 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
------------ desugared source code
value = _rhs HNil
g = _rhs greeting :: Char
h = _rhs hello :: String
w = _rhs world :: String
main is not found
------------ trace
value :: [32m()[0m
g :: [32mChar[0m
h :: [32mString[0m
w :: [32mString[0m
------------ tooltips
testdata/language-features/module/import08.lc 3:1-3:6 ()
testdata/language-features/module/import08.lc 3:9-3:11 ()
testdata/language-features/module/import08.lc 5:6-5:10 Type
testdata/language-features/module/import08.lc 6:1-6:2 Char
testdata/language-features/module/import08.lc 6:5-6:13 Char
testdata/language-features/module/import08.lc 8:6-8:12 Type
testdata/language-features/module/import08.lc 9:1-9:2 String
testdata/language-features/module/import08.lc 9:5-9:10 String
testdata/language-features/module/import08.lc 11:6-11:12 Type
testdata/language-features/module/import08.lc 12:1-12:2 String
testdata/language-features/module/import08.lc 12:5-12:10 String
|