blob: c6142ab2778472f2e927b8c1b95098ce831352e6 (
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 -> ()
!@! = \a b _ _ -> _rhs ()
value1 :: forall a b . a -> b -> ()
value1 = \a b c -> _rhs \d -> c !@! d
value2 :: forall a b . a -> b -> ()
value2 = \a b c -> _rhs \d -> d !@! c
------------ tooltips
1:3-1:6
forall a b . a -> b -> ()
1:11-1:13
()
3:1-3:7
forall a b . a -> b -> ()
3:13-3:14
_f
3:13-3:18
_a -> ()
3:15-3:18
forall a b . a -> b -> ()
5:1-5:7
forall a b . a -> b -> ()
5:13-5:16
forall a b . a -> b -> ()
5:13-5:18
()
5:17-5:18
_e
|