summaryrefslogtreecommitdiff
path: root/testdata/Internals.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-18 18:34:47 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-19 02:50:09 +0100
commit998ae8f884f4b1d4e092ebdf3a441b97b2cf05b7 (patch)
tree6ced17ee38fa78de69b05c8765288ecabe52fb6e /testdata/Internals.out
parent27c8f3aeb2d13da0bec522ee8a8a98f534fa39e8 (diff)
tuples are heterogeneous lists
Diffstat (limited to 'testdata/Internals.out')
-rw-r--r--testdata/Internals.out803
1 files changed, 386 insertions, 417 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out
index a85035e3..2218a590 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -1,6 +1,7 @@
1main is not found 1main is not found
2------------ trace 2------------ trace
3typeAnn :: {a} -> a->a 3typeAnn :: {a} -> a->a
4parens :: {a} -> a->a
4undefined :: {a}->a 5undefined :: {a}->a
5primFix :: {a} -> a->a -> a 6primFix :: {a} -> a->a -> a
6'Unit :: Type 7'Unit :: Type
@@ -15,35 +16,9 @@ match'String :: (b : Type->Type) -> b 'String -> d:Type -> b d -> b d
15match'Empty :: (b : Type->Type) -> (c:'String -> b ('Empty c)) -> e:Type -> b e -> b e 16match'Empty :: (b : Type->Type) -> (c:'String -> b ('Empty c)) -> e:Type -> b e -> b e
16unsafeCoerce :: {a} -> {b} -> a->b 17unsafeCoerce :: {a} -> {b} -> a->b
17'EqCT :: a:Type -> a -> a->Type 18'EqCT :: a:Type -> a -> a->Type
18'Tuple0 :: Type
19Tuple0 :: 'Tuple0
20'Tuple0Case :: (b : 'Tuple0->Type) -> b Tuple0 -> d:'Tuple0 -> b d
21match'Tuple0 :: (b : Type->Type) -> b 'Tuple0 -> d:Type -> b d -> b d
22'Tuple1 :: Type->Type
23Tuple1 :: {a} -> a -> 'Tuple1 a
24'Tuple1Case :: {a} -> (c : 'Tuple1 a -> Type) -> (d:a -> c (Tuple1 d)) -> (f : 'Tuple1 a) -> c f
25match'Tuple1 :: (b : Type->Type) -> (c:Type -> b ('Tuple1 c)) -> e:Type -> b e -> b e
26'Tuple2 :: Type -> Type->Type
27Tuple2 :: {a} -> {b} -> a -> b -> 'Tuple2 a b
28'Tuple2Case :: {a} -> {b} -> (d : 'Tuple2 a b -> Type) -> (e:a -> f:b -> d (Tuple2 e f)) -> (h : 'Tuple2 a b) -> d h
29match'Tuple2 :: (b : Type->Type) -> (c:Type -> d:Type -> b ('Tuple2 c d)) -> f:Type -> b f -> b f
30'Tuple3 :: Type -> Type -> Type->Type
31Tuple3 :: {a} -> {b} -> {c} -> a -> b -> c -> 'Tuple3 a b c
32'Tuple3Case :: {a} -> {b} -> {c} -> (e : 'Tuple3 a b c -> Type) -> (f:a -> g:b -> h:c -> e (Tuple3 f g h)) -> (j : 'Tuple3 a b c) -> e j
33match'Tuple3 :: (b : Type->Type) -> (c:Type -> d:Type -> e:Type -> b ('Tuple3 c d e)) -> g:Type -> b g -> b g
34'Tuple4 :: Type -> Type -> Type -> Type->Type
35Tuple4 :: {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> 'Tuple4 a b c d
36'Tuple4Case :: {a} -> {b} -> {c} -> {d} -> (f : 'Tuple4 a b c d -> Type) -> (g:a -> h:b -> i:c -> j:d -> f (Tuple4 g h i j)) -> (l : 'Tuple4 a b c d) -> f l
37match'Tuple4 :: (b : Type->Type) -> (c:Type -> d:Type -> e:Type -> f:Type -> b ('Tuple4 c d e f)) -> h:Type -> b h -> b h
38'Tuple5 :: Type -> Type -> Type -> Type -> Type->Type
39Tuple5 :: {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> 'Tuple5 a b c d e
40'Tuple5Case :: {a} -> {b} -> {c} -> {d} -> {e} -> (g : 'Tuple5 a b c d e -> Type) -> (h:a -> i:b -> j:c -> k:d -> l:e -> g (Tuple5 h i j k l)) -> (n : 'Tuple5 a b c d e) -> g n
41match'Tuple5 :: (b : Type->Type) -> (c:Type -> d:Type -> e:Type -> f:Type -> g:Type -> b ('Tuple5 c d e f g)) -> i:Type -> b i -> b i
42parEval :: a:Type -> a -> a->a 19parEval :: a:Type -> a -> a->a
43'JoinTupleType :: Type -> Type->Type
44'T2 :: Type -> Type->Type 20'T2 :: Type -> Type->Type
45match'Type :: (b : Type->Type) -> b Type -> d:Type -> b d -> b d 21match'Type :: (b : Type->Type) -> b Type -> d:Type -> b d -> b d
46testmt :: a:Type -> a->a
47'EqCTt :: {a} -> a -> a->Type 22'EqCTt :: {a} -> a -> a->Type
48t2C :: 'Unit -> 'Unit->'Unit 23t2C :: 'Unit -> 'Unit->'Unit
49'Int :: Type 24'Int :: Type
@@ -103,399 +78,393 @@ Nil :: {a} -> 'List a
103Cons :: {a} -> a -> 'List a -> 'List a 78Cons :: {a} -> a -> 'List a -> 'List a
104'ListCase :: {a} -> (c : 'List a -> Type) -> c Nil -> (e:a -> (f : 'List a) -> c (Cons e f)) -> (h : 'List a) -> c h 79'ListCase :: {a} -> (c : 'List a -> Type) -> c Nil -> (e:a -> (f : 'List a) -> c (Cons e f)) -> (h : 'List a) -> c h
105match'List :: (b : Type->Type) -> (c:Type -> b ('List c)) -> e:Type -> b e -> b e 80match'List :: (b : Type->Type) -> (c:Type -> b ('List c)) -> e:Type -> b e -> b e
81'HList :: 'List Type -> Type
82HNil :: 'HList Nil
83HCons :: {a} -> {b : 'List Type} -> a -> 'HList b -> 'HList (Cons a b)
84'HListCase :: (c : (a : 'List Type) -> 'HList a -> Type) -> c Nil HNil -> ({e} -> {f : 'List Type} -> g:e -> (h : 'HList f) -> c (Cons e f) (HCons e f g h)) -> {j : 'List Type} -> (k : 'HList j) -> c j k
85match'HList :: (b : Type->Type) -> ((c : 'List Type) -> b ('HList c)) -> e:Type -> b e -> b e
86hlistConsCase :: {a} -> {b : 'List Type} -> (d : 'Unit->Type) -> (a -> 'HList b -> d TT) -> 'HList (Cons a b) -> d TT
87hlistNilCase :: (b : 'Unit->Type) -> b TT -> 'HList Nil -> b TT
88joinTupleType :: {a} -> {b : 'List Type} -> a -> 'HList b -> 'HList (Cons a b)
106------------ tooltips 89------------ tooltips
107testdata/Internals.lc 7:1-7:8 {a} -> a->a 90testdata/Internals.lc 7:1-7:8 {a} -> a->a
108testdata/Internals.lc 7:13-7:14 V1 91testdata/Internals.lc 7:13-7:14 V1
109testdata/Internals.lc 9:1-9:10 {a}->a 92testdata/Internals.lc 10:1-10:7 {a} -> a->a
110testdata/Internals.lc 9:27-9:31 Type 93testdata/Internals.lc 10:12-10:13 V1
111testdata/Internals.lc 9:35-9:36 Type 94testdata/Internals.lc 12:1-12:10 {a}->a
112testdata/Internals.lc 11:1-11:8 {a} -> a->a -> a 95testdata/Internals.lc 12:27-12:31 Type
113testdata/Internals.lc 11:25-11:29 Type 96testdata/Internals.lc 12:35-12:36 Type
114testdata/Internals.lc 11:33-11:46 Type 97testdata/Internals.lc 14:1-14:8 {a} -> a->a -> a
115testdata/Internals.lc 11:34-11:35 Type 98testdata/Internals.lc 14:25-14:29 Type
116testdata/Internals.lc 11:39-11:40 Type 99testdata/Internals.lc 14:33-14:46 Type
117testdata/Internals.lc 11:45-11:46 Type 100testdata/Internals.lc 14:34-14:35 Type
118testdata/Internals.lc 13:6-13:10 Type 101testdata/Internals.lc 14:39-14:40 Type
119testdata/Internals.lc 13:6-13:15 Type 102testdata/Internals.lc 14:45-14:46 Type
120testdata/Internals.lc 13:13-13:15 Unit 103testdata/Internals.lc 16:6-16:10 Type
121testdata/Internals.lc 14:6-14:12 Type 104testdata/Internals.lc 16:6-16:15 Type
122testdata/Internals.lc 15:6-15:11 String->Type | Type 105testdata/Internals.lc 16:13-16:15 Unit
123testdata/Internals.lc 15:18-15:24 Type 106testdata/Internals.lc 17:6-17:12 Type
124testdata/Internals.lc 17:1-17:13 {a} -> {b} -> a->b 107testdata/Internals.lc 18:6-18:11 String->Type | Type
125testdata/Internals.lc 17:30-17:31 V3 108testdata/Internals.lc 18:18-18:24 Type
126testdata/Internals.lc 17:30-17:36 Type 109testdata/Internals.lc 20:1-20:13 {a} -> {b} -> a->b
127testdata/Internals.lc 17:35-17:36 Type | V2 110testdata/Internals.lc 20:30-20:31 V3
128testdata/Internals.lc 20:13-20:17 a:Type -> a -> a->Type 111testdata/Internals.lc 20:30-20:36 Type
129testdata/Internals.lc 20:24-20:28 Type 112testdata/Internals.lc 20:35-20:36 Type | V2
130testdata/Internals.lc 20:36-20:37 Type 113testdata/Internals.lc 23:13-23:17 a:Type -> a -> a->Type
131testdata/Internals.lc 20:36-20:46 Type 114testdata/Internals.lc 23:24-23:28 Type
132testdata/Internals.lc 20:45-20:46 Type 115testdata/Internals.lc 23:36-23:37 Type
133testdata/Internals.lc 26:6-26:12 Type 116testdata/Internals.lc 23:36-23:46 Type
134testdata/Internals.lc 26:6-26:21 Type 117testdata/Internals.lc 23:45-23:46 Type
135testdata/Internals.lc 26:15-26:21 Tuple0 118testdata/Internals.lc 32:1-32:8 a:Type -> a -> a->a
136testdata/Internals.lc 27:6-27:12 Type | Type->Type 119testdata/Internals.lc 32:24-32:25 V1
137testdata/Internals.lc 27:6-27:23 Type 120testdata/Internals.lc 32:24-32:35 Type
138testdata/Internals.lc 27:6-27:25 Type 121testdata/Internals.lc 32:29-32:30 Type
139testdata/Internals.lc 27:17-27:23 Tuple1 V2 | Type | {a} -> a -> Tuple1 a 122testdata/Internals.lc 32:29-32:35 Type
140testdata/Internals.lc 27:24-27:25 Type 123testdata/Internals.lc 32:34-32:35 Type
141testdata/Internals.lc 28:6-28:12 Type | Type -> Type->Type 124testdata/Internals.lc 35:13-35:15 Type -> Type->Type
142testdata/Internals.lc 28:6-28:25 Type 125testdata/Internals.lc 37:1-37:11 (b : Type->Type) -> b Type -> d:Type -> b d -> b d
143testdata/Internals.lc 28:6-28:29 Type 126testdata/Internals.lc 37:28-37:32 Type
144testdata/Internals.lc 28:19-28:25 Tuple2 V4 V3 | Type | {a} -> {b} -> a -> b -> Tuple2 a b 127testdata/Internals.lc 37:36-37:40 Type
145testdata/Internals.lc 28:26-28:27 Type 128testdata/Internals.lc 37:45-37:46 Type->Type
146testdata/Internals.lc 28:28-28:29 Type 129testdata/Internals.lc 37:45-37:51 Type
147testdata/Internals.lc 29:6-29:12 Type | Type -> Type -> Type->Type 130testdata/Internals.lc 37:45-37:87 Type
148testdata/Internals.lc 29:6-29:27 Type 131testdata/Internals.lc 37:47-37:51 Type
149testdata/Internals.lc 29:6-29:33 Type 132testdata/Internals.lc 37:55-37:87 Type
150testdata/Internals.lc 29:21-29:27 Tuple3 V6 V5 V4 | Type | {a} -> {b} -> {c} -> a -> b -> c -> Tuple3 a b c 133testdata/Internals.lc 37:68-37:72 Type
151testdata/Internals.lc 29:28-29:29 Type 134testdata/Internals.lc 37:77-37:78 Type->Type
152testdata/Internals.lc 29:30-29:31 Type 135testdata/Internals.lc 37:77-37:80 Type
153testdata/Internals.lc 29:32-29:33 Type 136testdata/Internals.lc 37:77-37:87 Type
154testdata/Internals.lc 30:6-30:12 Type | Type -> Type -> Type -> Type->Type 137testdata/Internals.lc 37:79-37:80 Type
155testdata/Internals.lc 30:6-30:29 Type 138testdata/Internals.lc 37:84-37:85 Type->Type
156testdata/Internals.lc 30:6-30:37 Type 139testdata/Internals.lc 37:84-37:87 Type
157testdata/Internals.lc 30:23-30:29 Tuple4 V8 V7 V6 V5 | Type | {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> Tuple4 a b c d 140testdata/Internals.lc 37:86-37:87 Type
158testdata/Internals.lc 30:30-30:31 Type 141testdata/Internals.lc 39:6-39:11 {a} -> a -> a->Type
159testdata/Internals.lc 30:32-30:33 Type 142testdata/Internals.lc 39:14-39:18 a:Type -> a -> a->Type
160testdata/Internals.lc 30:34-30:35 Type 143testdata/Internals.lc 39:14-39:20 V0 -> V1->Type
161testdata/Internals.lc 30:36-30:37 Type 144testdata/Internals.lc 42:1-42:4 Unit -> Unit->Unit
162testdata/Internals.lc 31:6-31:12 Type | Type -> Type -> Type -> Type -> Type->Type 145testdata/Internals.lc 42:8-42:12 Type
163testdata/Internals.lc 31:6-31:31 Type 146testdata/Internals.lc 42:16-42:20 Type
164testdata/Internals.lc 31:6-31:41 Type 147testdata/Internals.lc 42:16-42:28 Type
165testdata/Internals.lc 31:25-31:31 Tuple5 V10 V9 V8 V7 V6 | Type | {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> Tuple5 a b c d e 148testdata/Internals.lc 42:24-42:28 Type
166testdata/Internals.lc 31:32-31:33 Type 149testdata/Internals.lc 45:6-45:9 Type
167testdata/Internals.lc 31:34-31:35 Type 150testdata/Internals.lc 46:6-46:10 Type
168testdata/Internals.lc 31:36-31:37 Type 151testdata/Internals.lc 47:6-47:11 Type
169testdata/Internals.lc 31:38-31:39 Type 152testdata/Internals.lc 48:6-48:10 Type
170testdata/Internals.lc 31:40-31:41 Type 153testdata/Internals.lc 50:6-50:10 Type
171testdata/Internals.lc 36:1-36:8 a:Type -> a -> a->a 154testdata/Internals.lc 50:6-50:25 Type
172testdata/Internals.lc 36:24-36:25 V1 155testdata/Internals.lc 50:13-50:18 Bool
173testdata/Internals.lc 36:24-36:35 Type 156testdata/Internals.lc 50:21-50:25 Bool
174testdata/Internals.lc 36:29-36:30 Type 157testdata/Internals.lc 52:6-52:14 Type
175testdata/Internals.lc 36:29-36:35 Type 158testdata/Internals.lc 52:6-52:29 Type
176testdata/Internals.lc 36:34-36:35 Type 159testdata/Internals.lc 52:17-52:19 Ordering
177testdata/Internals.lc 40:5-40:18 Type -> Type->Type 160testdata/Internals.lc 52:22-52:24 Ordering
178testdata/Internals.lc 40:26-40:27 Type 161testdata/Internals.lc 52:27-52:29 Ordering
179testdata/Internals.lc 40:26-44:31 Type | Type -> Type->Type | Type->Type 162testdata/Internals.lc 54:6-54:9 Type
180testdata/Internals.lc 41:22-41:26 Type 163testdata/Internals.lc 54:6-54:23 Type
181testdata/Internals.lc 41:22-41:39 Type->Type 164testdata/Internals.lc 54:12-54:16 Nat
182testdata/Internals.lc 41:22-44:31 Type 165testdata/Internals.lc 54:19-54:23 Nat | Nat->Nat | Type
183testdata/Internals.lc 41:30-41:39 Type | Type -> Type->Type | Type->Type 166testdata/Internals.lc 54:24-54:27 Type
184testdata/Internals.lc 41:31-41:32 Type 167testdata/Internals.lc 57:1-57:14 Int->Word
185testdata/Internals.lc 41:31-41:35 Type->Type 168testdata/Internals.lc 57:24-57:27 Type
186testdata/Internals.lc 41:34-41:35 Type 169testdata/Internals.lc 57:33-57:37 Type
187testdata/Internals.lc 41:37-41:38 Type 170testdata/Internals.lc 58:1-58:15 Int->Float
188testdata/Internals.lc 42:22-42:29 Type 171testdata/Internals.lc 58:24-58:27 Type
189testdata/Internals.lc 42:22-42:45 Type->Type 172testdata/Internals.lc 58:33-58:38 Type
190testdata/Internals.lc 42:22-44:31 Type 173testdata/Internals.lc 59:1-59:13 Int->Nat
191testdata/Internals.lc 42:33-42:45 Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type 174testdata/Internals.lc 59:24-59:27 Type
192testdata/Internals.lc 42:34-42:35 Type 175testdata/Internals.lc 59:33-59:36 Type
193testdata/Internals.lc 42:34-42:38 Type -> Type->Type 176testdata/Internals.lc 60:1-60:15 Int -> Int->Ordering
194testdata/Internals.lc 42:34-42:41 Type->Type 177testdata/Internals.lc 60:24-60:27 Type
195testdata/Internals.lc 42:37-42:38 Type 178testdata/Internals.lc 60:33-60:36 Type
196testdata/Internals.lc 42:40-42:41 Type 179testdata/Internals.lc 60:33-60:50 Type
197testdata/Internals.lc 42:43-42:44 Type 180testdata/Internals.lc 60:42-60:50 Type
198testdata/Internals.lc 43:22-43:32 Type 181testdata/Internals.lc 61:1-61:16 Word -> Word->Ordering
199testdata/Internals.lc 43:22-43:51 Type->Type 182testdata/Internals.lc 61:24-61:28 Type
200testdata/Internals.lc 43:22-44:31 Type 183testdata/Internals.lc 61:33-61:37 Type
201testdata/Internals.lc 43:36-43:51 Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type 184testdata/Internals.lc 61:33-61:50 Type
202testdata/Internals.lc 43:37-43:38 Type 185testdata/Internals.lc 61:42-61:50 Type
203testdata/Internals.lc 43:37-43:41 Type -> Type -> Type->Type 186testdata/Internals.lc 62:1-62:17 Float -> Float->Ordering
204testdata/Internals.lc 43:37-43:44 Type -> Type->Type 187testdata/Internals.lc 62:24-62:29 Type
205testdata/Internals.lc 43:37-43:47 Type->Type 188testdata/Internals.lc 62:33-62:38 Type
206testdata/Internals.lc 43:40-43:41 Type 189testdata/Internals.lc 62:33-62:50 Type
207testdata/Internals.lc 43:43-43:44 Type 190testdata/Internals.lc 62:42-62:50 Type
208testdata/Internals.lc 43:46-43:47 Type 191testdata/Internals.lc 63:1-63:16 Char -> Char->Ordering
209testdata/Internals.lc 43:49-43:50 Type 192testdata/Internals.lc 63:24-63:28 Type
210testdata/Internals.lc 44:25-44:31 Type 193testdata/Internals.lc 63:33-63:37 Type
211testdata/Internals.lc 44:26-44:27 Type 194testdata/Internals.lc 63:33-63:50 Type
212testdata/Internals.lc 44:29-44:30 Type 195testdata/Internals.lc 63:42-63:50 Type
213testdata/Internals.lc 47:13-47:15 Type -> Type->Type 196testdata/Internals.lc 64:1-64:18 String -> String->Ordering
214testdata/Internals.lc 49:1-49:11 (b : Type->Type) -> b Type -> d:Type -> b d -> b d 197testdata/Internals.lc 64:24-64:30 Type
215testdata/Internals.lc 49:28-49:32 Type 198testdata/Internals.lc 64:34-64:40 Type
216testdata/Internals.lc 49:36-49:40 Type 199testdata/Internals.lc 64:34-64:52 Type
217testdata/Internals.lc 49:45-49:46 Type->Type 200testdata/Internals.lc 64:44-64:52 Type
218testdata/Internals.lc 49:45-49:51 Type 201testdata/Internals.lc 65:1-65:14 Int->Int
219testdata/Internals.lc 49:45-49:87 Type 202testdata/Internals.lc 65:24-65:27 Type
220testdata/Internals.lc 49:47-49:51 Type 203testdata/Internals.lc 65:33-65:36 Type
221testdata/Internals.lc 49:55-49:87 Type 204testdata/Internals.lc 66:1-66:15 Word->Word
222testdata/Internals.lc 49:68-49:72 Type 205testdata/Internals.lc 66:24-66:28 Type
223testdata/Internals.lc 49:77-49:78 Type->Type 206testdata/Internals.lc 66:33-66:37 Type
224testdata/Internals.lc 49:77-49:80 Type 207testdata/Internals.lc 67:1-67:16 Float->Float
225testdata/Internals.lc 49:77-49:87 Type 208testdata/Internals.lc 67:24-67:29 Type
226testdata/Internals.lc 49:79-49:80 Type 209testdata/Internals.lc 67:33-67:38 Type
227testdata/Internals.lc 49:84-49:85 Type->Type 210testdata/Internals.lc 68:1-68:11 Int -> Int->Int
228testdata/Internals.lc 49:84-49:87 Type 211testdata/Internals.lc 68:24-68:27 Type
229testdata/Internals.lc 49:86-49:87 Type 212testdata/Internals.lc 68:33-68:36 Type
230testdata/Internals.lc 51:24-51:28 Type 213testdata/Internals.lc 68:33-68:45 Type
231testdata/Internals.lc 51:33-51:34 Type 214testdata/Internals.lc 68:42-68:45 Type
232testdata/Internals.lc 51:33-51:39 Type 215testdata/Internals.lc 69:1-69:11 Int -> Int->Int
233testdata/Internals.lc 51:38-51:39 Type 216testdata/Internals.lc 69:24-69:27 Type
234testdata/Internals.lc 52:1-52:7 a:Type -> a->a 217testdata/Internals.lc 69:33-69:36 Type
235testdata/Internals.lc 52:8-52:13 Type 218testdata/Internals.lc 69:33-69:45 Type
236testdata/Internals.lc 52:8-52:35 V0->V1 -> V1->V2 | a:Type -> a->a 219testdata/Internals.lc 69:42-69:45 Type
237testdata/Internals.lc 52:16-52:35 Type->Type 220testdata/Internals.lc 70:1-70:11 Int -> Int->Int
238testdata/Internals.lc 52:17-52:24 Type 221testdata/Internals.lc 70:24-70:27 Type
239testdata/Internals.lc 52:17-52:35 Type->Type 222testdata/Internals.lc 70:33-70:36 Type
240testdata/Internals.lc 52:28-52:35 Type 223testdata/Internals.lc 70:33-70:45 Type
241testdata/Internals.lc 59:6-59:11 {a} -> a -> a->Type 224testdata/Internals.lc 70:42-70:45 Type
242testdata/Internals.lc 59:14-59:18 a:Type -> a -> a->Type 225testdata/Internals.lc 71:1-71:14 Float->Float
243testdata/Internals.lc 59:14-59:20 V0 -> V1->Type 226testdata/Internals.lc 71:24-71:29 Type
244testdata/Internals.lc 62:1-62:4 Unit -> Unit->Unit 227testdata/Internals.lc 71:33-71:38 Type
245testdata/Internals.lc 62:8-62:12 Type 228testdata/Internals.lc 72:1-72:10 Float->Int
246testdata/Internals.lc 62:16-62:20 Type 229testdata/Internals.lc 72:24-72:29 Type
247testdata/Internals.lc 62:16-62:28 Type 230testdata/Internals.lc 72:33-72:36 Type
248testdata/Internals.lc 62:24-62:28 Type 231testdata/Internals.lc 75:19-75:23 Type
249testdata/Internals.lc 65:6-65:9 Type 232testdata/Internals.lc 75:19-75:38 Type
250testdata/Internals.lc 66:6-66:10 Type 233testdata/Internals.lc 75:27-75:28 V2
251testdata/Internals.lc 67:6-67:11 Type 234testdata/Internals.lc 75:27-75:38 Type
252testdata/Internals.lc 68:6-68:10 Type 235testdata/Internals.lc 75:32-75:33 Type
253testdata/Internals.lc 70:6-70:10 Type 236testdata/Internals.lc 75:32-75:38 Type
254testdata/Internals.lc 70:6-70:25 Type 237testdata/Internals.lc 75:37-75:38 Type
255testdata/Internals.lc 70:13-70:18 Bool 238testdata/Internals.lc 76:1-76:15 {a} -> Bool -> a -> a->a
256testdata/Internals.lc 70:21-70:25 Bool 239testdata/Internals.lc 76:16-76:20 Bool
257testdata/Internals.lc 72:6-72:14 Type 240testdata/Internals.lc 76:16-77:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
258testdata/Internals.lc 72:6-72:29 Type 241testdata/Internals.lc 76:28-76:29 V3
259testdata/Internals.lc 72:17-72:19 Ordering 242testdata/Internals.lc 76:28-77:29 Bool->V4
260testdata/Internals.lc 72:22-72:24 Ordering 243testdata/Internals.lc 77:28-77:29 V4
261testdata/Internals.lc 72:27-72:29 Ordering 244testdata/Internals.lc 79:1-79:5 Ordering->Bool
262testdata/Internals.lc 74:6-74:9 Type 245testdata/Internals.lc 79:6-79:8 V1
263testdata/Internals.lc 74:6-74:23 Type 246testdata/Internals.lc 79:6-80:15 Bool
264testdata/Internals.lc 74:12-74:16 Nat 247testdata/Internals.lc 79:11-79:15 Bool
265testdata/Internals.lc 74:19-74:23 Nat | Nat->Nat | Type 248testdata/Internals.lc 79:11-80:15 Bool -> Ordering->Bool
266testdata/Internals.lc 74:24-74:27 Type 249testdata/Internals.lc 80:10-80:15 Bool
267testdata/Internals.lc 77:1-77:14 Int->Word 250testdata/Internals.lc 83:7-83:10 Type->Type
268testdata/Internals.lc 77:24-77:27 Type 251testdata/Internals.lc 83:7-84:22 Type
269testdata/Internals.lc 77:33-77:37 Type 252testdata/Internals.lc 83:7-85:32 Type
270testdata/Internals.lc 78:1-78:15 Int->Float 253testdata/Internals.lc 83:7-86:19 Type
271testdata/Internals.lc 78:24-78:27 Type 254testdata/Internals.lc 84:3-84:10 {a} -> {b : Num a} -> Int->a
272testdata/Internals.lc 78:33-78:38 Type 255testdata/Internals.lc 84:14-84:17 Type
273testdata/Internals.lc 79:1-79:13 Int->Nat 256testdata/Internals.lc 84:14-84:22 Type
274testdata/Internals.lc 79:24-79:27 Type 257testdata/Internals.lc 84:21-84:22 Type
275testdata/Internals.lc 79:33-79:36 Type 258testdata/Internals.lc 85:3-85:10 {a} -> {b : Num a} -> a -> a->Ordering
276testdata/Internals.lc 80:1-80:15 Int -> Int->Ordering 259testdata/Internals.lc 85:14-85:15 Type
277testdata/Internals.lc 80:24-80:27 Type 260testdata/Internals.lc 85:14-85:32 Type
278testdata/Internals.lc 80:33-80:36 Type 261testdata/Internals.lc 85:19-85:20 Type
279testdata/Internals.lc 80:33-80:50 Type 262testdata/Internals.lc 85:19-85:32 Type
280testdata/Internals.lc 80:42-80:50 Type 263testdata/Internals.lc 85:24-85:32 Type
281testdata/Internals.lc 81:1-81:16 Word -> Word->Ordering 264testdata/Internals.lc 86:3-86:9 {a} -> {b : Num a} -> a->a
282testdata/Internals.lc 81:24-81:28 Type 265testdata/Internals.lc 86:13-86:14 Type
283testdata/Internals.lc 81:33-81:37 Type 266testdata/Internals.lc 86:13-86:19 Type
284testdata/Internals.lc 81:33-81:50 Type 267testdata/Internals.lc 86:18-86:19 Type
285testdata/Internals.lc 81:42-81:50 Type 268testdata/Internals.lc 88:14-88:17 Type
286testdata/Internals.lc 82:1-82:17 Float -> Float->Ordering 269testdata/Internals.lc 88:14-89:20 Int->V2 -> Int->V3
287testdata/Internals.lc 82:24-82:29 Type 270testdata/Internals.lc 88:14-90:27 (V1 -> V2->Ordering) -> V2 -> V3->Ordering
288testdata/Internals.lc 82:33-82:38 Type 271testdata/Internals.lc 88:14-91:26 V1->V2 -> V2->V3
289testdata/Internals.lc 82:33-82:50 Type 272testdata/Internals.lc 88:14-100:17 Type | Type->Type
290testdata/Internals.lc 82:42-82:50 Type 273testdata/Internals.lc 88:14-101:25 Int->V2 | {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a
291testdata/Internals.lc 83:1-83:16 Char -> Char->Ordering 274testdata/Internals.lc 88:14-102:22 V1 -> V2->Ordering | {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering
292testdata/Internals.lc 83:24-83:28 Type 275testdata/Internals.lc 88:14-103:22 V1->V2 | {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a
293testdata/Internals.lc 83:33-83:37 Type 276testdata/Internals.lc 89:19-89:20 V1
294testdata/Internals.lc 83:33-83:50 Type 277testdata/Internals.lc 90:13-90:27 Int -> Int->Ordering
295testdata/Internals.lc 83:42-83:50 Type 278testdata/Internals.lc 91:13-91:26 Int->Int
296testdata/Internals.lc 84:1-84:18 String -> String->Ordering 279testdata/Internals.lc 92:14-92:18 Type
297testdata/Internals.lc 84:24-84:30 Type 280testdata/Internals.lc 92:14-93:26 Int->V2 -> Int->V3
298testdata/Internals.lc 84:34-84:40 Type 281testdata/Internals.lc 92:14-94:28 (V1 -> V2->Ordering) -> V2 -> V3->Ordering
299testdata/Internals.lc 84:34-84:52 Type 282testdata/Internals.lc 92:14-95:27 V1->V2 -> V2->V3
300testdata/Internals.lc 84:44-84:52 Type 283testdata/Internals.lc 92:14-100:17 Type
301testdata/Internals.lc 85:1-85:14 Int->Int 284testdata/Internals.lc 92:14-101:25 Int->V2
302testdata/Internals.lc 85:24-85:27 Type 285testdata/Internals.lc 92:14-102:22 V1 -> V2->Ordering
303testdata/Internals.lc 85:33-85:36 Type 286testdata/Internals.lc 92:14-103:22 V1->V2
304testdata/Internals.lc 86:1-86:15 Word->Word 287testdata/Internals.lc 93:13-93:26 Int->Word
305testdata/Internals.lc 86:24-86:28 Type 288testdata/Internals.lc 94:13-94:28 Word -> Word->Ordering
306testdata/Internals.lc 86:33-86:37 Type 289testdata/Internals.lc 95:13-95:27 Word->Word
307testdata/Internals.lc 87:1-87:16 Float->Float 290testdata/Internals.lc 96:14-96:19 Type
308testdata/Internals.lc 87:24-87:29 Type 291testdata/Internals.lc 96:14-97:27 Int->V2 -> Int->V3
309testdata/Internals.lc 87:33-87:38 Type 292testdata/Internals.lc 96:14-98:29 (V1 -> V2->Ordering) -> V2 -> V3->Ordering
310testdata/Internals.lc 88:1-88:11 Int -> Int->Int 293testdata/Internals.lc 96:14-99:28 V1->V2 -> V2->V3
311testdata/Internals.lc 88:24-88:27 Type 294testdata/Internals.lc 96:14-100:17 Type
312testdata/Internals.lc 88:33-88:36 Type 295testdata/Internals.lc 96:14-101:25 Int->V2
313testdata/Internals.lc 88:33-88:45 Type 296testdata/Internals.lc 96:14-102:22 V1 -> V2->Ordering
314testdata/Internals.lc 88:42-88:45 Type 297testdata/Internals.lc 96:14-103:22 V1->V2
315testdata/Internals.lc 89:1-89:11 Int -> Int->Int 298testdata/Internals.lc 97:13-97:27 Int->Float
316testdata/Internals.lc 89:24-89:27 Type 299testdata/Internals.lc 98:13-98:29 Float -> Float->Ordering
317testdata/Internals.lc 89:33-89:36 Type 300testdata/Internals.lc 99:13-99:28 Float->Float
318testdata/Internals.lc 89:33-89:45 Type 301testdata/Internals.lc 100:14-100:17 Type
319testdata/Internals.lc 89:42-89:45 Type 302testdata/Internals.lc 100:14-101:25 Int->V2 -> Int->V3
320testdata/Internals.lc 90:1-90:11 Int -> Int->Int 303testdata/Internals.lc 100:14-102:22 (V1 -> V2->Ordering) -> V2 -> V3->Ordering
321testdata/Internals.lc 90:24-90:27 Type 304testdata/Internals.lc 100:14-103:22 V1->V2 -> V2->V3
322testdata/Internals.lc 90:33-90:36 Type 305testdata/Internals.lc 101:13-101:25 Int->Nat
323testdata/Internals.lc 90:33-90:45 Type 306testdata/Internals.lc 102:13-102:22 {a}->a
324testdata/Internals.lc 90:42-90:45 Type 307testdata/Internals.lc 103:13-103:22 {a}->a
325testdata/Internals.lc 91:1-91:14 Float->Float 308testdata/Internals.lc 105:7-105:9 Type->Type
326testdata/Internals.lc 91:24-91:29 Type 309testdata/Internals.lc 105:7-106:27 Type
327testdata/Internals.lc 91:33-91:38 Type 310testdata/Internals.lc 105:7-121:29 V0->V1 | {a} -> {b : Eq a} -> a -> a->Bool
328testdata/Internals.lc 92:1-92:10 Float->Int 311testdata/Internals.lc 106:6-106:8 {a} -> {b : Eq a} -> a -> a->Bool
329testdata/Internals.lc 92:24-92:29 Type
330testdata/Internals.lc 92:33-92:36 Type
331testdata/Internals.lc 95:19-95:23 Type
332testdata/Internals.lc 95:19-95:38 Type
333testdata/Internals.lc 95:27-95:28 V2
334testdata/Internals.lc 95:27-95:38 Type
335testdata/Internals.lc 95:32-95:33 Type
336testdata/Internals.lc 95:32-95:38 Type
337testdata/Internals.lc 95:37-95:38 Type
338testdata/Internals.lc 96:1-96:15 {a} -> Bool -> a -> a->a
339testdata/Internals.lc 96:16-96:20 Bool
340testdata/Internals.lc 96:16-97:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
341testdata/Internals.lc 96:28-96:29 V3
342testdata/Internals.lc 96:28-97:29 Bool->V4
343testdata/Internals.lc 97:28-97:29 V4
344testdata/Internals.lc 99:1-99:5 Ordering->Bool
345testdata/Internals.lc 99:6-99:8 V1
346testdata/Internals.lc 99:6-100:15 Bool
347testdata/Internals.lc 99:11-99:15 Bool
348testdata/Internals.lc 99:11-100:15 Bool -> Ordering->Bool
349testdata/Internals.lc 100:10-100:15 Bool
350testdata/Internals.lc 103:7-103:10 Type->Type
351testdata/Internals.lc 103:7-104:22 Type
352testdata/Internals.lc 103:7-105:32 Type
353testdata/Internals.lc 103:7-106:19 Type
354testdata/Internals.lc 104:3-104:10 {a} -> {b : Num a} -> Int->a
355testdata/Internals.lc 104:14-104:17 Type
356testdata/Internals.lc 104:14-104:22 Type
357testdata/Internals.lc 104:21-104:22 Type
358testdata/Internals.lc 105:3-105:10 {a} -> {b : Num a} -> a -> a->Ordering
359testdata/Internals.lc 105:14-105:15 Type
360testdata/Internals.lc 105:14-105:32 Type
361testdata/Internals.lc 105:19-105:20 Type
362testdata/Internals.lc 105:19-105:32 Type
363testdata/Internals.lc 105:24-105:32 Type
364testdata/Internals.lc 106:3-106:9 {a} -> {b : Num a} -> a->a
365testdata/Internals.lc 106:13-106:14 Type 312testdata/Internals.lc 106:13-106:14 Type
366testdata/Internals.lc 106:13-106:19 Type 313testdata/Internals.lc 106:13-106:27 Type
367testdata/Internals.lc 106:18-106:19 Type 314testdata/Internals.lc 106:18-106:19 Type
368testdata/Internals.lc 108:14-108:17 Type 315testdata/Internals.lc 106:18-106:27 Type
369testdata/Internals.lc 108:14-109:20 Int->V2 -> Int->V3 316testdata/Internals.lc 106:23-106:27 Type
370testdata/Internals.lc 108:14-110:27 (V1 -> V2->Ordering) -> V2 -> V3->Ordering 317testdata/Internals.lc 110:13-110:19 Type
371testdata/Internals.lc 108:14-111:26 V1->V2 -> V2->V3 318testdata/Internals.lc 110:13-110:63 (V1 -> V2->Bool) -> V2 -> V3->Bool
372testdata/Internals.lc 108:14-120:17 Type | Type->Type 319testdata/Internals.lc 110:13-118:16 Type | Type->Type
373testdata/Internals.lc 108:14-121:25 Int->V2 | {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a 320testdata/Internals.lc 110:13-121:29 V1 -> V2->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool
374testdata/Internals.lc 108:14-122:22 V1 -> V2->Ordering | {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering 321testdata/Internals.lc 110:35-110:39 Ordering->Bool
375testdata/Internals.lc 108:14-123:22 V1->V2 | {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a 322testdata/Internals.lc 110:35-110:63 Bool
376testdata/Internals.lc 109:19-109:20 V1 323testdata/Internals.lc 110:41-110:58 String -> String->Ordering
377testdata/Internals.lc 110:13-110:27 Int -> Int->Ordering 324testdata/Internals.lc 110:41-110:60 String->Ordering
378testdata/Internals.lc 111:13-111:26 Int->Int 325testdata/Internals.lc 110:41-110:62 Ordering
379testdata/Internals.lc 112:14-112:18 Type 326testdata/Internals.lc 110:59-110:60 V3
380testdata/Internals.lc 112:14-113:26 Int->V2 -> Int->V3 327testdata/Internals.lc 110:61-110:62 V1
381testdata/Internals.lc 112:14-114:28 (V1 -> V2->Ordering) -> V2 -> V3->Ordering 328testdata/Internals.lc 111:13-111:17 Type
382testdata/Internals.lc 112:14-115:27 V1->V2 -> V2->V3 329testdata/Internals.lc 111:13-111:59 (V1 -> V2->Bool) -> V2 -> V3->Bool
383testdata/Internals.lc 112:14-120:17 Type 330testdata/Internals.lc 111:13-118:16 Type
384testdata/Internals.lc 112:14-121:25 Int->V2 331testdata/Internals.lc 111:13-121:29 V1 -> V2->Bool
385testdata/Internals.lc 112:14-122:22 V1 -> V2->Ordering 332testdata/Internals.lc 111:33-111:37 Ordering->Bool
386testdata/Internals.lc 112:14-123:22 V1->V2 333testdata/Internals.lc 111:33-111:59 Bool
387testdata/Internals.lc 113:13-113:26 Int->Word 334testdata/Internals.lc 111:39-111:54 Char -> Char->Ordering
388testdata/Internals.lc 114:13-114:28 Word -> Word->Ordering 335testdata/Internals.lc 111:39-111:56 Char->Ordering
389testdata/Internals.lc 115:13-115:27 Word->Word 336testdata/Internals.lc 111:39-111:58 Ordering
390testdata/Internals.lc 116:14-116:19 Type 337testdata/Internals.lc 111:55-111:56 V3
391testdata/Internals.lc 116:14-117:27 Int->V2 -> Int->V3 338testdata/Internals.lc 111:57-111:58 V1
392testdata/Internals.lc 116:14-118:29 (V1 -> V2->Ordering) -> V2 -> V3->Ordering 339testdata/Internals.lc 112:13-112:16 Type
393testdata/Internals.lc 116:14-119:28 V1->V2 -> V2->V3 340testdata/Internals.lc 112:13-112:57 (V1 -> V2->Bool) -> V2 -> V3->Bool
394testdata/Internals.lc 116:14-120:17 Type 341testdata/Internals.lc 112:13-118:16 Type
395testdata/Internals.lc 116:14-121:25 Int->V2 342testdata/Internals.lc 112:13-121:29 V1 -> V2->Bool
396testdata/Internals.lc 116:14-122:22 V1 -> V2->Ordering 343testdata/Internals.lc 112:32-112:36 Ordering->Bool
397testdata/Internals.lc 116:14-123:22 V1->V2 344testdata/Internals.lc 112:32-112:57 Bool
398testdata/Internals.lc 117:13-117:27 Int->Float 345testdata/Internals.lc 112:38-112:52 Int -> Int->Ordering
399testdata/Internals.lc 118:13-118:29 Float -> Float->Ordering 346testdata/Internals.lc 112:38-112:54 Int->Ordering
400testdata/Internals.lc 119:13-119:28 Float->Float 347testdata/Internals.lc 112:38-112:56 Ordering
401testdata/Internals.lc 120:14-120:17 Type 348testdata/Internals.lc 112:53-112:54 V3
402testdata/Internals.lc 120:14-121:25 Int->V2 -> Int->V3 349testdata/Internals.lc 112:55-112:56 V1
403testdata/Internals.lc 120:14-122:22 (V1 -> V2->Ordering) -> V2 -> V3->Ordering 350testdata/Internals.lc 113:13-113:18 Type
404testdata/Internals.lc 120:14-123:22 V1->V2 -> V2->V3 351testdata/Internals.lc 113:13-113:61 (V1 -> V2->Bool) -> V2 -> V3->Bool
405testdata/Internals.lc 121:13-121:25 Int->Nat 352testdata/Internals.lc 113:13-118:16 Type
406testdata/Internals.lc 122:13-122:22 {a}->a 353testdata/Internals.lc 113:13-121:29 V1 -> V2->Bool
407testdata/Internals.lc 123:13-123:22 {a}->a 354testdata/Internals.lc 113:34-113:38 Ordering->Bool
408testdata/Internals.lc 125:7-125:9 Type->Type 355testdata/Internals.lc 113:34-113:61 Bool
409testdata/Internals.lc 125:7-126:27 Type 356testdata/Internals.lc 113:40-113:56 Float -> Float->Ordering
410testdata/Internals.lc 125:7-141:29 V0->V1 | {a} -> {b : Eq a} -> a -> a->Bool 357testdata/Internals.lc 113:40-113:58 Float->Ordering
411testdata/Internals.lc 126:6-126:8 {a} -> {b : Eq a} -> a -> a->Bool 358testdata/Internals.lc 113:40-113:60 Ordering
412testdata/Internals.lc 126:13-126:14 Type 359testdata/Internals.lc 113:57-113:58 V3
413testdata/Internals.lc 126:13-126:27 Type 360testdata/Internals.lc 113:59-113:60 V1
414testdata/Internals.lc 126:18-126:19 Type 361testdata/Internals.lc 114:13-114:17 Type
415testdata/Internals.lc 126:18-126:27 Type 362testdata/Internals.lc 114:13-117:19 (V1 -> V2->Bool) -> V2 -> V3->Bool
416testdata/Internals.lc 126:23-126:27 Type 363testdata/Internals.lc 114:13-118:16 Type
417testdata/Internals.lc 130:13-130:19 Type 364testdata/Internals.lc 114:13-121:29 V1 -> V2->Bool
418testdata/Internals.lc 130:13-130:63 (V1 -> V2->Bool) -> V2 -> V3->Bool 365testdata/Internals.lc 115:5-115:9 V2
419testdata/Internals.lc 130:13-138:16 Type | Type->Type 366testdata/Internals.lc 115:5-117:19 Bool
420testdata/Internals.lc 130:13-141:29 V1 -> V2->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool 367testdata/Internals.lc 115:13-115:17 Bool
421testdata/Internals.lc 130:35-130:39 Ordering->Bool 368testdata/Internals.lc 115:13-117:19 Bool
422testdata/Internals.lc 130:35-130:63 Bool 369testdata/Internals.lc 115:20-115:24 Bool
423testdata/Internals.lc 130:40-130:63 Ordering 370testdata/Internals.lc 115:20-117:19 Bool->Bool
424testdata/Internals.lc 130:41-130:58 String -> String->Ordering 371testdata/Internals.lc 116:14-116:19 V1
425testdata/Internals.lc 130:41-130:60 String->Ordering 372testdata/Internals.lc 116:14-117:19 Bool
426testdata/Internals.lc 130:59-130:60 V3 373testdata/Internals.lc 116:22-116:26 Bool
427testdata/Internals.lc 130:61-130:62 V1 374testdata/Internals.lc 116:22-117:19 Bool->Bool
428testdata/Internals.lc 131:13-131:17 Type 375testdata/Internals.lc 117:14-117:19 Bool
429testdata/Internals.lc 131:13-131:59 (V1 -> V2->Bool) -> V2 -> V3->Bool 376testdata/Internals.lc 118:13-118:16 Type
430testdata/Internals.lc 131:13-138:16 Type 377testdata/Internals.lc 118:13-121:29 (V1 -> V2->Bool) -> V2 -> V3->Bool
431testdata/Internals.lc 131:13-141:29 V1 -> V2->Bool 378testdata/Internals.lc 119:5-119:9 V2
432testdata/Internals.lc 131:33-131:37 Ordering->Bool 379testdata/Internals.lc 119:5-121:29 Bool
433testdata/Internals.lc 131:33-131:59 Bool 380testdata/Internals.lc 119:15-119:19 V1
434testdata/Internals.lc 131:38-131:59 Ordering 381testdata/Internals.lc 119:15-121:29 Bool
435testdata/Internals.lc 131:39-131:54 Char -> Char->Ordering 382testdata/Internals.lc 119:24-119:28 Bool
436testdata/Internals.lc 131:39-131:56 Char->Ordering 383testdata/Internals.lc 119:24-121:29 Nat->Bool
437testdata/Internals.lc 131:55-131:56 V3 384testdata/Internals.lc 120:15-120:19 Nat
438testdata/Internals.lc 131:57-131:58 V1 385testdata/Internals.lc 120:15-121:29 Bool | Nat->Bool
439testdata/Internals.lc 132:13-132:16 Type 386testdata/Internals.lc 120:24-120:25 Nat
440testdata/Internals.lc 132:13-132:57 (V1 -> V2->Bool) -> V2 -> V3->Bool 387testdata/Internals.lc 120:24-120:28 Nat->Bool
441testdata/Internals.lc 132:13-138:16 Type 388testdata/Internals.lc 120:24-120:30 Bool | Nat->Bool
442testdata/Internals.lc 132:13-141:29 V1 -> V2->Bool 389testdata/Internals.lc 120:24-121:29 Nat->Bool
443testdata/Internals.lc 132:32-132:36 Ordering->Bool 390testdata/Internals.lc 120:26-120:28 {a} -> {b : Eq a} -> a -> a->Bool
444testdata/Internals.lc 132:32-132:57 Bool 391testdata/Internals.lc 120:29-120:30 Nat
445testdata/Internals.lc 132:37-132:57 Ordering 392testdata/Internals.lc 121:24-121:29 Bool | Nat->Bool
446testdata/Internals.lc 132:38-132:52 Int -> Int->Ordering 393testdata/Internals.lc 123:6-123:10 Type | Type->Type
447testdata/Internals.lc 132:38-132:54 Int->Ordering 394testdata/Internals.lc 123:6-123:25 Type
448testdata/Internals.lc 132:53-132:54 V3 395testdata/Internals.lc 123:6-123:36 Type
449testdata/Internals.lc 132:55-132:56 V1 396testdata/Internals.lc 123:15-123:18 List V1 | {a} -> List a
450testdata/Internals.lc 133:13-133:18 Type 397testdata/Internals.lc 123:21-123:25 List V4 | Type | {a} -> a -> List a -> List a
451testdata/Internals.lc 133:13-133:61 (V1 -> V2->Bool) -> V2 -> V3->Bool 398testdata/Internals.lc 123:26-123:27 Type
452testdata/Internals.lc 133:13-138:16 Type 399testdata/Internals.lc 123:29-123:33 Type->Type
453testdata/Internals.lc 133:13-141:29 V1 -> V2->Bool 400testdata/Internals.lc 123:29-123:35 Type
454testdata/Internals.lc 133:34-133:38 Ordering->Bool 401testdata/Internals.lc 123:34-123:35 Type
455testdata/Internals.lc 133:34-133:61 Bool 402testdata/Internals.lc 127:6-127:11 List Type -> Type | Type
456testdata/Internals.lc 133:39-133:61 Ordering 403testdata/Internals.lc 127:6-129:45 Type
457testdata/Internals.lc 133:40-133:56 Float -> Float->Ordering 404testdata/Internals.lc 127:16-127:20 Type
458testdata/Internals.lc 133:40-133:58 Float->Ordering 405testdata/Internals.lc 127:25-127:29 Type
459testdata/Internals.lc 133:57-133:58 V3 406testdata/Internals.lc 128:5-128:9 HList 'Nil
460testdata/Internals.lc 133:59-133:60 V1 407testdata/Internals.lc 128:5-128:22 Type
461testdata/Internals.lc 134:13-134:17 Type 408testdata/Internals.lc 128:13-128:18 List Type -> Type
462testdata/Internals.lc 134:13-137:19 (V1 -> V2->Bool) -> V2 -> V3->Bool 409testdata/Internals.lc 128:13-128:22 Type
463testdata/Internals.lc 134:13-138:16 Type 410testdata/Internals.lc 128:19-128:22 {a} -> List a
464testdata/Internals.lc 134:13-141:29 V1 -> V2->Bool 411testdata/Internals.lc 129:5-129:10 HList ('Cons V3 V2) | {a} -> {b : List Type} -> a -> HList b -> HList ('Cons a b)
465testdata/Internals.lc 135:5-135:9 V2 412testdata/Internals.lc 129:5-129:45 Type
466testdata/Internals.lc 135:5-137:19 Bool 413testdata/Internals.lc 129:14-129:15 V3
467testdata/Internals.lc 135:13-135:17 Bool 414testdata/Internals.lc 129:14-129:45 Type
468testdata/Internals.lc 135:13-137:19 Bool 415testdata/Internals.lc 129:19-129:24 List Type -> Type
469testdata/Internals.lc 135:20-135:24 Bool 416testdata/Internals.lc 129:19-129:27 Type
470testdata/Internals.lc 135:20-137:19 Bool->Bool 417testdata/Internals.lc 129:19-129:45 Type
471testdata/Internals.lc 136:14-136:19 V1 418testdata/Internals.lc 129:25-129:27 V2
472testdata/Internals.lc 136:14-137:19 Bool 419testdata/Internals.lc 129:31-129:36 List Type -> Type
473testdata/Internals.lc 136:22-136:26 Bool 420testdata/Internals.lc 129:31-129:45 Type
474testdata/Internals.lc 136:22-137:19 Bool->Bool 421testdata/Internals.lc 129:39-129:40 Type
475testdata/Internals.lc 137:14-137:19 Bool 422testdata/Internals.lc 129:39-129:41 List Type -> List Type
476testdata/Internals.lc 138:13-138:16 Type 423testdata/Internals.lc 129:39-129:44 List Type
477testdata/Internals.lc 138:13-141:29 (V1 -> V2->Bool) -> V2 -> V3->Bool 424testdata/Internals.lc 129:40-129:41 {a} -> a -> List a -> List a
478testdata/Internals.lc 139:5-139:9 V2 425testdata/Internals.lc 129:42-129:44 List Type
479testdata/Internals.lc 139:5-141:29 Bool 426testdata/Internals.lc 131:1-131:14 {a} -> {b : List Type} -> (d : Unit->Type) -> (a -> HList b -> d 'TT) -> HList ('Cons a b) -> d 'TT
480testdata/Internals.lc 139:15-139:19 V1 427testdata/Internals.lc 132:21-132:25 Type
481testdata/Internals.lc 139:15-141:29 Bool 428testdata/Internals.lc 132:33-132:37 Type->Type
482testdata/Internals.lc 139:24-139:28 Bool 429testdata/Internals.lc 132:33-132:42 Type
483testdata/Internals.lc 139:24-141:29 Nat->Bool 430testdata/Internals.lc 132:33-136:13 Type
484testdata/Internals.lc 140:15-140:19 Nat 431testdata/Internals.lc 132:38-132:42 Type
485testdata/Internals.lc 140:15-141:29 Bool | Nat->Bool 432testdata/Internals.lc 133:8-136:13 Type
486testdata/Internals.lc 140:24-140:25 Nat 433testdata/Internals.lc 133:21-133:25 Type
487testdata/Internals.lc 140:24-140:28 Nat->Bool 434testdata/Internals.lc 133:29-133:33 Type
488testdata/Internals.lc 140:24-140:30 Bool | Nat->Bool 435testdata/Internals.lc 134:8-136:13 Type
489testdata/Internals.lc 140:24-141:29 Nat->Bool 436testdata/Internals.lc 134:9-134:10 Type
490testdata/Internals.lc 140:26-140:28 {a} -> {b : Eq a} -> a -> a->Bool 437testdata/Internals.lc 134:14-134:19 List Type -> Type
491testdata/Internals.lc 140:29-140:30 Nat 438testdata/Internals.lc 134:14-134:21 Type
492testdata/Internals.lc 141:24-141:29 Bool | Nat->Bool 439testdata/Internals.lc 134:14-134:30 Type
493testdata/Internals.lc 143:6-143:10 Type | Type->Type 440testdata/Internals.lc 134:20-134:21 List Type
494testdata/Internals.lc 143:6-143:25 Type 441testdata/Internals.lc 134:25-134:26 Unit->Type
495testdata/Internals.lc 143:6-143:36 Type 442testdata/Internals.lc 134:25-134:30 Type
496testdata/Internals.lc 143:15-143:18 List V1 | {a} -> List a 443testdata/Internals.lc 134:27-134:30 Unit
497testdata/Internals.lc 143:21-143:25 List V4 | Type | {a} -> a -> List a -> List a 444testdata/Internals.lc 135:8-135:13 List Type -> Type
498testdata/Internals.lc 143:26-143:27 Type 445testdata/Internals.lc 135:8-135:24 Type
499testdata/Internals.lc 143:28-143:36 Type 446testdata/Internals.lc 135:8-136:13 Type
500testdata/Internals.lc 143:29-143:33 Type->Type 447testdata/Internals.lc 135:15-135:19 {a} -> a -> List a -> List a
501testdata/Internals.lc 143:34-143:35 Type 448testdata/Internals.lc 135:15-135:21 List Type -> List Type
449testdata/Internals.lc 135:15-135:23 List Type
450testdata/Internals.lc 135:20-135:21 Type
451testdata/Internals.lc 135:22-135:23 List Type
452testdata/Internals.lc 136:8-136:9 Unit->Type
453testdata/Internals.lc 136:8-136:13 Type
454testdata/Internals.lc 136:10-136:13 Unit
455testdata/Internals.lc 145:1-145:13 (b : Unit->Type) -> b 'TT -> HList 'Nil -> b 'TT
456testdata/Internals.lc 145:30-145:34 Type
457testdata/Internals.lc 145:38-145:42 Type
458testdata/Internals.lc 145:47-145:48 Unit->Type
459testdata/Internals.lc 145:47-145:52 Type
460testdata/Internals.lc 145:47-145:74 Type
461testdata/Internals.lc 145:49-145:52 Unit
462testdata/Internals.lc 145:56-145:61 List Type -> Type
463testdata/Internals.lc 145:56-145:65 Type
464testdata/Internals.lc 145:56-145:74 Type
465testdata/Internals.lc 145:62-145:65 {a} -> List a
466testdata/Internals.lc 145:69-145:70 Unit->Type
467testdata/Internals.lc 145:69-145:74 Type
468testdata/Internals.lc 145:71-145:74 Unit
469testdata/Internals.lc 171:1-171:14 {a} -> {b : List Type} -> a -> HList b -> HList ('Cons a b)
470testdata/Internals.lc 171:17-171:22 {a} -> {b : List Type} -> a -> HList b -> HList ('Cons a b)
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:36:42 +0000