main is not found ------------ trace fun1 :: {a} -> a->() fun2 :: {a} -> a->() fun3 :: {a} -> a->() fun4 :: {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 {a} -> a->() testdata/language-features/basic-values/lambda01.lc 1:14-1:16 () testdata/language-features/basic-values/lambda01.lc 2:1-2:5 {a} -> a->() testdata/language-features/basic-values/lambda01.lc 2:15-2:17 () testdata/language-features/basic-values/lambda01.lc 3:1-3:5 {a} -> a->() testdata/language-features/basic-values/lambda01.lc 3:13-3:15 () testdata/language-features/basic-values/lambda01.lc 4:1-4:5 {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 ()