blob: 69e50ccf80305d329cfed88e9fbfdbc55f6aa4f4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
main is not found
------------ desugared source code
fun1 = _rhs \(_ :: _) (a :: _) (_ :: _) -> a
fun2 = \(a :: _) -> _rhs \(_ :: _) (_ :: _) (_ :: _) -> a
------------ core code
fun1 :: forall a b c . a -> b -> c -> b
fun1 = \_ _ _ -> _rhs \_ a _ -> a
fun2 :: forall a b c d . a -> b -> c -> d -> a
fun2 = \_ _ _ _ a -> _rhs \_ _ _ -> a
------------ tooltips
testdata/language-features/basic-values/lambda03.lc 1:1-1:5
forall a b c . a -> b -> c -> b
testdata/language-features/basic-values/lambda03.lc 1:22-1:23
_d
testdata/language-features/basic-values/lambda03.lc 2:1-2:5
forall a b c d . a -> b -> c -> d -> a
testdata/language-features/basic-values/lambda03.lc 2:25-2:26
_h
|
