blob: 0c51e14e3d35f529d26a0a5065758f470dbec5c6 (
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
|
------------ desugared source code
!@! = \_ -> \_ -> _rhs HNil
value1 = \(a :: _) -> _rhs \(b :: _) -> a !@! b
value2 = \(a :: _) -> _rhs \(b :: _) -> b !@! a
main is not found
------------ trace
!@! :: forall a b . a -> b -> ()
value1 :: forall a b . a -> b -> ()
value2 :: forall a b . a -> b -> ()
------------ tooltips
testdata/language-features/section/section01.lc 1:3-1:6
forall a b . a -> b -> ()
testdata/language-features/section/section01.lc 1:11-1:13
()
testdata/language-features/section/section01.lc 3:1-3:7
forall a b . a -> b -> ()
testdata/language-features/section/section01.lc 3:13-3:14
_f
testdata/language-features/section/section01.lc 3:13-3:18
_a -> ()
testdata/language-features/section/section01.lc 3:15-3:18
forall a b . a -> b -> ()
testdata/language-features/section/section01.lc 5:1-5:7
forall a b . a -> b -> ()
testdata/language-features/section/section01.lc 5:13-5:16
forall a b . a -> b -> ()
testdata/language-features/section/section01.lc 5:13-5:18
()
testdata/language-features/section/section01.lc 5:17-5:18
_e
|
