summaryrefslogtreecommitdiff
path: root/testdata/Internals.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-05 12:30:59 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-05 12:31:36 +0100
commit23c96a164632c6f7085ee19b086bbb17014d834a (patch)
treeb71a6986cf5bc09310ed35eeb2e26802f99d5718 /testdata/Internals.out
parentd4ba9e18595b968a4a4c26645cb2dddcefd15420 (diff)
try to switch to megaparsec
Diffstat (limited to 'testdata/Internals.out')
-rw-r--r--testdata/Internals.out566
1 files changed, 283 insertions, 283 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out
index 74350852..c34e2a0a 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -55,124 +55,129 @@ testdata/Internals.lc 22:34-22:35 Type
55testdata/Internals.lc 22:36-22:37 Type 55testdata/Internals.lc 22:36-22:37 Type
56testdata/Internals.lc 22:38-22:39 Type 56testdata/Internals.lc 22:38-22:39 Type
57testdata/Internals.lc 22:40-22:41 Type 57testdata/Internals.lc 22:40-22:41 Type
58testdata/Internals.lc 28:1-28:8 a:Type -> a -> a->a 58testdata/Internals.lc 27:1-27:8 a:Type -> a -> a->a
59testdata/Internals.lc 28:24-28:25 V1 59testdata/Internals.lc 27:24-27:25 V1
60testdata/Internals.lc 28:24-28:35 Type 60testdata/Internals.lc 27:24-27:35 Type
61testdata/Internals.lc 28:29-28:30 Type 61testdata/Internals.lc 27:29-27:30 Type
62testdata/Internals.lc 28:29-28:35 Type 62testdata/Internals.lc 27:29-27:35 Type
63testdata/Internals.lc 28:34-28:35 Type 63testdata/Internals.lc 27:34-27:35 Type
64testdata/Internals.lc 32:5-32:18 Type -> Type->Type 64testdata/Internals.lc 31:5-31:18 Type -> Type->Type
65testdata/Internals.lc 32:26-32:27 Type 65testdata/Internals.lc 31:26-31:27 Type
66testdata/Internals.lc 32:26-36:31 Type | Type -> Type->Type | Type->Type 66testdata/Internals.lc 31:26-35:31 Type | Type -> Type->Type | Type->Type
67testdata/Internals.lc 33:22-33:26 Type 67testdata/Internals.lc 32:22-32:26 Type
68testdata/Internals.lc 33:22-33:39 Type->Type 68testdata/Internals.lc 32:22-32:39 Type->Type
69testdata/Internals.lc 33:22-36:31 Type 69testdata/Internals.lc 32:22-35:31 Type
70testdata/Internals.lc 33:30-33:39 Type | Type -> Type->Type | Type->Type 70testdata/Internals.lc 32:30-32:39 Type | Type -> Type->Type | Type->Type
71testdata/Internals.lc 33:31-33:32 Type 71testdata/Internals.lc 32:31-32:32 Type
72testdata/Internals.lc 33:31-33:35 Type->Type 72testdata/Internals.lc 32:31-32:35 Type->Type
73testdata/Internals.lc 32:34-32:35 Type
74testdata/Internals.lc 32:37-32:38 Type
75testdata/Internals.lc 33:22-33:29 Type
76testdata/Internals.lc 33:22-33:45 Type->Type
77testdata/Internals.lc 33:22-35:31 Type
78testdata/Internals.lc 33:33-33:45 Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
73testdata/Internals.lc 33:34-33:35 Type 79testdata/Internals.lc 33:34-33:35 Type
80testdata/Internals.lc 33:34-33:38 Type -> Type->Type
81testdata/Internals.lc 33:34-33:41 Type->Type
74testdata/Internals.lc 33:37-33:38 Type 82testdata/Internals.lc 33:37-33:38 Type
75testdata/Internals.lc 34:22-34:29 Type 83testdata/Internals.lc 33:40-33:41 Type
76testdata/Internals.lc 34:22-34:45 Type->Type 84testdata/Internals.lc 33:43-33:44 Type
77testdata/Internals.lc 34:22-36:31 Type 85testdata/Internals.lc 34:22-34:32 Type
78testdata/Internals.lc 34:33-34:45 Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type 86testdata/Internals.lc 34:22-34:51 Type->Type
79testdata/Internals.lc 34:34-34:35 Type 87testdata/Internals.lc 34:22-35:31 Type
80testdata/Internals.lc 34:34-34:38 Type -> Type->Type 88testdata/Internals.lc 34:36-34:51 Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type
81testdata/Internals.lc 34:34-34:41 Type->Type
82testdata/Internals.lc 34:37-34:38 Type 89testdata/Internals.lc 34:37-34:38 Type
90testdata/Internals.lc 34:37-34:41 Type -> Type -> Type->Type
91testdata/Internals.lc 34:37-34:44 Type -> Type->Type
92testdata/Internals.lc 34:37-34:47 Type->Type
83testdata/Internals.lc 34:40-34:41 Type 93testdata/Internals.lc 34:40-34:41 Type
84testdata/Internals.lc 34:43-34:44 Type 94testdata/Internals.lc 34:43-34:44 Type
85testdata/Internals.lc 35:22-35:32 Type 95testdata/Internals.lc 34:46-34:47 Type
86testdata/Internals.lc 35:22-35:51 Type->Type 96testdata/Internals.lc 34:49-34:50 Type
87testdata/Internals.lc 35:22-36:31 Type 97testdata/Internals.lc 35:25-35:31 Type
88testdata/Internals.lc 35:36-35:51 Type | Type -> Type -> Type -> Type->Type | Type -> Type -> Type->Type | Type -> Type->Type | Type->Type 98testdata/Internals.lc 35:26-35:27 Type
89testdata/Internals.lc 35:37-35:38 Type 99testdata/Internals.lc 35:29-35:30 Type
90testdata/Internals.lc 35:37-35:41 Type -> Type -> Type->Type 100testdata/Internals.lc 38:13-38:15 Type -> Type->Type
91testdata/Internals.lc 35:37-35:44 Type -> Type->Type 101testdata/Internals.lc 41:13-41:17 a:Type -> a -> a->Type
92testdata/Internals.lc 35:37-35:47 Type->Type 102testdata/Internals.lc 41:24-41:28 Type
93testdata/Internals.lc 35:40-35:41 Type 103testdata/Internals.lc 41:36-41:37 Type
94testdata/Internals.lc 35:43-35:44 Type 104testdata/Internals.lc 41:36-41:46 Type
95testdata/Internals.lc 35:46-35:47 Type 105testdata/Internals.lc 41:45-41:46 Type
96testdata/Internals.lc 35:49-35:50 Type 106testdata/Internals.lc 43:6-43:11 Type -> Type->Type
97testdata/Internals.lc 36:25-36:31 Type 107testdata/Internals.lc 43:14-43:18 a:Type -> a -> a->Type
98testdata/Internals.lc 36:26-36:27 Type 108testdata/Internals.lc 43:14-43:23 Type -> Type->Type
99testdata/Internals.lc 36:29-36:30 Type 109testdata/Internals.lc 43:19-43:23 Type
100testdata/Internals.lc 39:13-39:15 Type -> Type->Type 110testdata/Internals.lc 48:1-48:4 Unit -> Unit->Unit
101testdata/Internals.lc 42:13-42:17 a:Type -> a -> a->Type 111testdata/Internals.lc 48:8-48:12 Type
102testdata/Internals.lc 42:24-42:28 Type 112testdata/Internals.lc 48:16-48:20 Type
103testdata/Internals.lc 42:36-42:37 Type 113testdata/Internals.lc 48:16-48:28 Type
104testdata/Internals.lc 42:36-42:46 Type 114testdata/Internals.lc 48:24-48:28 Type
105testdata/Internals.lc 42:45-42:46 Type 115testdata/Internals.lc 51:6-51:9 Type
106testdata/Internals.lc 44:6-44:11 Type -> Type->Type 116testdata/Internals.lc 52:6-52:10 Type
107testdata/Internals.lc 44:14-44:18 a:Type -> a -> a->Type 117testdata/Internals.lc 53:6-53:11 Type
108testdata/Internals.lc 44:14-44:23 Type -> Type->Type 118testdata/Internals.lc 54:6-54:10 Type
109testdata/Internals.lc 44:19-44:23 Type 119testdata/Internals.lc 56:6-56:10 Type
110testdata/Internals.lc 49:1-49:4 Unit -> Unit->Unit 120testdata/Internals.lc 56:6-56:25 Type
111testdata/Internals.lc 49:8-49:12 Type 121testdata/Internals.lc 56:13-56:18 Bool
112testdata/Internals.lc 49:16-49:20 Type 122testdata/Internals.lc 56:21-56:25 Bool
113testdata/Internals.lc 49:16-49:28 Type 123testdata/Internals.lc 58:6-58:14 Type
114testdata/Internals.lc 49:24-49:28 Type 124testdata/Internals.lc 58:6-58:29 Type
115testdata/Internals.lc 52:6-52:9 Type 125testdata/Internals.lc 58:17-58:19 Ordering
116testdata/Internals.lc 53:6-53:10 Type 126testdata/Internals.lc 58:22-58:24 Ordering
117testdata/Internals.lc 54:6-54:11 Type 127testdata/Internals.lc 58:27-58:29 Ordering
118testdata/Internals.lc 55:6-55:10 Type 128testdata/Internals.lc 60:6-60:9 Type
119testdata/Internals.lc 57:6-57:10 Type 129testdata/Internals.lc 60:6-60:23 Type
120testdata/Internals.lc 57:6-57:25 Type 130testdata/Internals.lc 60:12-60:16 Nat
121testdata/Internals.lc 57:13-57:18 Bool 131testdata/Internals.lc 60:19-60:23 Nat | Nat->Nat | Type
122testdata/Internals.lc 57:21-57:25 Bool 132testdata/Internals.lc 60:24-60:27 Type
123testdata/Internals.lc 59:6-59:14 Type 133testdata/Internals.lc 63:1-63:14 Int->Word
124testdata/Internals.lc 59:6-59:29 Type 134testdata/Internals.lc 63:24-63:27 Type
125testdata/Internals.lc 59:17-59:19 Ordering 135testdata/Internals.lc 63:33-63:37 Type
126testdata/Internals.lc 59:22-59:24 Ordering 136testdata/Internals.lc 64:1-64:15 Int->Float
127testdata/Internals.lc 59:27-59:29 Ordering
128testdata/Internals.lc 61:6-61:9 Type
129testdata/Internals.lc 61:6-61:23 Type
130testdata/Internals.lc 61:12-61:16 Nat
131testdata/Internals.lc 61:19-61:23 Nat | Nat->Nat | Type
132testdata/Internals.lc 61:24-61:27 Type
133testdata/Internals.lc 64:1-64:14 Int->Word
134testdata/Internals.lc 64:24-64:27 Type 137testdata/Internals.lc 64:24-64:27 Type
135testdata/Internals.lc 64:33-64:37 Type 138testdata/Internals.lc 64:33-64:38 Type
136testdata/Internals.lc 65:1-65:15 Int->Float 139testdata/Internals.lc 65:1-65:13 Int->Nat
137testdata/Internals.lc 65:24-65:27 Type 140testdata/Internals.lc 65:24-65:27 Type
138testdata/Internals.lc 65:33-65:38 Type 141testdata/Internals.lc 65:33-65:36 Type
139testdata/Internals.lc 66:1-66:13 Int->Nat 142testdata/Internals.lc 66:1-66:15 Int -> Int->Ordering
140testdata/Internals.lc 66:24-66:27 Type 143testdata/Internals.lc 66:24-66:27 Type
141testdata/Internals.lc 66:33-66:36 Type 144testdata/Internals.lc 66:33-66:36 Type
142testdata/Internals.lc 67:1-67:15 Int -> Int->Ordering 145testdata/Internals.lc 66:33-66:50 Type
143testdata/Internals.lc 67:24-67:27 Type 146testdata/Internals.lc 66:42-66:50 Type
144testdata/Internals.lc 67:33-67:36 Type 147testdata/Internals.lc 67:1-67:16 Word -> Word->Ordering
148testdata/Internals.lc 67:24-67:28 Type
149testdata/Internals.lc 67:33-67:37 Type
145testdata/Internals.lc 67:33-67:50 Type 150testdata/Internals.lc 67:33-67:50 Type
146testdata/Internals.lc 67:42-67:50 Type 151testdata/Internals.lc 67:42-67:50 Type
147testdata/Internals.lc 68:1-68:16 Word -> Word->Ordering 152testdata/Internals.lc 68:1-68:17 Float -> Float->Ordering
148testdata/Internals.lc 68:24-68:28 Type 153testdata/Internals.lc 68:24-68:29 Type
149testdata/Internals.lc 68:33-68:37 Type 154testdata/Internals.lc 68:33-68:38 Type
150testdata/Internals.lc 68:33-68:50 Type 155testdata/Internals.lc 68:33-68:50 Type
151testdata/Internals.lc 68:42-68:50 Type 156testdata/Internals.lc 68:42-68:50 Type
152testdata/Internals.lc 69:1-69:17 Float -> Float->Ordering 157testdata/Internals.lc 69:1-69:16 Char -> Char->Ordering
153testdata/Internals.lc 69:24-69:29 Type 158testdata/Internals.lc 69:24-69:28 Type
154testdata/Internals.lc 69:33-69:38 Type 159testdata/Internals.lc 69:33-69:37 Type
155testdata/Internals.lc 69:33-69:50 Type 160testdata/Internals.lc 69:33-69:50 Type
156testdata/Internals.lc 69:42-69:50 Type 161testdata/Internals.lc 69:42-69:50 Type
157testdata/Internals.lc 70:1-70:16 Char -> Char->Ordering 162testdata/Internals.lc 70:1-70:18 String -> String->Ordering
158testdata/Internals.lc 70:24-70:28 Type 163testdata/Internals.lc 70:24-70:30 Type
159testdata/Internals.lc 70:33-70:37 Type 164testdata/Internals.lc 70:34-70:40 Type
160testdata/Internals.lc 70:33-70:50 Type 165testdata/Internals.lc 70:34-70:52 Type
161testdata/Internals.lc 70:42-70:50 Type 166testdata/Internals.lc 70:44-70:52 Type
162testdata/Internals.lc 71:1-71:18 String -> String->Ordering 167testdata/Internals.lc 71:1-71:14 Int->Int
163testdata/Internals.lc 71:24-71:30 Type 168testdata/Internals.lc 71:24-71:27 Type
164testdata/Internals.lc 71:34-71:40 Type 169testdata/Internals.lc 71:33-71:36 Type
165testdata/Internals.lc 71:34-71:52 Type 170testdata/Internals.lc 72:1-72:15 Word->Word
166testdata/Internals.lc 71:44-71:52 Type 171testdata/Internals.lc 72:24-72:28 Type
167testdata/Internals.lc 72:1-72:14 Int->Int 172testdata/Internals.lc 72:33-72:37 Type
168testdata/Internals.lc 72:24-72:27 Type 173testdata/Internals.lc 73:1-73:16 Float->Float
169testdata/Internals.lc 72:33-72:36 Type 174testdata/Internals.lc 73:24-73:29 Type
170testdata/Internals.lc 73:1-73:15 Word->Word 175testdata/Internals.lc 73:33-73:38 Type
171testdata/Internals.lc 73:24-73:28 Type 176testdata/Internals.lc 74:1-74:11 Int -> Int->Int
172testdata/Internals.lc 73:33-73:37 Type 177testdata/Internals.lc 74:24-74:27 Type
173testdata/Internals.lc 74:1-74:16 Float->Float 178testdata/Internals.lc 74:33-74:36 Type
174testdata/Internals.lc 74:24-74:29 Type 179testdata/Internals.lc 74:33-74:45 Type
175testdata/Internals.lc 74:33-74:38 Type 180testdata/Internals.lc 74:42-74:45 Type
176testdata/Internals.lc 75:1-75:11 Int -> Int->Int 181testdata/Internals.lc 75:1-75:11 Int -> Int->Int
177testdata/Internals.lc 75:24-75:27 Type 182testdata/Internals.lc 75:24-75:27 Type
178testdata/Internals.lc 75:33-75:36 Type 183testdata/Internals.lc 75:33-75:36 Type
@@ -183,186 +188,181 @@ testdata/Internals.lc 76:24-76:27 Type
183testdata/Internals.lc 76:33-76:36 Type 188testdata/Internals.lc 76:33-76:36 Type
184testdata/Internals.lc 76:33-76:45 Type 189testdata/Internals.lc 76:33-76:45 Type
185testdata/Internals.lc 76:42-76:45 Type 190testdata/Internals.lc 76:42-76:45 Type
186testdata/Internals.lc 77:1-77:11 Int -> Int->Int 191testdata/Internals.lc 77:1-77:14 Float->Float
187testdata/Internals.lc 77:24-77:27 Type 192testdata/Internals.lc 77:24-77:29 Type
188testdata/Internals.lc 77:33-77:36 Type 193testdata/Internals.lc 77:33-77:38 Type
189testdata/Internals.lc 77:33-77:45 Type 194testdata/Internals.lc 78:1-78:10 Float->Int
190testdata/Internals.lc 77:42-77:45 Type
191testdata/Internals.lc 78:1-78:14 Float->Float
192testdata/Internals.lc 78:24-78:29 Type 195testdata/Internals.lc 78:24-78:29 Type
193testdata/Internals.lc 78:33-78:38 Type 196testdata/Internals.lc 78:33-78:36 Type
194testdata/Internals.lc 79:1-79:10 Float->Int 197testdata/Internals.lc 81:19-81:23 Type
195testdata/Internals.lc 79:24-79:29 Type 198testdata/Internals.lc 81:19-81:38 Type
196testdata/Internals.lc 79:33-79:36 Type 199testdata/Internals.lc 81:27-81:28 V2
197testdata/Internals.lc 82:19-82:23 Type 200testdata/Internals.lc 81:27-81:38 Type
198testdata/Internals.lc 82:19-82:38 Type 201testdata/Internals.lc 81:32-81:33 Type
199testdata/Internals.lc 82:27-82:28 V2 202testdata/Internals.lc 81:32-81:38 Type
200testdata/Internals.lc 82:27-82:38 Type 203testdata/Internals.lc 81:37-81:38 Type
201testdata/Internals.lc 82:32-82:33 Type 204testdata/Internals.lc 82:1-82:15 {a} -> Bool -> a -> a->a
202testdata/Internals.lc 82:32-82:38 Type 205testdata/Internals.lc 82:16-82:20 Bool
203testdata/Internals.lc 82:37-82:38 Type 206testdata/Internals.lc 82:16-83:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
204testdata/Internals.lc 83:1-83:15 {a} -> Bool -> a -> a->a 207testdata/Internals.lc 82:28-82:29 V3
205testdata/Internals.lc 83:16-83:20 Bool 208testdata/Internals.lc 82:28-83:29 Bool->V4
206testdata/Internals.lc 83:16-84:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3 209testdata/Internals.lc 83:28-83:29 V4
207testdata/Internals.lc 83:28-83:29 V3 210testdata/Internals.lc 85:1-85:5 Ordering->Bool
208testdata/Internals.lc 83:28-84:29 Bool->V4 211testdata/Internals.lc 85:6-85:8 V1
209testdata/Internals.lc 84:28-84:29 V4 212testdata/Internals.lc 85:6-86:15 Bool
210testdata/Internals.lc 86:1-86:5 Ordering->Bool 213testdata/Internals.lc 85:11-85:15 Bool
211testdata/Internals.lc 86:6-86:8 V1 214testdata/Internals.lc 85:11-86:15 Bool -> Ordering->Bool
212testdata/Internals.lc 86:6-87:15 Bool 215testdata/Internals.lc 86:10-86:15 Bool
213testdata/Internals.lc 86:11-86:15 Bool 216testdata/Internals.lc 89:7-89:10 Type->Type
214testdata/Internals.lc 86:11-87:15 Bool -> Ordering->Bool 217testdata/Internals.lc 89:7-90:22 Type
215testdata/Internals.lc 87:10-87:15 Bool 218testdata/Internals.lc 89:7-91:32 Type
216testdata/Internals.lc 90:7-90:10 Type->Type 219testdata/Internals.lc 89:7-92:19 Type
217testdata/Internals.lc 90:7-91:22 Type 220testdata/Internals.lc 90:3-90:10 {a} -> {b : Num a} -> Int->a
218testdata/Internals.lc 90:7-92:32 Type 221testdata/Internals.lc 90:14-90:17 Type
219testdata/Internals.lc 90:7-93:19 Type 222testdata/Internals.lc 90:14-90:22 Type
220testdata/Internals.lc 91:3-91:10 {a} -> {b : Num a} -> Int->a 223testdata/Internals.lc 90:21-90:22 Type
221testdata/Internals.lc 91:14-91:17 Type 224testdata/Internals.lc 91:3-91:10 {a} -> {b : Num a} -> a -> a->Ordering
222testdata/Internals.lc 91:14-91:22 Type 225testdata/Internals.lc 91:14-91:15 Type
223testdata/Internals.lc 91:21-91:22 Type 226testdata/Internals.lc 91:14-91:32 Type
224testdata/Internals.lc 92:3-92:10 {a} -> {b : Num a} -> a -> a->Ordering 227testdata/Internals.lc 91:19-91:20 Type
225testdata/Internals.lc 92:14-92:15 Type 228testdata/Internals.lc 91:19-91:32 Type
226testdata/Internals.lc 92:14-92:32 Type 229testdata/Internals.lc 91:24-91:32 Type
227testdata/Internals.lc 92:19-92:20 Type 230testdata/Internals.lc 92:3-92:9 {a} -> {b : Num a} -> a->a
228testdata/Internals.lc 92:19-92:32 Type 231testdata/Internals.lc 92:13-92:14 Type
229testdata/Internals.lc 92:24-92:32 Type 232testdata/Internals.lc 92:13-92:19 Type
230testdata/Internals.lc 93:3-93:9 {a} -> {b : Num a} -> a->a 233testdata/Internals.lc 92:18-92:19 Type
231testdata/Internals.lc 93:13-93:14 Type 234testdata/Internals.lc 94:14-94:17 Type
232testdata/Internals.lc 93:13-93:19 Type 235testdata/Internals.lc 94:14-95:20 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
233testdata/Internals.lc 93:18-93:19 Type 236testdata/Internals.lc 94:14-96:27 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
234testdata/Internals.lc 95:14-95:17 Type 237testdata/Internals.lc 94:14-97:26 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
235testdata/Internals.lc 95:14-96:20 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 238testdata/Internals.lc 94:14-106:17 Type | Type->Type
236testdata/Internals.lc 95:14-97:27 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 239testdata/Internals.lc 94:14-107:25 {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a
237testdata/Internals.lc 95:14-98:26 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 240testdata/Internals.lc 94:14-108:22 {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering
238testdata/Internals.lc 95:14-107:17 Type | Type->Type 241testdata/Internals.lc 94:14-109:22 {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a
239testdata/Internals.lc 95:14-108:25 {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a 242testdata/Internals.lc 95:13-95:20 Int->Int
240testdata/Internals.lc 95:14-109:22 {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering 243testdata/Internals.lc 95:19-95:20 Int
241testdata/Internals.lc 95:14-110:22 {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a 244testdata/Internals.lc 96:13-96:27 Int -> Int->Ordering
242testdata/Internals.lc 96:13-96:20 Int->Int 245testdata/Internals.lc 97:13-97:26 Int->Int
243testdata/Internals.lc 96:19-96:20 Int 246testdata/Internals.lc 98:14-98:18 Type
244testdata/Internals.lc 97:13-97:27 Int -> Int->Ordering 247testdata/Internals.lc 98:14-99:26 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
245testdata/Internals.lc 98:13-98:26 Int->Int 248testdata/Internals.lc 98:14-100:28 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
246testdata/Internals.lc 99:14-99:18 Type 249testdata/Internals.lc 98:14-101:27 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
247testdata/Internals.lc 99:14-100:26 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 250testdata/Internals.lc 98:14-106:17 Type
248testdata/Internals.lc 99:14-101:28 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 251testdata/Internals.lc 98:14-107:25 {a : Num V0} -> Int->V2
249testdata/Internals.lc 99:14-102:27 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 252testdata/Internals.lc 98:14-108:22 {a : Num V0} -> V1 -> V2->Ordering
250testdata/Internals.lc 99:14-107:17 Type 253testdata/Internals.lc 98:14-109:22 {a : Num V0} -> V1->V2
251testdata/Internals.lc 99:14-108:25 {a : Num V0} -> Int->V2 254testdata/Internals.lc 99:13-99:26 Int->Word
252testdata/Internals.lc 99:14-109:22 {a : Num V0} -> V1 -> V2->Ordering 255testdata/Internals.lc 100:13-100:28 Word -> Word->Ordering
253testdata/Internals.lc 99:14-110:22 {a : Num V0} -> V1->V2 256testdata/Internals.lc 101:13-101:27 Word->Word
254testdata/Internals.lc 100:13-100:26 Int->Word 257testdata/Internals.lc 102:14-102:19 Type
255testdata/Internals.lc 101:13-101:28 Word -> Word->Ordering 258testdata/Internals.lc 102:14-103:27 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
256testdata/Internals.lc 102:13-102:27 Word->Word 259testdata/Internals.lc 102:14-104:29 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
257testdata/Internals.lc 103:14-103:19 Type 260testdata/Internals.lc 102:14-105:28 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
258testdata/Internals.lc 103:14-104:27 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 261testdata/Internals.lc 102:14-106:17 Type
259testdata/Internals.lc 103:14-105:29 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 262testdata/Internals.lc 102:14-107:25 {a : Num V0} -> Int->V2
260testdata/Internals.lc 103:14-106:28 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 263testdata/Internals.lc 102:14-108:22 {a : Num V0} -> V1 -> V2->Ordering
261testdata/Internals.lc 103:14-107:17 Type 264testdata/Internals.lc 102:14-109:22 {a : Num V0} -> V1->V2
262testdata/Internals.lc 103:14-108:25 {a : Num V0} -> Int->V2 265testdata/Internals.lc 103:13-103:27 Int->Float
263testdata/Internals.lc 103:14-109:22 {a : Num V0} -> V1 -> V2->Ordering 266testdata/Internals.lc 104:13-104:29 Float -> Float->Ordering
264testdata/Internals.lc 103:14-110:22 {a : Num V0} -> V1->V2 267testdata/Internals.lc 105:13-105:28 Float->Float
265testdata/Internals.lc 104:13-104:27 Int->Float 268testdata/Internals.lc 106:14-106:17 Type
266testdata/Internals.lc 105:13-105:29 Float -> Float->Ordering 269testdata/Internals.lc 106:14-107:25 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
267testdata/Internals.lc 106:13-106:28 Float->Float 270testdata/Internals.lc 106:14-108:22 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
268testdata/Internals.lc 107:14-107:17 Type 271testdata/Internals.lc 106:14-109:22 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
269testdata/Internals.lc 107:14-108:25 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 272testdata/Internals.lc 107:13-107:25 Int->Nat
270testdata/Internals.lc 107:14-109:22 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 273testdata/Internals.lc 108:13-108:22 {a:Unit} -> Nat -> Nat->Ordering
271testdata/Internals.lc 107:14-110:22 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 274testdata/Internals.lc 109:13-109:22 {a:Unit} -> Nat->Nat
272testdata/Internals.lc 108:13-108:25 Int->Nat 275testdata/Internals.lc 111:7-111:9 Type->Type
273testdata/Internals.lc 109:13-109:22 {a:Unit} -> Nat -> Nat->Ordering 276testdata/Internals.lc 111:7-112:27 Type
274testdata/Internals.lc 110:13-110:22 {a:Unit} -> Nat->Nat 277testdata/Internals.lc 111:7-127:29 V0->V1 | {a} -> {b : Eq a} -> a -> a->Bool
275testdata/Internals.lc 112:7-112:9 Type->Type 278testdata/Internals.lc 112:5-112:9 {a} -> {b : Eq a} -> a -> a->Bool
276testdata/Internals.lc 112:7-113:27 Type 279testdata/Internals.lc 112:13-112:14 Type
277testdata/Internals.lc 112:7-128:29 V0->V1 | {a} -> {b : Eq a} -> a -> a->Bool 280testdata/Internals.lc 112:13-112:27 Type
278testdata/Internals.lc 113:5-113:9 {a} -> {b : Eq a} -> a -> a->Bool 281testdata/Internals.lc 112:18-112:19 Type
279testdata/Internals.lc 113:13-113:14 Type 282testdata/Internals.lc 112:18-112:27 Type
280testdata/Internals.lc 113:13-113:27 Type 283testdata/Internals.lc 112:23-112:27 Type
281testdata/Internals.lc 113:18-113:19 Type 284testdata/Internals.lc 116:13-116:19 Type
282testdata/Internals.lc 113:18-113:27 Type 285testdata/Internals.lc 116:13-116:63 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool
283testdata/Internals.lc 113:23-113:27 Type 286testdata/Internals.lc 116:13-124:16 Type | Type->Type
284testdata/Internals.lc 117:13-117:19 Type 287testdata/Internals.lc 116:13-127:29 {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool
285testdata/Internals.lc 117:13-117:63 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool 288testdata/Internals.lc 116:35-116:39 Ordering->Bool
286testdata/Internals.lc 117:13-125:16 Type | Type->Type 289testdata/Internals.lc 116:35-116:63 Bool | String -> String->Bool | String->Bool
287testdata/Internals.lc 117:13-128:29 {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool 290testdata/Internals.lc 116:40-116:63 Ordering
288testdata/Internals.lc 117:35-117:39 Ordering->Bool 291testdata/Internals.lc 116:41-116:58 String -> String->Ordering
289testdata/Internals.lc 117:35-117:63 Bool | String -> String->Bool | String->Bool 292testdata/Internals.lc 116:41-116:60 String->Ordering
290testdata/Internals.lc 117:40-117:63 Ordering 293testdata/Internals.lc 116:59-116:60 String
291testdata/Internals.lc 117:41-117:58 String -> String->Ordering 294testdata/Internals.lc 116:61-116:62 String
292testdata/Internals.lc 117:41-117:60 String->Ordering 295testdata/Internals.lc 117:13-117:17 Type
293testdata/Internals.lc 117:59-117:60 String 296testdata/Internals.lc 117:13-117:59 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool
294testdata/Internals.lc 117:61-117:62 String 297testdata/Internals.lc 117:13-124:16 Type
295testdata/Internals.lc 118:13-118:17 Type 298testdata/Internals.lc 117:13-127:29 {a : Eq V0} -> V1 -> V2->Bool
296testdata/Internals.lc 118:13-118:59 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool 299testdata/Internals.lc 117:33-117:37 Ordering->Bool
297testdata/Internals.lc 118:13-125:16 Type 300testdata/Internals.lc 117:33-117:59 Bool | Char -> Char->Bool | Char->Bool
298testdata/Internals.lc 118:13-128:29 {a : Eq V0} -> V1 -> V2->Bool 301testdata/Internals.lc 117:38-117:59 Ordering
299testdata/Internals.lc 118:33-118:37 Ordering->Bool 302testdata/Internals.lc 117:39-117:54 Char -> Char->Ordering
300testdata/Internals.lc 118:33-118:59 Bool | Char -> Char->Bool | Char->Bool 303testdata/Internals.lc 117:39-117:56 Char->Ordering
301testdata/Internals.lc 118:38-118:59 Ordering 304testdata/Internals.lc 117:55-117:56 Char
302testdata/Internals.lc 118:39-118:54 Char -> Char->Ordering 305testdata/Internals.lc 117:57-117:58 Char
303testdata/Internals.lc 118:39-118:56 Char->Ordering 306testdata/Internals.lc 118:13-118:16 Type
304testdata/Internals.lc 118:55-118:56 Char 307testdata/Internals.lc 118:13-118:57 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool
305testdata/Internals.lc 118:57-118:58 Char 308testdata/Internals.lc 118:13-124:16 Type
306testdata/Internals.lc 119:13-119:16 Type 309testdata/Internals.lc 118:13-127:29 {a : Eq V0} -> V1 -> V2->Bool
307testdata/Internals.lc 119:13-119:57 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool 310testdata/Internals.lc 118:32-118:36 Ordering->Bool
308testdata/Internals.lc 119:13-125:16 Type 311testdata/Internals.lc 118:32-118:57 Bool | Int -> Int->Bool | Int->Bool
309testdata/Internals.lc 119:13-128:29 {a : Eq V0} -> V1 -> V2->Bool 312testdata/Internals.lc 118:37-118:57 Ordering
310testdata/Internals.lc 119:32-119:36 Ordering->Bool 313testdata/Internals.lc 118:38-118:52 Int -> Int->Ordering
311testdata/Internals.lc 119:32-119:57 Bool | Int -> Int->Bool | Int->Bool 314testdata/Internals.lc 118:38-118:54 Int->Ordering
312testdata/Internals.lc 119:37-119:57 Ordering 315testdata/Internals.lc 118:53-118:54 Int
313testdata/Internals.lc 119:38-119:52 Int -> Int->Ordering 316testdata/Internals.lc 118:55-118:56 Int
314testdata/Internals.lc 119:38-119:54 Int->Ordering 317testdata/Internals.lc 119:13-119:18 Type
315testdata/Internals.lc 119:53-119:54 Int 318testdata/Internals.lc 119:13-119:61 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool
316testdata/Internals.lc 119:55-119:56 Int 319testdata/Internals.lc 119:13-124:16 Type
317testdata/Internals.lc 120:13-120:18 Type 320testdata/Internals.lc 119:13-127:29 {a : Eq V0} -> V1 -> V2->Bool
318testdata/Internals.lc 120:13-120:61 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool 321testdata/Internals.lc 119:34-119:38 Ordering->Bool
319testdata/Internals.lc 120:13-125:16 Type 322testdata/Internals.lc 119:34-119:61 Bool | Float -> Float->Bool | Float->Bool
320testdata/Internals.lc 120:13-128:29 {a : Eq V0} -> V1 -> V2->Bool 323testdata/Internals.lc 119:39-119:61 Ordering
321testdata/Internals.lc 120:34-120:38 Ordering->Bool 324testdata/Internals.lc 119:40-119:56 Float -> Float->Ordering
322testdata/Internals.lc 120:34-120:61 Bool | Float -> Float->Bool | Float->Bool 325testdata/Internals.lc 119:40-119:58 Float->Ordering
323testdata/Internals.lc 120:39-120:61 Ordering 326testdata/Internals.lc 119:57-119:58 Float
324testdata/Internals.lc 120:40-120:56 Float -> Float->Ordering 327testdata/Internals.lc 119:59-119:60 Float
325testdata/Internals.lc 120:40-120:58 Float->Ordering 328testdata/Internals.lc 120:13-120:17 Type
326testdata/Internals.lc 120:57-120:58 Float 329testdata/Internals.lc 120:13-123:19 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool
327testdata/Internals.lc 120:59-120:60 Float 330testdata/Internals.lc 120:13-124:16 Type
328testdata/Internals.lc 121:13-121:17 Type 331testdata/Internals.lc 120:13-127:29 {a : Eq V0} -> V1 -> V2->Bool
329testdata/Internals.lc 121:13-124:19 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool 332testdata/Internals.lc 121:5-121:9 Bool
330testdata/Internals.lc 121:13-125:16 Type 333testdata/Internals.lc 121:5-123:19 Bool | Bool -> Bool->Bool | Bool->Bool
331testdata/Internals.lc 121:13-128:29 {a : Eq V0} -> V1 -> V2->Bool 334testdata/Internals.lc 121:13-121:17 Bool
332testdata/Internals.lc 122:5-122:9 Bool 335testdata/Internals.lc 121:13-123:19 Bool
333testdata/Internals.lc 122:5-124:19 Bool | Bool -> Bool->Bool | Bool->Bool 336testdata/Internals.lc 121:20-121:24 Bool
334testdata/Internals.lc 122:13-122:17 Bool 337testdata/Internals.lc 121:20-123:19 Bool->Bool
335testdata/Internals.lc 122:13-124:19 Bool 338testdata/Internals.lc 122:14-122:19 Bool
336testdata/Internals.lc 122:20-122:24 Bool 339testdata/Internals.lc 122:14-123:19 Bool
337testdata/Internals.lc 122:20-124:19 Bool->Bool 340testdata/Internals.lc 122:22-122:26 Bool
341testdata/Internals.lc 122:22-123:19 Bool->Bool
338testdata/Internals.lc 123:14-123:19 Bool 342testdata/Internals.lc 123:14-123:19 Bool
339testdata/Internals.lc 123:14-124:19 Bool 343testdata/Internals.lc 124:13-124:16 Type
340testdata/Internals.lc 123:22-123:26 Bool 344testdata/Internals.lc 124:13-127:29 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool
341testdata/Internals.lc 123:22-124:19 Bool->Bool 345testdata/Internals.lc 125:5-125:9 Nat
342testdata/Internals.lc 124:14-124:19 Bool 346testdata/Internals.lc 125:5-127:29 Bool | Nat -> Nat->Bool | Nat->Bool
343testdata/Internals.lc 125:13-125:16 Type 347testdata/Internals.lc 125:15-125:19 Nat
344testdata/Internals.lc 125:13-128:29 ({a : Eq V0} -> V1 -> V2->Bool) -> {e : Eq V1} -> V2 -> V3->Bool 348testdata/Internals.lc 125:15-127:29 Bool
345testdata/Internals.lc 126:5-126:9 Nat 349testdata/Internals.lc 125:24-125:28 Bool
346testdata/Internals.lc 126:5-128:29 Bool | Nat -> Nat->Bool | Nat->Bool 350testdata/Internals.lc 125:24-127:29 Nat->Bool
347testdata/Internals.lc 126:15-126:19 Nat 351testdata/Internals.lc 126:15-126:19 Nat
348testdata/Internals.lc 126:15-128:29 Bool 352testdata/Internals.lc 126:15-127:29 Bool | Nat->Bool
349testdata/Internals.lc 126:24-126:28 Bool 353testdata/Internals.lc 126:24-126:25 Nat
350testdata/Internals.lc 126:24-128:29 Nat->Bool 354testdata/Internals.lc 126:24-126:28 Nat->Bool
351testdata/Internals.lc 127:15-127:19 Nat 355testdata/Internals.lc 126:24-126:30 Bool | Nat->Bool
352testdata/Internals.lc 127:15-128:29 Bool | Nat->Bool 356testdata/Internals.lc 126:24-127:29 Nat->Bool
353testdata/Internals.lc 127:24-127:25 Nat 357testdata/Internals.lc 126:26-126:28 {a} -> {b : Eq a} -> a -> a->Bool
354testdata/Internals.lc 127:24-127:28 Nat->Bool 358testdata/Internals.lc 126:29-126:30 Nat
355testdata/Internals.lc 127:24-127:30 Bool | Nat->Bool 359testdata/Internals.lc 127:24-127:29 Bool | Nat->Bool
356testdata/Internals.lc 127:24-128:29 Nat->Bool 360testdata/Internals.lc 129:6-129:10 Type | Type->Type
357testdata/Internals.lc 127:26-127:28 {a} -> {b : Eq a} -> a -> a->Bool 361testdata/Internals.lc 129:6-129:25 Type
358testdata/Internals.lc 127:29-127:30 Nat 362testdata/Internals.lc 129:6-129:36 Type
359testdata/Internals.lc 128:24-128:29 Bool | Nat->Bool 363testdata/Internals.lc 129:15-129:18 List V1 | {a} -> List a
360testdata/Internals.lc 130:6-130:10 Type | Type->Type 364testdata/Internals.lc 129:21-129:25 List V4 | Type | {a} -> a -> List a -> List a
361testdata/Internals.lc 130:6-130:25 Type 365testdata/Internals.lc 129:26-129:27 Type
362testdata/Internals.lc 130:6-130:36 Type 366testdata/Internals.lc 129:28-129:36 Type
363testdata/Internals.lc 130:15-130:18 List V1 | {a} -> List a 367testdata/Internals.lc 129:29-129:33 Type->Type
364testdata/Internals.lc 130:21-130:25 List V4 | Type | {a} -> a -> List a -> List a 368testdata/Internals.lc 129:34-129:35 Type
365testdata/Internals.lc 130:26-130:27 Type
366testdata/Internals.lc 130:28-130:36 Type
367testdata/Internals.lc 130:29-130:33 Type->Type
368testdata/Internals.lc 130:34-130:35 Type
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:33:32 +0000