blob: a06769e3162b5d43bd9c3023f13a00752bda4433 (
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
|
main is not found
------------ desugared source code
(!@!) = _lhs (!@!) \(_ :: _) (_ :: _) -> _rhs ()
value1 = _lhs value1 \(a :: _) -> _rhs \(b :: _) -> a !@! b
value2 = _lhs value2 \(a :: _) -> _rhs \(b :: _) -> b !@! a
------------ core code
!@! :: forall a b . a -> b -> ()
!@! = \_ _ _ _ -> _rhs ()
value1 :: forall a b . a -> b -> ()
value1 = \a b c -> _rhs \d -> ()
value2 :: forall a b . a -> b -> ()
value2 = \a b c -> _rhs \d -> ()
------------ 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
|
