summaryrefslogtreecommitdiff
path: root/testdata
diff options
context:
space:
mode:
authorPéter Diviánszky <divipp@gmail.com>2016-01-27 11:03:00 +0100
committerPéter Diviánszky <divipp@gmail.com>2016-01-27 11:03:19 +0100
commit2092ca9e3d9482d939d61ebaf10d71578169e0ec (patch)
tree5ca52fb0275749d563c4ef18788ea9382609dbde /testdata
parent22d39bea7e429c8f25d1d283636165afae642a4e (diff)
refactoring: use less STyped
Diffstat (limited to 'testdata')
-rw-r--r--testdata/Internals.out394
1 files changed, 198 insertions, 196 deletions
diff --git a/testdata/Internals.out b/testdata/Internals.out
index dc29d25e..9aea069f 100644
--- a/testdata/Internals.out
+++ b/testdata/Internals.out
@@ -1,207 +1,209 @@
1main is not found 1main is not found
2tooltips: 2tooltips:
3testdata/Internals.lc 5:1-5:10 {a}->a 3testdata/Internals.lc 6:1-6:8 {a} -> a->a
4testdata/Internals.lc 5:27-5:31 Type 4testdata/Internals.lc 6:13-6:14 V1
5testdata/Internals.lc 5:35-5:36 Type 5testdata/Internals.lc 8:1-8:10 {a}->a
6testdata/Internals.lc 7:1-7:8 {a} -> a->a -> a 6testdata/Internals.lc 8:27-8:31 Type
7testdata/Internals.lc 7:25-7:29 Type 7testdata/Internals.lc 8:35-8:36 Type
8testdata/Internals.lc 7:33-7:46 Type 8testdata/Internals.lc 10:1-10:8 {a} -> a->a -> a
9testdata/Internals.lc 7:34-7:35 Type 9testdata/Internals.lc 10:25-10:29 Type
10testdata/Internals.lc 7:39-7:40 Type 10testdata/Internals.lc 10:33-10:46 Type
11testdata/Internals.lc 7:45-7:46 Type 11testdata/Internals.lc 10:34-10:35 Type
12testdata/Internals.lc 9:6-9:10 Type 12testdata/Internals.lc 10:39-10:40 Type
13testdata/Internals.lc 9:6-9:15 Type 13testdata/Internals.lc 10:45-10:46 Type
14testdata/Internals.lc 9:13-9:15 Unit 14testdata/Internals.lc 12:6-12:10 Type
15testdata/Internals.lc 10:6-10:12 Type 15testdata/Internals.lc 12:6-12:15 Type
16testdata/Internals.lc 11:6-11:11 String->Type | Type 16testdata/Internals.lc 12:13-12:15 Unit
17testdata/Internals.lc 11:18-11:24 Type 17testdata/Internals.lc 13:6-13:12 Type
18testdata/Internals.lc 14:6-14:12 Type 18testdata/Internals.lc 14:6-14:11 String->Type | Type
19testdata/Internals.lc 14:6-14:21 Type 19testdata/Internals.lc 14:18-14:24 Type
20testdata/Internals.lc 14:15-14:21 Tuple0 20testdata/Internals.lc 17:6-17:12 Type
21testdata/Internals.lc 15:6-15:12 Type | Type->Type 21testdata/Internals.lc 17:6-17:21 Type
22testdata/Internals.lc 15:6-15:23 Type 22testdata/Internals.lc 17:15-17:21 Tuple0
23testdata/Internals.lc 15:6-15:25 Type 23testdata/Internals.lc 18:6-18:12 Type | Type->Type
24testdata/Internals.lc 15:17-15:23 Tuple1 V2 | Type | {a} -> a -> Tuple1 a 24testdata/Internals.lc 18:6-18:23 Type
25testdata/Internals.lc 15:24-15:25 Type 25testdata/Internals.lc 18:6-18:25 Type
26testdata/Internals.lc 16:6-16:12 Type | Type -> Type->Type 26testdata/Internals.lc 18:17-18:23 Tuple1 V2 | Type | {a} -> a -> Tuple1 a
27testdata/Internals.lc 16:6-16:25 Type 27testdata/Internals.lc 18:24-18:25 Type
28testdata/Internals.lc 16:6-16:29 Type 28testdata/Internals.lc 19:6-19:12 Type | Type -> Type->Type
29testdata/Internals.lc 16:19-16:25 Tuple2 V4 V3 | Type | {a} -> {b} -> a -> b -> Tuple2 a b 29testdata/Internals.lc 19:6-19:25 Type
30testdata/Internals.lc 16:26-16:27 Type 30testdata/Internals.lc 19:6-19:29 Type
31testdata/Internals.lc 16:28-16:29 Type 31testdata/Internals.lc 19:19-19:25 Tuple2 V4 V3 | Type | {a} -> {b} -> a -> b -> Tuple2 a b
32testdata/Internals.lc 17:6-17:12 Type | Type -> Type -> Type->Type 32testdata/Internals.lc 19:26-19:27 Type
33testdata/Internals.lc 17:6-17:27 Type 33testdata/Internals.lc 19:28-19:29 Type
34testdata/Internals.lc 17:6-17:33 Type 34testdata/Internals.lc 20:6-20:12 Type | Type -> Type -> Type->Type
35testdata/Internals.lc 17:21-17:27 Tuple3 V6 V5 V4 | Type | {a} -> {b} -> {c} -> a -> b -> c -> Tuple3 a b c 35testdata/Internals.lc 20:6-20:27 Type
36testdata/Internals.lc 17:28-17:29 Type 36testdata/Internals.lc 20:6-20:33 Type
37testdata/Internals.lc 17:30-17:31 Type 37testdata/Internals.lc 20:21-20:27 Tuple3 V6 V5 V4 | Type | {a} -> {b} -> {c} -> a -> b -> c -> Tuple3 a b c
38testdata/Internals.lc 17:32-17:33 Type 38testdata/Internals.lc 20:28-20:29 Type
39testdata/Internals.lc 18:6-18:12 Type | Type -> Type -> Type -> Type->Type 39testdata/Internals.lc 20:30-20:31 Type
40testdata/Internals.lc 18:6-18:29 Type 40testdata/Internals.lc 20:32-20:33 Type
41testdata/Internals.lc 18:6-18:37 Type 41testdata/Internals.lc 21:6-21:12 Type | Type -> Type -> Type -> Type->Type
42testdata/Internals.lc 18:23-18:29 Tuple4 V8 V7 V6 V5 | Type | {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> Tuple4 a b c d 42testdata/Internals.lc 21:6-21:29 Type
43testdata/Internals.lc 18:30-18:31 Type 43testdata/Internals.lc 21:6-21:37 Type
44testdata/Internals.lc 18:32-18:33 Type 44testdata/Internals.lc 21:23-21:29 Tuple4 V8 V7 V6 V5 | Type | {a} -> {b} -> {c} -> {d} -> a -> b -> c -> d -> Tuple4 a b c d
45testdata/Internals.lc 18:34-18:35 Type 45testdata/Internals.lc 21:30-21:31 Type
46testdata/Internals.lc 18:36-18:37 Type 46testdata/Internals.lc 21:32-21:33 Type
47testdata/Internals.lc 19:6-19:12 Type | Type -> Type -> Type -> Type -> Type->Type 47testdata/Internals.lc 21:34-21:35 Type
48testdata/Internals.lc 19:6-19:31 Type 48testdata/Internals.lc 21:36-21:37 Type
49testdata/Internals.lc 19:6-19:41 Type 49testdata/Internals.lc 22:6-22:12 Type | Type -> Type -> Type -> Type -> Type->Type
50testdata/Internals.lc 19:25-19:31 Tuple5 V10 V9 V8 V7 V6 | Type | {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> Tuple5 a b c d e 50testdata/Internals.lc 22:6-22:31 Type
51testdata/Internals.lc 19:32-19:33 Type 51testdata/Internals.lc 22:6-22:41 Type
52testdata/Internals.lc 19:34-19:35 Type 52testdata/Internals.lc 22:25-22:31 Tuple5 V10 V9 V8 V7 V6 | Type | {a} -> {b} -> {c} -> {d} -> {e} -> a -> b -> c -> d -> e -> Tuple5 a b c d e
53testdata/Internals.lc 19:36-19:37 Type 53testdata/Internals.lc 22:32-22:33 Type
54testdata/Internals.lc 19:38-19:39 Type 54testdata/Internals.lc 22:34-22:35 Type
55testdata/Internals.lc 19:40-19:41 Type 55testdata/Internals.lc 22:36-22:37 Type
56testdata/Internals.lc 25:1-25:8 a:Type -> a -> a->a 56testdata/Internals.lc 22:38-22:39 Type
57testdata/Internals.lc 25:24-25:25 V1 57testdata/Internals.lc 22:40-22:41 Type
58testdata/Internals.lc 25:24-25:35 Type 58testdata/Internals.lc 28:1-28:8 a:Type -> a -> a->a
59testdata/Internals.lc 25:29-25:30 Type 59testdata/Internals.lc 28:24-28:25 V1
60testdata/Internals.lc 25:29-25:35 Type 60testdata/Internals.lc 28:24-28:35 Type
61testdata/Internals.lc 25:34-25:35 Type 61testdata/Internals.lc 28:29-28:30 Type
62testdata/Internals.lc 27:13-27:17 a:Type -> a -> a->Type 62testdata/Internals.lc 28:29-28:35 Type
63testdata/Internals.lc 27:24-27:28 Type 63testdata/Internals.lc 28:34-28:35 Type
64testdata/Internals.lc 27:36-27:37 Type 64testdata/Internals.lc 30:13-30:17 a:Type -> a -> a->Type
65testdata/Internals.lc 27:36-27:46 Type 65testdata/Internals.lc 30:24-30:28 Type
66testdata/Internals.lc 27:45-27:46 Type 66testdata/Internals.lc 30:36-30:37 Type
67testdata/Internals.lc 28:13-28:15 Type -> Type->Type 67testdata/Internals.lc 30:36-30:46 Type
68testdata/Internals.lc 31:1-31:4 Unit -> Unit->Unit 68testdata/Internals.lc 30:45-30:46 Type
69testdata/Internals.lc 31:8-31:12 Type 69testdata/Internals.lc 31:13-31:15 Type -> Type->Type
70testdata/Internals.lc 31:16-31:20 Type 70testdata/Internals.lc 34:1-34:4 Unit -> Unit->Unit
71testdata/Internals.lc 31:16-31:28 Type 71testdata/Internals.lc 34:8-34:12 Type
72testdata/Internals.lc 31:24-31:28 Type 72testdata/Internals.lc 34:16-34:20 Type
73testdata/Internals.lc 34:6-34:9 Type 73testdata/Internals.lc 34:16-34:28 Type
74testdata/Internals.lc 35:6-35:10 Type 74testdata/Internals.lc 34:24-34:28 Type
75testdata/Internals.lc 36:6-36:11 Type 75testdata/Internals.lc 37:6-37:9 Type
76testdata/Internals.lc 37:6-37:10 Type 76testdata/Internals.lc 38:6-38:10 Type
77testdata/Internals.lc 39:6-39:10 Type 77testdata/Internals.lc 39:6-39:11 Type
78testdata/Internals.lc 39:6-39:25 Type 78testdata/Internals.lc 40:6-40:10 Type
79testdata/Internals.lc 39:13-39:18 Bool 79testdata/Internals.lc 42:6-42:10 Type
80testdata/Internals.lc 39:21-39:25 Bool 80testdata/Internals.lc 42:6-42:25 Type
81testdata/Internals.lc 41:6-41:14 Type 81testdata/Internals.lc 42:13-42:18 Bool
82testdata/Internals.lc 41:6-41:29 Type 82testdata/Internals.lc 42:21-42:25 Bool
83testdata/Internals.lc 41:17-41:19 Ordering 83testdata/Internals.lc 44:6-44:14 Type
84testdata/Internals.lc 41:22-41:24 Ordering 84testdata/Internals.lc 44:6-44:29 Type
85testdata/Internals.lc 41:27-41:29 Ordering 85testdata/Internals.lc 44:17-44:19 Ordering
86testdata/Internals.lc 44:1-44:14 Int->Word 86testdata/Internals.lc 44:22-44:24 Ordering
87testdata/Internals.lc 44:24-44:27 Type 87testdata/Internals.lc 44:27-44:29 Ordering
88testdata/Internals.lc 44:33-44:37 Type 88testdata/Internals.lc 47:1-47:14 Int->Word
89testdata/Internals.lc 45:1-45:15 Int->Float 89testdata/Internals.lc 47:24-47:27 Type
90testdata/Internals.lc 45:24-45:27 Type
91testdata/Internals.lc 45:33-45:38 Type
92testdata/Internals.lc 46:1-46:15 Int -> Int->Ordering
93testdata/Internals.lc 46:24-46:27 Type
94testdata/Internals.lc 46:33-46:36 Type
95testdata/Internals.lc 46:33-46:50 Type
96testdata/Internals.lc 46:42-46:50 Type
97testdata/Internals.lc 47:1-47:16 Word -> Word->Ordering
98testdata/Internals.lc 47:24-47:28 Type
99testdata/Internals.lc 47:33-47:37 Type 90testdata/Internals.lc 47:33-47:37 Type
100testdata/Internals.lc 47:33-47:50 Type 91testdata/Internals.lc 48:1-48:15 Int->Float
101testdata/Internals.lc 47:42-47:50 Type 92testdata/Internals.lc 48:24-48:27 Type
102testdata/Internals.lc 48:1-48:17 Float -> Float->Ordering
103testdata/Internals.lc 48:24-48:29 Type
104testdata/Internals.lc 48:33-48:38 Type 93testdata/Internals.lc 48:33-48:38 Type
105testdata/Internals.lc 48:33-48:50 Type 94testdata/Internals.lc 49:1-49:15 Int -> Int->Ordering
106testdata/Internals.lc 48:42-48:50 Type 95testdata/Internals.lc 49:24-49:27 Type
107testdata/Internals.lc 49:1-49:16 Char -> Char->Ordering 96testdata/Internals.lc 49:33-49:36 Type
108testdata/Internals.lc 49:24-49:28 Type
109testdata/Internals.lc 49:33-49:37 Type
110testdata/Internals.lc 49:33-49:50 Type 97testdata/Internals.lc 49:33-49:50 Type
111testdata/Internals.lc 49:42-49:50 Type 98testdata/Internals.lc 49:42-49:50 Type
112testdata/Internals.lc 50:1-50:18 String -> String->Ordering 99testdata/Internals.lc 50:1-50:16 Word -> Word->Ordering
113testdata/Internals.lc 50:24-50:30 Type 100testdata/Internals.lc 50:24-50:28 Type
114testdata/Internals.lc 50:34-50:40 Type 101testdata/Internals.lc 50:33-50:37 Type
115testdata/Internals.lc 50:34-50:52 Type 102testdata/Internals.lc 50:33-50:50 Type
116testdata/Internals.lc 50:44-50:52 Type 103testdata/Internals.lc 50:42-50:50 Type
117testdata/Internals.lc 51:1-51:14 Int->Int 104testdata/Internals.lc 51:1-51:17 Float -> Float->Ordering
118testdata/Internals.lc 51:24-51:27 Type 105testdata/Internals.lc 51:24-51:29 Type
119testdata/Internals.lc 51:33-51:36 Type 106testdata/Internals.lc 51:33-51:38 Type
120testdata/Internals.lc 52:1-52:15 Word->Word 107testdata/Internals.lc 51:33-51:50 Type
108testdata/Internals.lc 51:42-51:50 Type
109testdata/Internals.lc 52:1-52:16 Char -> Char->Ordering
121testdata/Internals.lc 52:24-52:28 Type 110testdata/Internals.lc 52:24-52:28 Type
122testdata/Internals.lc 52:33-52:37 Type 111testdata/Internals.lc 52:33-52:37 Type
123testdata/Internals.lc 53:1-53:16 Float->Float 112testdata/Internals.lc 52:33-52:50 Type
124testdata/Internals.lc 53:24-53:29 Type 113testdata/Internals.lc 52:42-52:50 Type
125testdata/Internals.lc 53:33-53:38 Type 114testdata/Internals.lc 53:1-53:18 String -> String->Ordering
126testdata/Internals.lc 54:1-54:11 Int -> Int->Int 115testdata/Internals.lc 53:24-53:30 Type
116testdata/Internals.lc 53:34-53:40 Type
117testdata/Internals.lc 53:34-53:52 Type
118testdata/Internals.lc 53:44-53:52 Type
119testdata/Internals.lc 54:1-54:14 Int->Int
127testdata/Internals.lc 54:24-54:27 Type 120testdata/Internals.lc 54:24-54:27 Type
128testdata/Internals.lc 54:33-54:36 Type 121testdata/Internals.lc 54:33-54:36 Type
129testdata/Internals.lc 54:33-54:45 Type 122testdata/Internals.lc 55:1-55:15 Word->Word
130testdata/Internals.lc 54:42-54:45 Type 123testdata/Internals.lc 55:24-55:28 Type
131testdata/Internals.lc 55:1-55:11 Int -> Int->Int 124testdata/Internals.lc 55:33-55:37 Type
132testdata/Internals.lc 55:24-55:27 Type 125testdata/Internals.lc 56:1-56:16 Float->Float
133testdata/Internals.lc 55:33-55:36 Type 126testdata/Internals.lc 56:24-56:29 Type
134testdata/Internals.lc 55:33-55:45 Type 127testdata/Internals.lc 56:33-56:38 Type
135testdata/Internals.lc 55:42-55:45 Type 128testdata/Internals.lc 57:1-57:11 Int -> Int->Int
136testdata/Internals.lc 56:1-56:11 Int -> Int->Int 129testdata/Internals.lc 57:24-57:27 Type
137testdata/Internals.lc 56:24-56:27 Type 130testdata/Internals.lc 57:33-57:36 Type
138testdata/Internals.lc 56:33-56:36 Type 131testdata/Internals.lc 57:33-57:45 Type
139testdata/Internals.lc 56:33-56:45 Type 132testdata/Internals.lc 57:42-57:45 Type
140testdata/Internals.lc 56:42-56:45 Type 133testdata/Internals.lc 58:1-58:11 Int -> Int->Int
141testdata/Internals.lc 57:1-57:14 Float->Float 134testdata/Internals.lc 58:24-58:27 Type
142testdata/Internals.lc 57:24-57:29 Type
143testdata/Internals.lc 57:33-57:38 Type
144testdata/Internals.lc 58:1-58:10 Float->Int
145testdata/Internals.lc 58:24-58:29 Type
146testdata/Internals.lc 58:33-58:36 Type 135testdata/Internals.lc 58:33-58:36 Type
147testdata/Internals.lc 61:19-61:23 Type 136testdata/Internals.lc 58:33-58:45 Type
148testdata/Internals.lc 61:19-61:38 Type 137testdata/Internals.lc 58:42-58:45 Type
149testdata/Internals.lc 61:27-61:28 V2 138testdata/Internals.lc 59:1-59:11 Int -> Int->Int
150testdata/Internals.lc 61:27-61:38 Type 139testdata/Internals.lc 59:24-59:27 Type
151testdata/Internals.lc 61:32-61:33 Type 140testdata/Internals.lc 59:33-59:36 Type
152testdata/Internals.lc 61:32-61:38 Type 141testdata/Internals.lc 59:33-59:45 Type
153testdata/Internals.lc 61:37-61:38 Type 142testdata/Internals.lc 59:42-59:45 Type
154testdata/Internals.lc 62:1-62:15 {a} -> Bool -> a -> a->a 143testdata/Internals.lc 60:1-60:14 Float->Float
155testdata/Internals.lc 62:16-62:20 Bool 144testdata/Internals.lc 60:24-60:29 Type
156testdata/Internals.lc 62:16-63:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3 145testdata/Internals.lc 60:33-60:38 Type
157testdata/Internals.lc 62:28-62:29 V3 146testdata/Internals.lc 61:1-61:10 Float->Int
158testdata/Internals.lc 62:28-63:29 Bool->V4 147testdata/Internals.lc 61:24-61:29 Type
159testdata/Internals.lc 63:28-63:29 V4 148testdata/Internals.lc 61:33-61:36 Type
160testdata/Internals.lc 66:7-66:10 Type->Type 149testdata/Internals.lc 64:19-64:23 Type
161testdata/Internals.lc 66:7-67:22 Type 150testdata/Internals.lc 64:19-64:38 Type
162testdata/Internals.lc 66:7-68:32 Type 151testdata/Internals.lc 64:27-64:28 V2
163testdata/Internals.lc 66:7-69:19 Type 152testdata/Internals.lc 64:27-64:38 Type
164testdata/Internals.lc 67:3-67:10 {a} -> {b : Num a} -> Int->a 153testdata/Internals.lc 64:32-64:33 Type
165testdata/Internals.lc 67:14-67:17 Type 154testdata/Internals.lc 64:32-64:38 Type
166testdata/Internals.lc 67:14-67:22 Type 155testdata/Internals.lc 64:37-64:38 Type
167testdata/Internals.lc 67:21-67:22 Type 156testdata/Internals.lc 65:1-65:15 {a} -> Bool -> a -> a->a
168testdata/Internals.lc 68:3-68:10 {a} -> {b : Num a} -> a -> a->Ordering 157testdata/Internals.lc 65:16-65:20 Bool
169testdata/Internals.lc 68:14-68:15 Type 158testdata/Internals.lc 65:16-66:29 Bool -> V1 -> V2->V3 | V1 -> V2->V3 | V2->V3 | V3
170testdata/Internals.lc 68:14-68:32 Type 159testdata/Internals.lc 65:28-65:29 V3
171testdata/Internals.lc 68:19-68:20 Type 160testdata/Internals.lc 65:28-66:29 Bool->V4
172testdata/Internals.lc 68:19-68:32 Type 161testdata/Internals.lc 66:28-66:29 V4
173testdata/Internals.lc 68:24-68:32 Type 162testdata/Internals.lc 69:7-69:10 Type->Type
174testdata/Internals.lc 69:3-69:9 {a} -> {b : Num a} -> a->a 163testdata/Internals.lc 69:7-70:22 Type
175testdata/Internals.lc 69:13-69:14 Type 164testdata/Internals.lc 69:7-71:32 Type
176testdata/Internals.lc 69:13-69:19 Type 165testdata/Internals.lc 69:7-72:19 Type
177testdata/Internals.lc 69:18-69:19 Type 166testdata/Internals.lc 70:3-70:10 {a} -> {b : Num a} -> Int->a
178testdata/Internals.lc 71:14-71:17 Type 167testdata/Internals.lc 70:14-70:17 Type
179testdata/Internals.lc 71:14-72:20 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 168testdata/Internals.lc 70:14-70:22 Type
180testdata/Internals.lc 71:14-73:27 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 169testdata/Internals.lc 70:21-70:22 Type
181testdata/Internals.lc 71:14-74:26 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 170testdata/Internals.lc 71:3-71:10 {a} -> {b : Num a} -> a -> a->Ordering
182testdata/Internals.lc 71:14-79:19 Type | Type->Type 171testdata/Internals.lc 71:14-71:15 Type
183testdata/Internals.lc 71:14-80:27 {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a 172testdata/Internals.lc 71:14-71:32 Type
184testdata/Internals.lc 71:14-81:29 {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering 173testdata/Internals.lc 71:19-71:20 Type
185testdata/Internals.lc 71:14-82:28 {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a 174testdata/Internals.lc 71:19-71:32 Type
186testdata/Internals.lc 72:13-72:20 Int->Int 175testdata/Internals.lc 71:24-71:32 Type
187testdata/Internals.lc 72:19-72:20 Int 176testdata/Internals.lc 72:3-72:9 {a} -> {b : Num a} -> a->a
188testdata/Internals.lc 73:13-73:27 Int -> Int->Ordering 177testdata/Internals.lc 72:13-72:14 Type
189testdata/Internals.lc 74:13-74:26 Int->Int 178testdata/Internals.lc 72:13-72:19 Type
190testdata/Internals.lc 75:14-75:18 Type 179testdata/Internals.lc 72:18-72:19 Type
191testdata/Internals.lc 75:14-76:26 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 180testdata/Internals.lc 74:14-74:17 Type
192testdata/Internals.lc 75:14-77:28 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 181testdata/Internals.lc 74:14-75:20 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
193testdata/Internals.lc 75:14-78:27 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 182testdata/Internals.lc 74:14-76:27 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
194testdata/Internals.lc 75:14-79:19 Type 183testdata/Internals.lc 74:14-77:26 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
195testdata/Internals.lc 75:14-80:27 {a : Num V0} -> Int->V2 184testdata/Internals.lc 74:14-82:19 Type | Type->Type
196testdata/Internals.lc 75:14-81:29 {a : Num V0} -> V1 -> V2->Ordering 185testdata/Internals.lc 74:14-83:27 {a : Num V0} -> Int->V2 | {a} -> {b : Num a} -> Int->a
197testdata/Internals.lc 75:14-82:28 {a : Num V0} -> V1->V2 186testdata/Internals.lc 74:14-84:29 {a : Num V0} -> V1 -> V2->Ordering | {a} -> {b : Num a} -> a -> a->Ordering
198testdata/Internals.lc 76:13-76:26 Int->Word 187testdata/Internals.lc 74:14-85:28 {a : Num V0} -> V1->V2 | {a} -> {b : Num a} -> a->a
199testdata/Internals.lc 77:13-77:28 Word -> Word->Ordering 188testdata/Internals.lc 75:13-75:20 Int->Int
200testdata/Internals.lc 78:13-78:27 Word->Word 189testdata/Internals.lc 75:19-75:20 Int
201testdata/Internals.lc 79:14-79:19 Type 190testdata/Internals.lc 76:13-76:27 Int -> Int->Ordering
202testdata/Internals.lc 79:14-80:27 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3 191testdata/Internals.lc 77:13-77:26 Int->Int
203testdata/Internals.lc 79:14-81:29 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering 192testdata/Internals.lc 78:14-78:18 Type
204testdata/Internals.lc 79:14-82:28 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3 193testdata/Internals.lc 78:14-79:26 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
205testdata/Internals.lc 80:13-80:27 Int->Float 194testdata/Internals.lc 78:14-80:28 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
206testdata/Internals.lc 81:13-81:29 Float -> Float->Ordering 195testdata/Internals.lc 78:14-81:27 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
207testdata/Internals.lc 82:13-82:28 Float->Float 196testdata/Internals.lc 78:14-82:19 Type
197testdata/Internals.lc 78:14-83:27 {a : Num V0} -> Int->V2
198testdata/Internals.lc 78:14-84:29 {a : Num V0} -> V1 -> V2->Ordering
199testdata/Internals.lc 78:14-85:28 {a : Num V0} -> V1->V2
200testdata/Internals.lc 79:13-79:26 Int->Word
201testdata/Internals.lc 80:13-80:28 Word -> Word->Ordering
202testdata/Internals.lc 81:13-81:27 Word->Word
203testdata/Internals.lc 82:14-82:19 Type
204testdata/Internals.lc 82:14-83:27 ({a : Num V0} -> Int->V2) -> {d : Num V1} -> Int->V3
205testdata/Internals.lc 82:14-84:29 ({a : Num V0} -> V1 -> V2->Ordering) -> {e : Num V1} -> V2 -> V3->Ordering
206testdata/Internals.lc 82:14-85:28 ({a : Num V0} -> V1->V2) -> {d : Num V1} -> V2->V3
207testdata/Internals.lc 83:13-83:27 Int->Float
208testdata/Internals.lc 84:13-84:29 Float -> Float->Ordering
209testdata/Internals.lc 85:13-85:28 Float->Float
generated by cgit v1.2.3 (git 2.39.1) at 2024-09-29 22:35:33 +0000