summaryrefslogtreecommitdiff
path: root/testdata/Internals.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-04-28 00:48:57 +0200
committerPéter Diviánszky <divipp@gmail.com>2016-04-28 00:48:57 +0200
commit4f17b186afdd0b076d3efc06fe844e1f547b805a (patch)
treeaff796c8a962dca4d3b2880a26195ad91cdc25cb /testdata/Internals.out
parenteaa99d13de8f9638c82beaae646cd66f3c1f8d89 (diff)
better names for free variables
Diffstat (limited to 'testdata/Internals.out')
-rw-r--r--testdata/Internals.out82
1 files changed, 41 insertions, 41 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out
index 9d830464..dca27f59 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -87,9 +87,9 @@ hlistNilCase :: a:Type -> a -> ()->a
87hlistConsCase :: {a} -> {b : 'List Type} -> c:Type -> (a -> 'HList b -> c) -> 'HList (Cons a b) -> c 87hlistConsCase :: {a} -> {b : 'List Type} -> c:Type -> (a -> 'HList b -> c) -> 'HList (Cons a b) -> c
88------------ tooltips 88------------ tooltips
89testdata/Internals.lc 6:1-6:8 {a} -> a->a 89testdata/Internals.lc 6:1-6:8 {a} -> a->a
90testdata/Internals.lc 6:13-6:14 V1 90testdata/Internals.lc 6:13-6:14 b_
91testdata/Internals.lc 9:1-9:7 {a} -> a->a 91testdata/Internals.lc 9:1-9:7 {a} -> a->a
92testdata/Internals.lc 9:12-9:13 V1 92testdata/Internals.lc 9:12-9:13 b_
93testdata/Internals.lc 11:1-11:10 {a}->a 93testdata/Internals.lc 11:1-11:10 {a}->a
94testdata/Internals.lc 11:27-11:31 Type 94testdata/Internals.lc 11:27-11:31 Type
95testdata/Internals.lc 11:35-11:36 Type 95testdata/Internals.lc 11:35-11:36 Type
@@ -106,16 +106,16 @@ testdata/Internals.lc 16:6-16:12 Type
106testdata/Internals.lc 17:6-17:11 String->Type | Type 106testdata/Internals.lc 17:6-17:11 String->Type | Type
107testdata/Internals.lc 17:18-17:24 Type 107testdata/Internals.lc 17:18-17:24 Type
108testdata/Internals.lc 19:1-19:13 {a} -> {b} -> a->b 108testdata/Internals.lc 19:1-19:13 {a} -> {b} -> a->b
109testdata/Internals.lc 19:30-19:31 V3 109testdata/Internals.lc 19:30-19:31 d_
110testdata/Internals.lc 19:30-19:36 Type 110testdata/Internals.lc 19:30-19:36 Type
111testdata/Internals.lc 19:35-19:36 Type | V2 111testdata/Internals.lc 19:35-19:36 Type | c_
112testdata/Internals.lc 22:13-22:17 a:Type -> a -> a->Type 112testdata/Internals.lc 22:13-22:17 a:Type -> a -> a->Type
113testdata/Internals.lc 22:24-22:28 Type 113testdata/Internals.lc 22:24-22:28 Type
114testdata/Internals.lc 22:36-22:37 Type 114testdata/Internals.lc 22:36-22:37 Type
115testdata/Internals.lc 22:36-22:46 Type 115testdata/Internals.lc 22:36-22:46 Type
116testdata/Internals.lc 22:45-22:46 Type 116testdata/Internals.lc 22:45-22:46 Type
117testdata/Internals.lc 31:1-31:8 a:Type -> a -> a->a 117testdata/Internals.lc 31:1-31:8 a:Type -> a -> a->a
118testdata/Internals.lc 31:24-31:25 V1 118testdata/Internals.lc 31:24-31:25 b_
119testdata/Internals.lc 31:24-31:35 Type 119testdata/Internals.lc 31:24-31:35 Type
120testdata/Internals.lc 31:29-31:30 Type 120testdata/Internals.lc 31:29-31:30 Type
121testdata/Internals.lc 31:29-31:35 Type 121testdata/Internals.lc 31:29-31:35 Type
@@ -139,7 +139,7 @@ testdata/Internals.lc 36:84-36:87 Type
139testdata/Internals.lc 36:86-36:87 Type 139testdata/Internals.lc 36:86-36:87 Type
140testdata/Internals.lc 38:6-38:11 {a} -> a -> a->Type 140testdata/Internals.lc 38:6-38:11 {a} -> a -> a->Type
141testdata/Internals.lc 38:14-38:18 a:Type -> a -> a->Type 141testdata/Internals.lc 38:14-38:18 a:Type -> a -> a->Type
142testdata/Internals.lc 38:14-38:20 V0 -> V1->Type 142testdata/Internals.lc 38:14-38:20 a_ -> b_->Type
143testdata/Internals.lc 41:1-41:4 Unit -> Unit->Unit 143testdata/Internals.lc 41:1-41:4 Unit -> Unit->Unit
144testdata/Internals.lc 41:8-41:12 Type 144testdata/Internals.lc 41:8-41:12 Type
145testdata/Internals.lc 41:16-41:20 Type 145testdata/Internals.lc 41:16-41:20 Type
@@ -229,15 +229,15 @@ testdata/Internals.lc 71:24-71:29 Type
229testdata/Internals.lc 71:33-71:36 Type 229testdata/Internals.lc 71:33-71:36 Type
230testdata/Internals.lc 74:19-74:23 Type 230testdata/Internals.lc 74:19-74:23 Type
231testdata/Internals.lc 74:19-74:38 Type 231testdata/Internals.lc 74:19-74:38 Type
232testdata/Internals.lc 74:27-74:28 V2 232testdata/Internals.lc 74:27-74:28 c_
233testdata/Internals.lc 74:27-74:38 Type 233testdata/Internals.lc 74:27-74:38 Type
234testdata/Internals.lc 74:32-74:33 Type 234testdata/Internals.lc 74:32-74:33 Type
235testdata/Internals.lc 74:32-74:38 Type 235testdata/Internals.lc 74:32-74:38 Type
236testdata/Internals.lc 74:37-74:38 Type 236testdata/Internals.lc 74:37-74:38 Type
237testdata/Internals.lc 75:1-75:15 {a} -> Bool -> a -> a->a 237testdata/Internals.lc 75:1-75:15 {a} -> Bool -> a -> a->a
238testdata/Internals.lc 75:28-75:29 V3 238testdata/Internals.lc 75:28-75:29 d_
239testdata/Internals.lc 75:28-76:29 Bool -> V1 -> V2->V3 | Bool->V4 | V1 -> V2->V3 | V2->V3 | V3 239testdata/Internals.lc 75:28-76:29 Bool -> b_ -> c_->d_ | Bool->e_ | b_ -> c_->d_ | c_->d_ | d_
240testdata/Internals.lc 76:28-76:29 V4 240testdata/Internals.lc 76:28-76:29 e_
241testdata/Internals.lc 78:1-78:5 Ordering->Bool 241testdata/Internals.lc 78:1-78:5 Ordering->Bool
242testdata/Internals.lc 78:11-78:15 Bool 242testdata/Internals.lc 78:11-78:15 Bool
243testdata/Internals.lc 78:11-79:15 Bool -> Ordering->Bool 243testdata/Internals.lc 78:11-79:15 Bool -> Ordering->Bool
@@ -260,30 +260,30 @@ testdata/Internals.lc 85:3-85:9 {a} -> {_ : Num a} -> a->a
260testdata/Internals.lc 85:13-85:14 Type 260testdata/Internals.lc 85:13-85:14 Type
261testdata/Internals.lc 85:13-85:19 Type 261testdata/Internals.lc 85:13-85:19 Type
262testdata/Internals.lc 85:18-85:19 Type 262testdata/Internals.lc 85:18-85:19 Type
263testdata/Internals.lc 88:13-100:25 Int->V2 | {_ : Num V0} -> Int->V2 | {a} -> {_ : Num a} -> Int->a 263testdata/Internals.lc 88:13-100:25 Int->c_ | {_ : Num a_} -> Int->c_ | {a} -> {_ : Num a} -> Int->a
264testdata/Internals.lc 88:19-88:20 V1 264testdata/Internals.lc 88:19-88:20 b_
265testdata/Internals.lc 89:13-89:27 Int -> Int->Ordering 265testdata/Internals.lc 89:13-89:27 Int -> Int->Ordering
266testdata/Internals.lc 89:13-101:22 V1 -> V2->Ordering | {_ : Num V0} -> V1 -> V2->Ordering | {a} -> {_ : Num a} -> a -> a->Ordering 266testdata/Internals.lc 89:13-101:22 b_ -> c_->Ordering | {_ : Num a_} -> b_ -> c_->Ordering | {a} -> {_ : Num a} -> a -> a->Ordering
267testdata/Internals.lc 90:13-90:26 Int->Int 267testdata/Internals.lc 90:13-90:26 Int->Int
268testdata/Internals.lc 90:13-102:22 V1->V2 | {_ : Num V0} -> V1->V2 | {a} -> {_ : Num a} -> a->a 268testdata/Internals.lc 90:13-102:22 b_->c_ | {_ : Num a_} -> b_->c_ | {a} -> {_ : Num a} -> a->a
269testdata/Internals.lc 92:13-92:26 Int->Word 269testdata/Internals.lc 92:13-92:26 Int->Word
270testdata/Internals.lc 92:13-100:25 Int->V2 270testdata/Internals.lc 92:13-100:25 Int->c_
271testdata/Internals.lc 93:13-93:28 Word -> Word->Ordering 271testdata/Internals.lc 93:13-93:28 Word -> Word->Ordering
272testdata/Internals.lc 93:13-101:22 V1 -> V2->Ordering 272testdata/Internals.lc 93:13-101:22 b_ -> c_->Ordering
273testdata/Internals.lc 94:13-94:27 Word->Word 273testdata/Internals.lc 94:13-94:27 Word->Word
274testdata/Internals.lc 94:13-102:22 V1->V2 274testdata/Internals.lc 94:13-102:22 b_->c_
275testdata/Internals.lc 96:13-96:27 Int->Float 275testdata/Internals.lc 96:13-96:27 Int->Float
276testdata/Internals.lc 96:13-100:25 Int->V2 276testdata/Internals.lc 96:13-100:25 Int->c_
277testdata/Internals.lc 97:13-97:29 Float -> Float->Ordering 277testdata/Internals.lc 97:13-97:29 Float -> Float->Ordering
278testdata/Internals.lc 97:13-101:22 V1 -> V2->Ordering 278testdata/Internals.lc 97:13-101:22 b_ -> c_->Ordering
279testdata/Internals.lc 98:13-98:28 Float->Float 279testdata/Internals.lc 98:13-98:28 Float->Float
280testdata/Internals.lc 98:13-102:22 V1->V2 280testdata/Internals.lc 98:13-102:22 b_->c_
281testdata/Internals.lc 100:13-100:25 Int->Nat 281testdata/Internals.lc 100:13-100:25 Int->Nat
282testdata/Internals.lc 101:13-101:22 {a}->a 282testdata/Internals.lc 101:13-101:22 {a}->a
283testdata/Internals.lc 102:13-102:22 {a}->a 283testdata/Internals.lc 102:13-102:22 {a}->a
284testdata/Internals.lc 104:7-104:9 Type->Type 284testdata/Internals.lc 104:7-104:9 Type->Type
285testdata/Internals.lc 104:7-105:27 Type 285testdata/Internals.lc 104:7-105:27 Type
286testdata/Internals.lc 104:7-120:29 V0->V1 | {a} -> {_ : Eq a} -> a -> a->Bool 286testdata/Internals.lc 104:7-120:29 a_->b_ | {a} -> {_ : Eq a} -> a -> a->Bool
287testdata/Internals.lc 105:6-105:8 {a} -> {_ : Eq a} -> a -> a->Bool 287testdata/Internals.lc 105:6-105:8 {a} -> {_ : Eq a} -> a -> a->Bool
288testdata/Internals.lc 105:13-105:14 Type 288testdata/Internals.lc 105:13-105:14 Type
289testdata/Internals.lc 105:13-105:27 Type 289testdata/Internals.lc 105:13-105:27 Type
@@ -292,39 +292,39 @@ testdata/Internals.lc 105:18-105:27 Type
292testdata/Internals.lc 105:23-105:27 Type 292testdata/Internals.lc 105:23-105:27 Type
293testdata/Internals.lc 109:35-109:39 Ordering->Bool 293testdata/Internals.lc 109:35-109:39 Ordering->Bool
294testdata/Internals.lc 109:35-109:63 Bool 294testdata/Internals.lc 109:35-109:63 Bool
295testdata/Internals.lc 109:35-120:29 V1 -> V2->Bool | {_ : Eq V0} -> V1 -> V2->Bool | {a} -> {_ : Eq a} -> a -> a->Bool 295testdata/Internals.lc 109:35-120:29 b_ -> c_->Bool | {_ : Eq a_} -> b_ -> c_->Bool | {a} -> {_ : Eq a} -> a -> a->Bool
296testdata/Internals.lc 109:41-109:58 String -> String->Ordering 296testdata/Internals.lc 109:41-109:58 String -> String->Ordering
297testdata/Internals.lc 109:41-109:60 String->Ordering 297testdata/Internals.lc 109:41-109:60 String->Ordering
298testdata/Internals.lc 109:41-109:62 Ordering 298testdata/Internals.lc 109:41-109:62 Ordering
299testdata/Internals.lc 109:59-109:60 V3 299testdata/Internals.lc 109:59-109:60 d_
300testdata/Internals.lc 109:61-109:62 V1 300testdata/Internals.lc 109:61-109:62 b_
301testdata/Internals.lc 110:33-110:37 Ordering->Bool 301testdata/Internals.lc 110:33-110:37 Ordering->Bool
302testdata/Internals.lc 110:33-110:59 Bool 302testdata/Internals.lc 110:33-110:59 Bool
303testdata/Internals.lc 110:33-120:29 V1 -> V2->Bool 303testdata/Internals.lc 110:33-120:29 b_ -> c_->Bool
304testdata/Internals.lc 110:39-110:54 Char -> Char->Ordering 304testdata/Internals.lc 110:39-110:54 Char -> Char->Ordering
305testdata/Internals.lc 110:39-110:56 Char->Ordering 305testdata/Internals.lc 110:39-110:56 Char->Ordering
306testdata/Internals.lc 110:39-110:58 Ordering 306testdata/Internals.lc 110:39-110:58 Ordering
307testdata/Internals.lc 110:55-110:56 V3 307testdata/Internals.lc 110:55-110:56 d_
308testdata/Internals.lc 110:57-110:58 V1 308testdata/Internals.lc 110:57-110:58 b_
309testdata/Internals.lc 111:32-111:36 Ordering->Bool 309testdata/Internals.lc 111:32-111:36 Ordering->Bool
310testdata/Internals.lc 111:32-111:57 Bool 310testdata/Internals.lc 111:32-111:57 Bool
311testdata/Internals.lc 111:32-120:29 V1 -> V2->Bool 311testdata/Internals.lc 111:32-120:29 b_ -> c_->Bool
312testdata/Internals.lc 111:38-111:52 Int -> Int->Ordering 312testdata/Internals.lc 111:38-111:52 Int -> Int->Ordering
313testdata/Internals.lc 111:38-111:54 Int->Ordering 313testdata/Internals.lc 111:38-111:54 Int->Ordering
314testdata/Internals.lc 111:38-111:56 Ordering 314testdata/Internals.lc 111:38-111:56 Ordering
315testdata/Internals.lc 111:53-111:54 V3 315testdata/Internals.lc 111:53-111:54 d_
316testdata/Internals.lc 111:55-111:56 V1 316testdata/Internals.lc 111:55-111:56 b_
317testdata/Internals.lc 112:34-112:38 Ordering->Bool 317testdata/Internals.lc 112:34-112:38 Ordering->Bool
318testdata/Internals.lc 112:34-112:61 Bool 318testdata/Internals.lc 112:34-112:61 Bool
319testdata/Internals.lc 112:34-120:29 V1 -> V2->Bool 319testdata/Internals.lc 112:34-120:29 b_ -> c_->Bool
320testdata/Internals.lc 112:40-112:56 Float -> Float->Ordering 320testdata/Internals.lc 112:40-112:56 Float -> Float->Ordering
321testdata/Internals.lc 112:40-112:58 Float->Ordering 321testdata/Internals.lc 112:40-112:58 Float->Ordering
322testdata/Internals.lc 112:40-112:60 Ordering 322testdata/Internals.lc 112:40-112:60 Ordering
323testdata/Internals.lc 112:57-112:58 V3 323testdata/Internals.lc 112:57-112:58 d_
324testdata/Internals.lc 112:59-112:60 V1 324testdata/Internals.lc 112:59-112:60 b_
325testdata/Internals.lc 114:20-114:24 Bool 325testdata/Internals.lc 114:20-114:24 Bool
326testdata/Internals.lc 114:20-116:19 Bool | Bool->Bool 326testdata/Internals.lc 114:20-116:19 Bool | Bool->Bool
327testdata/Internals.lc 114:20-120:29 V1 -> V2->Bool 327testdata/Internals.lc 114:20-120:29 b_ -> c_->Bool
328testdata/Internals.lc 115:22-115:26 Bool 328testdata/Internals.lc 115:22-115:26 Bool
329testdata/Internals.lc 115:22-116:19 Bool | Bool->Bool 329testdata/Internals.lc 115:22-116:19 Bool | Bool->Bool
330testdata/Internals.lc 116:14-116:19 Bool 330testdata/Internals.lc 116:14-116:19 Bool
@@ -342,8 +342,8 @@ testdata/Internals.lc 122:6-122:12 Type
342testdata/Internals.lc 122:6-122:25 Type 342testdata/Internals.lc 122:6-122:25 Type
343testdata/Internals.lc 122:6-122:36 Type 343testdata/Internals.lc 122:6-122:36 Type
344testdata/Internals.lc 122:11-122:12 Type 344testdata/Internals.lc 122:11-122:12 Type
345testdata/Internals.lc 122:15-122:18 List V1 | {a} -> List a 345testdata/Internals.lc 122:15-122:18 List b_ | {a} -> List a
346testdata/Internals.lc 122:21-122:25 List V4 | Type | {a} -> a -> List a -> List a 346testdata/Internals.lc 122:21-122:25 List e_ | Type | {a} -> a -> List a -> List a
347testdata/Internals.lc 122:26-122:27 Type 347testdata/Internals.lc 122:26-122:27 Type
348testdata/Internals.lc 122:29-122:33 Type->Type 348testdata/Internals.lc 122:29-122:33 Type->Type
349testdata/Internals.lc 122:29-122:35 Type 349testdata/Internals.lc 122:29-122:35 Type
@@ -358,14 +358,14 @@ testdata/Internals.lc 127:5-127:22 Type
358testdata/Internals.lc 127:13-127:18 List Type -> Type 358testdata/Internals.lc 127:13-127:18 List Type -> Type
359testdata/Internals.lc 127:13-127:22 Type 359testdata/Internals.lc 127:13-127:22 Type
360testdata/Internals.lc 127:19-127:22 {a} -> List a 360testdata/Internals.lc 127:19-127:22 {a} -> List a
361testdata/Internals.lc 128:5-128:10 HList ('Cons V3 V2) | {a} -> {b : List Type} -> a -> HList b -> HList ('Cons a b) 361testdata/Internals.lc 128:5-128:10 HList ('Cons d_ c_) | {a} -> {b : List Type} -> a -> HList b -> HList ('Cons a b)
362testdata/Internals.lc 128:5-128:45 Type 362testdata/Internals.lc 128:5-128:45 Type
363testdata/Internals.lc 128:14-128:15 V3 363testdata/Internals.lc 128:14-128:15 d_
364testdata/Internals.lc 128:14-128:45 Type 364testdata/Internals.lc 128:14-128:45 Type
365testdata/Internals.lc 128:19-128:24 List Type -> Type 365testdata/Internals.lc 128:19-128:24 List Type -> Type
366testdata/Internals.lc 128:19-128:27 Type 366testdata/Internals.lc 128:19-128:27 Type
367testdata/Internals.lc 128:19-128:45 Type 367testdata/Internals.lc 128:19-128:45 Type
368testdata/Internals.lc 128:25-128:27 V2 368testdata/Internals.lc 128:25-128:27 c_
369testdata/Internals.lc 128:31-128:36 List Type -> Type 369testdata/Internals.lc 128:31-128:36 List Type -> Type
370testdata/Internals.lc 128:31-128:45 Type 370testdata/Internals.lc 128:31-128:45 Type
371testdata/Internals.lc 128:39-128:40 Type 371testdata/Internals.lc 128:39-128:40 Type
@@ -374,7 +374,7 @@ testdata/Internals.lc 128:39-128:44 List Type
374testdata/Internals.lc 128:40-128:41 {a} -> a -> List a -> List a 374testdata/Internals.lc 128:40-128:41 {a} -> a -> List a -> List a
375testdata/Internals.lc 128:42-128:44 List Type 375testdata/Internals.lc 128:42-128:44 List Type
376testdata/Internals.lc 130:1-130:13 a:Type -> a -> ()->a 376testdata/Internals.lc 130:1-130:13 a:Type -> a -> ()->a
377testdata/Internals.lc 130:29-130:30 V1 377testdata/Internals.lc 130:29-130:30 b_
378testdata/Internals.lc 130:29-130:48 Type 378testdata/Internals.lc 130:29-130:48 Type
379testdata/Internals.lc 130:34-130:39 List Type -> Type 379testdata/Internals.lc 130:34-130:39 List Type -> Type
380testdata/Internals.lc 130:34-130:43 Type 380testdata/Internals.lc 130:34-130:43 Type
@@ -394,7 +394,7 @@ testdata/Internals.lc 134:14-134:19 List Type -> Type
394testdata/Internals.lc 134:14-134:21 Type 394testdata/Internals.lc 134:14-134:21 Type
395testdata/Internals.lc 134:14-134:26 Type 395testdata/Internals.lc 134:14-134:26 Type
396testdata/Internals.lc 134:20-134:21 List Type 396testdata/Internals.lc 134:20-134:21 List Type
397testdata/Internals.lc 134:25-134:26 Type | V3 397testdata/Internals.lc 134:25-134:26 Type | d_
398testdata/Internals.lc 135:8-135:13 List Type -> Type 398testdata/Internals.lc 135:8-135:13 List Type -> Type
399testdata/Internals.lc 135:8-135:24 Type 399testdata/Internals.lc 135:8-135:24 Type
400testdata/Internals.lc 135:8-136:9 Type 400testdata/Internals.lc 135:8-136:9 Type
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:20:55 +0000