blob: c24d23fc94d9748ef743374e178a2f3b91dff4db (
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
|
main is not found
------------ desugared source code
funL = _lhs funL \(a :: _) (_ :: _) -> _rhs a
funR = _lhs funR \(a :: _) (_ :: _) -> _rhs a
(<<<<) = _lhs (<<<<) \(a :: _) (_ :: _) -> _rhs a
(>>>>) = _lhs (>>>>) \(_ :: _) (a :: _) -> _rhs a
infixr 7 funL
infixr 7 <<<<
infixr 6 >>>>
infixr 6 funR
------------ core code
<<<< :: forall a b . a -> b -> a
<<<< = \a b c _ -> _rhs c
>>>> :: forall a b . a -> b -> b
>>>> = \a b _ c -> _rhs c
funL :: forall a b . a -> b -> a
funL = \a b c _ -> _rhs c
funR :: forall a b . a -> b -> a
funR = \a b c _ -> _rhs c
------------ tooltips
1:1-1:5
forall a b . a -> b -> a
1:12-1:13
_d
2:1-2:5
forall a b . a -> b -> a
2:12-2:13
_d
4:3-4:7
forall a b . a -> b -> a
4:12-4:13
_d
5:3-5:7
forall a b . a -> b -> b
5:12-5:13
_b
|