blob: e9d1758fe7211a73f871c41a02003372e5a78b05 (
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
|
main is not found
------------ desugared source code
main'
= _lhs main' (_rhs let a = _lhs id' (_rhs \(b :: _) -> b) in (a 4.0, a True))
------------ core code
main' :: (Float, Bool)
main' = _rhs (4.0, True)
------------ tooltips
testdata/id.lc 1:1-1:6
(Float, Bool)
testdata/id.lc 3:19-3:20
_b
testdata/id.lc 4:8-4:27
(Float, Bool)
testdata/id.lc 4:9-4:12
forall a . a -> a
testdata/id.lc 4:9-4:16
Float
testdata/id.lc 4:13-4:16
Float
testdata/id.lc 4:18-4:21
forall a . a -> a
testdata/id.lc 4:18-4:26
Bool | ((Bool))
testdata/id.lc 4:22-4:26
Bool
|
