blob: b933dda46df8ade9a1b5006bb8a14b53fe5e13f1 (
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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
main is not found
------------ desugared source code
funL = \(a :: _) _ -> _rhs a
(<@) = \(a :: _) _ -> _rhs a
value1 = _rhs ("hi" <@ 1.2 :: String)
value2 = _rhs ("hi" `funL` 1.2 :: String)
------------ trace
funL :: forall a b . a -> b -> a
(<@) :: forall a b . a -> b -> a
value1 :: String
value2 :: String
------------ tooltips
testdata/language-features/basic-values/typesig06.lc 1:1-1:5
forall a b . a -> b -> a
testdata/language-features/basic-values/typesig06.lc 1:12-1:13
_d
testdata/language-features/basic-values/typesig06.lc 2:3-2:5
forall a b . a -> b -> a
testdata/language-features/basic-values/typesig06.lc 2:10-2:11
_d
testdata/language-features/basic-values/typesig06.lc 4:1-4:7
String
testdata/language-features/basic-values/typesig06.lc 4:10-4:14
String
testdata/language-features/basic-values/typesig06.lc 4:10-4:17
_a -> String
testdata/language-features/basic-values/typesig06.lc 4:10-4:21
String
testdata/language-features/basic-values/typesig06.lc 4:15-4:17
forall a b . a -> b -> a
testdata/language-features/basic-values/typesig06.lc 4:18-4:21
Float
testdata/language-features/basic-values/typesig06.lc 4:25-4:31
Type
testdata/language-features/basic-values/typesig06.lc 5:1-5:7
String
testdata/language-features/basic-values/typesig06.lc 5:10-5:14
String
testdata/language-features/basic-values/typesig06.lc 5:10-5:21
_a -> String
testdata/language-features/basic-values/typesig06.lc 5:10-5:25
String
testdata/language-features/basic-values/typesig06.lc 5:15-5:21
forall a b . a -> b -> a
testdata/language-features/basic-values/typesig06.lc 5:22-5:25
Float
testdata/language-features/basic-values/typesig06.lc 5:29-5:35
Type
|
