blob: ab876045e20733161ac76e04b504f6d6ca20615a (
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
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1:
fun _ = '_'
^^^
and at ./testdata/language-features/basic-values/def07.reject.lc:1:1:
fun 1 = '1'
^^^
------------ trace
fun :: forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
fun2 :: forall a b . (Eq a, Num a) => a -> b -> Char
fun :: forall a . a -> Char
!already defined fun at ./testdata/language-features/basic-values/def07.reject.lc:4:1:
fun _ = '_'
^^^
and at ./testdata/language-features/basic-values/def07.reject.lc:1:1:
fun 1 = '1'
^^^
------------ tooltips
1:1-1:4
forall a . (Eq a, Num a, Eq a, Num a) => a -> Char
1:9-1:12
Char
1:9-2:12
Bool -> Char
2:9-2:12
Char | Char
3:1-3:5
forall a b . (Eq a, Num a) => a -> b -> Char
3:12-3:15
Char
4:1-4:4
forall a . a -> Char
4:9-4:12
Char
------------ warnings
Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:1:1:
fun 1 = '1'
fun 2 = '2'
Missing case(s):
fun _ | False <- fromInt 1 == _a, False <- fromInt 2 == _a
Uncovered pattern(s) at ./testdata/language-features/basic-values/def07.reject.lc:3:1:
fun2 1 _ = '1'
^^^^
Missing case(s):
fun2 _ _ | False <- fromInt 1 == _b
|
