blob: 0052806920532e4a490b67986d22321fbbad2e05 (
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
|
main is not found
------------ desugared source code
main' = _rhs let a = _rhs \(b :: _) -> b in HCons (a 4.0) (HCons (a True) HNil)
------------ trace
main' :: (Float, Bool)
------------ 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
|