testdata/data.out


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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

main is not found
------------ trace
'Data0 :: [32mType[39m[K
Data0 :: [32m'Data0[39m[K
'Data0Case :: [32m(a : 'Data0->Type) -> a Data0 -> b:'Data0 -> a b[39m[K
match'Data0 :: [32m(a : Type->Type) -> a 'Data0 -> b:Type -> a b -> a b[39m[K
'Data1 :: [32mType -> Type -> Type->Type[39m[K
Data1 :: [32m{a} -> {b} -> {c} -> a -> b -> c -> 'Data1 a b c[39m[K
'Data1Case :: [32m{a} -> {b} -> {c} -> (d : 'Data1 a b c -> Type) -> (e:a -> f:b -> g:c -> d (Data1 e f g)) -> (h : 'Data1 a b c) -> d h[39m[K
match'Data1 :: [32m(a : Type->Type) -> (b:Type -> c:Type -> d:Type -> a ('Data1 b c d)) -> e:Type -> a e -> a e[39m[K
'Data2 :: [32mType[39m[K
Data21 :: [32m'Int->'Data2[39m[K
Data22 :: [32m'Int -> 'Int->'Data2[39m[K
Data23 :: [32m'Int->'Data2[39m[K
Data24 :: [32m'Data2[39m[K
'Data2Case :: [32m(a : 'Data2->Type) -> (b:'Int -> a (Data21 b)) -> (c:'Int -> d:'Int -> a (Data22 c d)) -> (e:'Int -> a (Data23 e)) -> a Data24 -> f:'Data2 -> a f[39m[K
match'Data2 :: [32m(a : Type->Type) -> a 'Data2 -> b:Type -> a b -> a b[39m[K
x :: [32m'Data2->'Int[39m[K
y :: [32m'Data2->'Int[39m[K
'Data5 :: [32mType -> Type -> Type->Type[39m[K
Data51 :: [32m{a} -> {b} -> {c} -> a -> 'Data5 a b c[39m[K
Data52 :: [32m{a} -> {b} -> {c} -> a -> b -> c -> 'Data5 a b c[39m[K
Data53 :: [32m{a} -> {b} -> {c} -> 'Int -> a -> 'Float -> b -> c -> 'Data5 a b c[39m[K
'Data5Case :: [32m{a} -> {b} -> {c} -> (d : 'Data5 a b c -> Type) -> (e:a -> d (Data51 e)) -> (f:a -> g:b -> h:c -> d (Data52 f g h)) -> (i:'Int -> j:a -> k:'Float -> l:b -> m:c -> d (Data53 i j k l m)) -> (n : 'Data5 a b c) -> d n[39m[K
match'Data5 :: [32m(a : Type->Type) -> (b:Type -> c:Type -> d:Type -> a ('Data5 b c d)) -> e:Type -> a e -> a e[39m[K
a5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> a[39m[K
b5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> b[39m[K
c5 :: [32m{a} -> {b} -> {c} -> 'Data5 a b c -> c[39m[K
------------ tooltips
testdata/data.lc 1:6-1:11  Type
testdata/data.lc 1:6-1:19  Type
testdata/data.lc 1:14-1:19  Data0
testdata/data.lc 3:6-3:11  Type | Type -> Type -> Type->Type
testdata/data.lc 3:6-3:13  Type -> Type->Type
testdata/data.lc 3:6-3:15  Type->Type
testdata/data.lc 3:6-3:17  Type
testdata/data.lc 3:6-3:25  Type
testdata/data.lc 3:6-3:31  Type
testdata/data.lc 3:12-3:13  Type
testdata/data.lc 3:14-3:15  Type
testdata/data.lc 3:16-3:17  Type
testdata/data.lc 3:20-3:25  Data1 g_ f_ e_ | Type | {a} -> {b} -> {c} -> a -> b -> c -> Data1 a b c
testdata/data.lc 3:26-3:27  Type
testdata/data.lc 3:28-3:29  Type
testdata/data.lc 3:30-3:31  Type
testdata/data.lc 5:6-5:11  Type
testdata/data.lc 5:6-6:39  Type
testdata/data.lc 5:6-8:20  Type
testdata/data.lc 5:14-5:20  Data2 | Int->Data2 | Type
testdata/data.lc 5:21-5:24  Type
testdata/data.lc 6:14-6:20  Data2 | Int -> Int->Data2 | Type
testdata/data.lc 6:23-6:24  Data2->Int
testdata/data.lc 6:28-6:31  Type
testdata/data.lc 6:33-6:34  Data2->Int
testdata/data.lc 6:36-6:39  Type
testdata/data.lc 7:14-7:20  Data2 | Int->Data2 | Type
testdata/data.lc 7:28-7:31  Type
testdata/data.lc 8:14-8:20  Data2
testdata/data.lc 10:6-10:11  Type | Type -> Type -> Type->Type
testdata/data.lc 10:6-10:14  Type -> Type->Type
testdata/data.lc 10:6-10:17  Type->Type
testdata/data.lc 10:6-10:20  Type
testdata/data.lc 10:6-10:38  Type
testdata/data.lc 10:6-11:54  Type
testdata/data.lc 10:6-12:29  Type
testdata/data.lc 10:6-12:48  Type
testdata/data.lc 10:12-10:14  Type
testdata/data.lc 10:15-10:17  Type
testdata/data.lc 10:18-10:20  Type
testdata/data.lc 10:23-10:29  Data5 e_ d_ c_ | Type | {a} -> {b} -> {c} -> a -> Data5 a b c
testdata/data.lc 10:32-10:34  {a} -> {b} -> {c} -> Data5 a b c -> a
testdata/data.lc 10:36-10:38  Type
testdata/data.lc 11:23-11:29  Data5 h_ g_ f_ | Type | {a} -> {b} -> {c} -> a -> b -> c -> Data5 a b c
testdata/data.lc 11:36-11:38  Type
testdata/data.lc 11:40-11:42  {a} -> {b} -> {c} -> Data5 a b c -> b
testdata/data.lc 11:44-11:46  Type
testdata/data.lc 11:48-11:50  {a} -> {b} -> {c} -> Data5 a b c -> c
testdata/data.lc 11:52-11:54  Type
testdata/data.lc 12:23-12:29  Data5 k_ j_ i_ | Type | {a} -> {b} -> {c} -> Int -> a -> Float -> b -> c -> Data5 a b c
testdata/data.lc 12:30-12:33  Type
testdata/data.lc 12:34-12:36  Type
testdata/data.lc 12:37-12:42  Type
testdata/data.lc 12:43-12:45  Type
testdata/data.lc 12:46-12:48  Type
------------ warnings
Uncovered pattern(s) at testdata/data.lc:6:23:
           | Data22 { x :: Int, y::Int }
                      ^
Missing case(s):
  Data21
  Data24

Uncovered pattern(s) at testdata/data.lc:6:33:
           | Data22 { x :: Int, y::Int }
                                ^
Missing case(s):
  Data21
  Data23
  Data24

Uncovered pattern(s) at testdata/data.lc:10:32:
data Data5 a5 b5 c5 = Data51 { a5::a5}
                               ^^
Missing case(s):
  Data53

Uncovered pattern(s) at testdata/data.lc:11:40:
                    | Data52 { a5::a5, b5::b5, c5::c5 }
                                       ^^
Missing case(s):
  Data51
  Data53

Uncovered pattern(s) at testdata/data.lc:11:48:
                    | Data52 { a5::a5, b5::b5, c5::c5 }
                                               ^^
Missing case(s):
  Data51
  Data53