summaryrefslogtreecommitdiff
path: root/testdata/language-features/basic-values/lambda01.out
blob: 4598e8d8338e49822f538213ee1fae4daf0e8b5d (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
------------ desugared source code
fun1 = _rhs \_ -> HNil
fun2 = _rhs \_ -> HNil
fun3 = _rhs \_ -> HNil
fun4 = _rhs \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> HNil
main is not found
------------ trace
fun1 :: forall a . a -> ()
fun2 :: forall a . a -> ()
fun3 :: forall a . a -> ()
fun4
  :: forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> ()
------------ tooltips
testdata/language-features/basic-values/lambda01.lc 1:1-1:5
    forall a . a -> ()
testdata/language-features/basic-values/lambda01.lc 1:14-1:16
    ()
testdata/language-features/basic-values/lambda01.lc 2:1-2:5
    forall a . a -> ()
testdata/language-features/basic-values/lambda01.lc 2:15-2:17
    ()
testdata/language-features/basic-values/lambda01.lc 3:1-3:5
    forall a . a -> ()
testdata/language-features/basic-values/lambda01.lc 3:13-3:15
    ()
testdata/language-features/basic-values/lambda01.lc 4:1-4:5
    forall a b c d e f g h i . a -> b -> c -> d -> e -> f -> g -> h -> i -> ()
testdata/language-features/basic-values/lambda01.lc 5:28-5:30
    ()