blob: cc714c3a17280e1b1d905a514f6f336977c02c10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
main is not found
------------ desugared source code
value1
= _lhs value1 (_rhs let a = _lhs (+=+) \(_ :: _) (_ :: _) -> _rhs () in a () ())
------------ core code
value1 :: ()
value1 = _rhs ()
------------ tooltips
operator05.lc 1:1-1:7
()
operator05.lc 1:24-1:26
()
operator05.lc 2:13-2:15
()
operator05.lc 2:13-2:19
_a -> ()
operator05.lc 2:13-2:22
()
operator05.lc 2:16-2:19
forall a b . a -> b -> ()
operator05.lc 2:20-2:22
()
|
