blob: 72466eb45461b3d3cce3381c7299656e4717b901 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
main is not found
------------ trace
unit :: [32m()[39m[K
fun1 :: [32m{a} -> {b} -> {c : 'Num b} -> a->b[39m[K
fun2 :: [32m{a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->'Char[39m[K
------------ tooltips
testdata/language-features/basic-values/def01.lc 1:1-1:5 ()
testdata/language-features/basic-values/def01.lc 1:8-1:10 ()
testdata/language-features/basic-values/def01.lc 3:1-3:5 {a} -> {b} -> {c : Num b} -> a->b
testdata/language-features/basic-values/def01.lc 3:10-3:11 V1
testdata/language-features/basic-values/def01.lc 5:1-5:5 {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e->Char
testdata/language-features/basic-values/def01.lc 5:18-5:21 Char
|