blob: 7cb01af326e19db2fe9e9721b4b3b9caba62e1a3 (
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{[32ma[0;32m} -> {[32m_[0;32m : [32m'Eq [32m[32ma[0;32m[0;32m[0;32m} -> {[32m_[0;32m : [32m'Num [32m[32ma[0;32m[0;32m[0;32m} -> [32ma[0;32m->'Char[0m
fun2 :: [32m'String->'Char[0m
fun3 :: [32m'Char->'Char[0m
fun4 :: [32m()->'Char[0m
------------ tooltips
testdata/language-features/pattern/pattern01.lc 1:1-1:5 {a} -> {_ : Eq a} -> {_ : 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 _ = '_'
^^^
|