blob: 448f9dea2c676d07ffd9304dd01a28a63d23aed3 (
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
fun1 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> ()
fun1 = _lhs fun1 \(_ :: _) (_ :: _) -> _rhs ()
fun2 :: forall (a :: _) (b :: _) (c :: _) . a -> (b -> c) -> ()
fun2 = _lhs fun2 \(_ :: _) (_ :: _) -> _rhs ()
------------ core code
fun1 :: forall a b c . a -> (b -> c) -> ()
fun1 = \_ _ _ _ _ -> _rhs ()
fun2 :: forall a b c . a -> (b -> c) -> ()
fun2 = \_ _ _ _ _ -> _rhs ()
------------ tooltips
1:9-1:10
_f
1:9-1:28
Type | Type | Type
1:14-1:28
Type
1:15-1:16
_e
1:20-1:21
_d | Type
1:26-1:28
Type | Type
2:1-2:5
forall a b c . a -> (b -> c) -> ()
2:12-2:14
()
4:7-4:8
_f
4:7-4:20
Type | Type | Type
4:10-4:20
Type
4:11-4:12
_e
4:14-4:15
_d | Type
4:18-4:20
Type | Type
5:1-5:5
forall a b c . a -> (b -> c) -> ()
5:12-5:14
()
|
