summaryrefslogtreecommitdiff
path: root/testdata/Internals.out
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-02-18 10:48:29 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-02-18 11:05:08 +0100
commitfce14b4a6a908a460854b86d40edd5b45cd1e45f (patch)
tree2f6f79f90b55be944112f90af6985f0379deca90 /testdata/Internals.out
parent5f7bbe131b0645a74a0389172ab302e2b25ea9c7 (diff)
refactoring
Diffstat (limited to 'testdata/Internals.out')
-rw-r--r--testdata/Internals.out39
1 files changed, 19 insertions, 20 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out
index 24ef594c..a85035e3 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -373,8 +373,7 @@ testdata/Internals.lc 108:14-120:17 Type | Type->Type
373testdata/Internals.lc 108:14-121:25 Int->V2 | {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a 373testdata/Internals.lc 108:14-121:25 Int->V2 | {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a
374testdata/Internals.lc 108:14-122:22 V1 -> V2->Ordering | {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering 374testdata/Internals.lc 108:14-122:22 V1 -> V2->Ordering | {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering
375testdata/Internals.lc 108:14-123:22 V1->V2 | {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a 375testdata/Internals.lc 108:14-123:22 V1->V2 | {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a
376testdata/Internals.lc 109:13-109:20 Int->Int 376testdata/Internals.lc 109:19-109:20 V1
377testdata/Internals.lc 109:19-109:20 Int
378testdata/Internals.lc 110:13-110:27 Int -> Int->Ordering 377testdata/Internals.lc 110:13-110:27 Int -> Int->Ordering
379testdata/Internals.lc 111:13-111:26 Int->Int 378testdata/Internals.lc 111:13-111:26 Int->Int
380testdata/Internals.lc 112:14-112:18 Type 379testdata/Internals.lc 112:14-112:18 Type
@@ -420,65 +419,65 @@ testdata/Internals.lc 130:13-130:63 (V1 -> V2->Bool) -> V2 -> V3->Bool
420testdata/Internals.lc 130:13-138:16 Type | Type->Type 419testdata/Internals.lc 130:13-138:16 Type | Type->Type
421testdata/Internals.lc 130:13-141:29 V1 -> V2->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool 420testdata/Internals.lc 130:13-141:29 V1 -> V2->Bool | {a : Eq V0} -> V1 -> V2->Bool | {a} -> {b : Eq a} -> a -> a->Bool
422testdata/Internals.lc 130:35-130:39 Ordering->Bool 421testdata/Internals.lc 130:35-130:39 Ordering->Bool
423testdata/Internals.lc 130:35-130:63 Bool | String -> String->Bool | String->Bool 422testdata/Internals.lc 130:35-130:63 Bool
424testdata/Internals.lc 130:40-130:63 Ordering 423testdata/Internals.lc 130:40-130:63 Ordering
425testdata/Internals.lc 130:41-130:58 String -> String->Ordering 424testdata/Internals.lc 130:41-130:58 String -> String->Ordering
426testdata/Internals.lc 130:41-130:60 String->Ordering 425testdata/Internals.lc 130:41-130:60 String->Ordering
427testdata/Internals.lc 130:59-130:60 String 426testdata/Internals.lc 130:59-130:60 V3
428testdata/Internals.lc 130:61-130:62 String 427testdata/Internals.lc 130:61-130:62 V1
429testdata/Internals.lc 131:13-131:17 Type 428testdata/Internals.lc 131:13-131:17 Type
430testdata/Internals.lc 131:13-131:59 (V1 -> V2->Bool) -> V2 -> V3->Bool 429testdata/Internals.lc 131:13-131:59 (V1 -> V2->Bool) -> V2 -> V3->Bool
431testdata/Internals.lc 131:13-138:16 Type 430testdata/Internals.lc 131:13-138:16 Type
432testdata/Internals.lc 131:13-141:29 V1 -> V2->Bool 431testdata/Internals.lc 131:13-141:29 V1 -> V2->Bool
433testdata/Internals.lc 131:33-131:37 Ordering->Bool 432testdata/Internals.lc 131:33-131:37 Ordering->Bool
434testdata/Internals.lc 131:33-131:59 Bool | Char -> Char->Bool | Char->Bool 433testdata/Internals.lc 131:33-131:59 Bool
435testdata/Internals.lc 131:38-131:59 Ordering 434testdata/Internals.lc 131:38-131:59 Ordering
436testdata/Internals.lc 131:39-131:54 Char -> Char->Ordering 435testdata/Internals.lc 131:39-131:54 Char -> Char->Ordering
437testdata/Internals.lc 131:39-131:56 Char->Ordering 436testdata/Internals.lc 131:39-131:56 Char->Ordering
438testdata/Internals.lc 131:55-131:56 Char 437testdata/Internals.lc 131:55-131:56 V3
439testdata/Internals.lc 131:57-131:58 Char 438testdata/Internals.lc 131:57-131:58 V1
440testdata/Internals.lc 132:13-132:16 Type 439testdata/Internals.lc 132:13-132:16 Type
441testdata/Internals.lc 132:13-132:57 (V1 -> V2->Bool) -> V2 -> V3->Bool 440testdata/Internals.lc 132:13-132:57 (V1 -> V2->Bool) -> V2 -> V3->Bool
442testdata/Internals.lc 132:13-138:16 Type 441testdata/Internals.lc 132:13-138:16 Type
443testdata/Internals.lc 132:13-141:29 V1 -> V2->Bool 442testdata/Internals.lc 132:13-141:29 V1 -> V2->Bool
444testdata/Internals.lc 132:32-132:36 Ordering->Bool 443testdata/Internals.lc 132:32-132:36 Ordering->Bool
445testdata/Internals.lc 132:32-132:57 Bool | Int -> Int->Bool | Int->Bool 444testdata/Internals.lc 132:32-132:57 Bool
446testdata/Internals.lc 132:37-132:57 Ordering 445testdata/Internals.lc 132:37-132:57 Ordering
447testdata/Internals.lc 132:38-132:52 Int -> Int->Ordering 446testdata/Internals.lc 132:38-132:52 Int -> Int->Ordering
448testdata/Internals.lc 132:38-132:54 Int->Ordering 447testdata/Internals.lc 132:38-132:54 Int->Ordering
449testdata/Internals.lc 132:53-132:54 Int 448testdata/Internals.lc 132:53-132:54 V3
450testdata/Internals.lc 132:55-132:56 Int 449testdata/Internals.lc 132:55-132:56 V1
451testdata/Internals.lc 133:13-133:18 Type 450testdata/Internals.lc 133:13-133:18 Type
452testdata/Internals.lc 133:13-133:61 (V1 -> V2->Bool) -> V2 -> V3->Bool 451testdata/Internals.lc 133:13-133:61 (V1 -> V2->Bool) -> V2 -> V3->Bool
453testdata/Internals.lc 133:13-138:16 Type 452testdata/Internals.lc 133:13-138:16 Type
454testdata/Internals.lc 133:13-141:29 V1 -> V2->Bool 453testdata/Internals.lc 133:13-141:29 V1 -> V2->Bool
455testdata/Internals.lc 133:34-133:38 Ordering->Bool 454testdata/Internals.lc 133:34-133:38 Ordering->Bool
456testdata/Internals.lc 133:34-133:61 Bool | Float -> Float->Bool | Float->Bool 455testdata/Internals.lc 133:34-133:61 Bool
457testdata/Internals.lc 133:39-133:61 Ordering 456testdata/Internals.lc 133:39-133:61 Ordering
458testdata/Internals.lc 133:40-133:56 Float -> Float->Ordering 457testdata/Internals.lc 133:40-133:56 Float -> Float->Ordering
459testdata/Internals.lc 133:40-133:58 Float->Ordering 458testdata/Internals.lc 133:40-133:58 Float->Ordering
460testdata/Internals.lc 133:57-133:58 Float 459testdata/Internals.lc 133:57-133:58 V3
461testdata/Internals.lc 133:59-133:60 Float 460testdata/Internals.lc 133:59-133:60 V1
462testdata/Internals.lc 134:13-134:17 Type 461testdata/Internals.lc 134:13-134:17 Type
463testdata/Internals.lc 134:13-137:19 (V1 -> V2->Bool) -> V2 -> V3->Bool 462testdata/Internals.lc 134:13-137:19 (V1 -> V2->Bool) -> V2 -> V3->Bool
464testdata/Internals.lc 134:13-138:16 Type 463testdata/Internals.lc 134:13-138:16 Type
465testdata/Internals.lc 134:13-141:29 V1 -> V2->Bool 464testdata/Internals.lc 134:13-141:29 V1 -> V2->Bool
466testdata/Internals.lc 135:5-135:9 Bool 465testdata/Internals.lc 135:5-135:9 V2
467testdata/Internals.lc 135:5-137:19 Bool | Bool -> Bool->Bool | Bool->Bool 466testdata/Internals.lc 135:5-137:19 Bool
468testdata/Internals.lc 135:13-135:17 Bool 467testdata/Internals.lc 135:13-135:17 Bool
469testdata/Internals.lc 135:13-137:19 Bool 468testdata/Internals.lc 135:13-137:19 Bool
470testdata/Internals.lc 135:20-135:24 Bool 469testdata/Internals.lc 135:20-135:24 Bool
471testdata/Internals.lc 135:20-137:19 Bool->Bool 470testdata/Internals.lc 135:20-137:19 Bool->Bool
472testdata/Internals.lc 136:14-136:19 Bool 471testdata/Internals.lc 136:14-136:19 V1
473testdata/Internals.lc 136:14-137:19 Bool 472testdata/Internals.lc 136:14-137:19 Bool
474testdata/Internals.lc 136:22-136:26 Bool 473testdata/Internals.lc 136:22-136:26 Bool
475testdata/Internals.lc 136:22-137:19 Bool->Bool 474testdata/Internals.lc 136:22-137:19 Bool->Bool
476testdata/Internals.lc 137:14-137:19 Bool 475testdata/Internals.lc 137:14-137:19 Bool
477testdata/Internals.lc 138:13-138:16 Type 476testdata/Internals.lc 138:13-138:16 Type
478testdata/Internals.lc 138:13-141:29 (V1 -> V2->Bool) -> V2 -> V3->Bool 477testdata/Internals.lc 138:13-141:29 (V1 -> V2->Bool) -> V2 -> V3->Bool
479testdata/Internals.lc 139:5-139:9 Nat 478testdata/Internals.lc 139:5-139:9 V2
480testdata/Internals.lc 139:5-141:29 Bool | Nat -> Nat->Bool | Nat->Bool 479testdata/Internals.lc 139:5-141:29 Bool
481testdata/Internals.lc 139:15-139:19 Nat 480testdata/Internals.lc 139:15-139:19 V1
482testdata/Internals.lc 139:15-141:29 Bool 481testdata/Internals.lc 139:15-141:29 Bool
483testdata/Internals.lc 139:24-139:28 Bool 482testdata/Internals.lc 139:24-139:28 Bool
484testdata/Internals.lc 139:24-141:29 Nat->Bool 483testdata/Internals.lc 139:24-141:29 Nat->Bool
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 16:35:58 +0000