blob: 3273b516783f71e926735f07e90d27f5a4563be5 (
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
|
------------ desugared source code
main' = _rhs \(a := _rhs \(b :: _) -> b) -> HCons (a 4.0) (HCons (a True) HNil)
main is not found
------------ 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
|