blob: e76f7e19573899c4b4aa39cdadd98442a35710ca (
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
|
main is not found
------------ desugared source code
fun = _lhs fun \(_ :: _) (_ :: _) (_ :: _) -> _rhs ()
value = _lhs value \(a :: _) (b :: _) -> _rhs (a `fun` b)
------------ core code
fun :: forall a b c . a -> b -> c -> ()
fun = \a b c _ _ _ -> _rhs ()
value :: forall a b c . a -> b -> c -> ()
value = \a b c d e -> _rhs (fun d e)
------------ tooltips
1:1-1:4
forall a b c . a -> b -> c -> ()
1:13-1:15
()
3:1-3:6
forall a b c . a -> b -> c -> ()
3:13-3:14
_g
3:13-3:20
_b -> _a -> ()
3:13-3:22
_a -> ()
3:15-3:20
forall a b c . a -> b -> c -> ()
3:21-3:22
_d
|
