blob: 2c60feba45194c15d61fc7dbe22985fca00e8212 (
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
|
main is not found
------------ trace
fun1 :: [32m{a} -> {b : 'Eq a} -> {c : 'Num a} -> a->'Char[39m[K
fun2 :: [32m'String->'Char[39m[K
fun3 :: [32m'Char->'Char[39m[K
fun4 :: [32m()->'Char[39m[K
------------ tooltips
testdata/language-features/pattern/pattern01.lc 1:1-1:5 {a} -> {b : Eq a} -> {c : Num a} -> a->Char
testdata/language-features/pattern/pattern01.lc 1:10-1:13 Char
testdata/language-features/pattern/pattern01.lc 1:10-2:13 Bool->Char
testdata/language-features/pattern/pattern01.lc 2:10-2:13 Char
testdata/language-features/pattern/pattern01.lc 4:1-4:5 String->Char
testdata/language-features/pattern/pattern01.lc 4:12-4:15 Char
testdata/language-features/pattern/pattern01.lc 4:12-5:13 Bool->Char
testdata/language-features/pattern/pattern01.lc 5:10-5:13 Char
testdata/language-features/pattern/pattern01.lc 7:1-7:5 Char->Char
testdata/language-features/pattern/pattern01.lc 7:12-7:15 Char
testdata/language-features/pattern/pattern01.lc 7:12-8:13 Bool->Char
testdata/language-features/pattern/pattern01.lc 8:10-8:13 Char
testdata/language-features/pattern/pattern01.lc 10:1-10:5 ()->Char
testdata/language-features/pattern/pattern01.lc 10:11-10:14 Char
------------ warnings
Source code is not reachable: testdata/language-features/pattern/pattern01.lc:11:10:
fun4 _ = '_'
^^^
|