blob: 172e681972f40dfd8b7744937c8551ae866ad13b (
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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
------------ desugared source code
value1 = _rhs (fromInt 1) :: Int
value2 = _rhs (fromInt 2) :: Int
value3 = _rhs (fromInt 3) :: Int
value4 = (\_ _ -> _rhs HNil) :: HList '[] -> HList '[] -> HList '[]
(@@@) = (\_ _ -> _rhs HNil) :: HList '[] -> HList '[] -> HList '[]
value6 = (\_ _ -> _rhs HNil) :: HList '[] -> HList '[] -> HList '[]
main is not found
------------ trace
value1 :: Int
value2 :: Int
value3 :: Int
value4 :: () -> () -> ()
(@@@) :: () -> () -> ()
value6 :: () -> () -> ()
------------ tooltips
testdata/language-features/basic-values/typesig07.lc 1:27-1:30
Type | Type | 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 | Type | Type
testdata/language-features/basic-values/typesig07.lc 8:18-8:20
Type | Type | Type
testdata/language-features/basic-values/typesig07.lc 8:18-8:26
Type | Type | Type
testdata/language-features/basic-values/typesig07.lc 8:24-8:26
Type | Type | Type | Type | Type | 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
()
|
