diff options
| author | Csaba Hruska <csaba.hruska@gmail.com> | 2016-02-26 16:20:42 +0100 |
|---|---|---|
| committer | Csaba Hruska <csaba.hruska@gmail.com> | 2016-02-26 16:20:42 +0100 |
| commit | be123a709e6707a489c53650f71593aee3032c50 (patch) | |
| tree | 8de97454d61b6c112056d4e19bcc00a6359467f5 /testdata/Prelude.out | |
| parent | d253c70b504ec34712be9eece7ac5157dced5d52 (diff) | |
add perspective to prelude
Diffstat (limited to 'testdata/Prelude.out')
| -rw-r--r-- | testdata/Prelude.out | 463 |
1 files changed, 399 insertions, 64 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index f9a8d419..6a836496 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
| @@ -161,10 +161,13 @@ all :: [32m{a:'Nat} -> 'VecScalar a 'Bool -> 'Bool[39m[K | |||
| 161 | *! :: [32m{a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> 'MatVecScalarElem a -> a[39m[K | 161 | *! :: [32m{a} -> {b : 'Num ('MatVecScalarElem a)} -> a -> 'MatVecScalarElem a -> a[39m[K |
| 162 | /! :: [32m{a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> a -> 'VecScalar b a[39m[K | 162 | /! :: [32m{a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> a -> 'VecScalar b a[39m[K |
| 163 | %! :: [32m{a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> a -> 'VecScalar b a[39m[K | 163 | %! :: [32m{a} -> {b:'Nat} -> {c : 'Num a} -> 'VecScalar b a -> a -> 'VecScalar b a[39m[K |
| 164 | perspective :: [32m'Float -> 'Float -> 'Float -> 'Float -> 'Mat 4 4 'Float[39m[K | ||
| 164 | rotMatrixZ :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K | 165 | rotMatrixZ :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K |
| 165 | rotMatrixY :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K | 166 | rotMatrixY :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K |
| 166 | rotMatrixX :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K | 167 | rotMatrixX :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K |
| 167 | rotationEuler :: [32m'Float -> 'Float -> 'Float -> 'Mat 4 4 'Float[39m[K | 168 | rotationEuler :: [32m'Float -> 'Float -> 'Float -> 'Mat 4 4 'Float[39m[K |
| 169 | translateBefore4 :: [32m'Vec 3 'Float -> 'Mat 4 4 'Float -> 'Mat 4 4 'Float[39m[K | ||
| 170 | lookat :: [32m'Vec 3 'Float -> 'Vec 3 'Float -> 'Vec 3 'Float -> 'Mat 4 4 'Float[39m[K | ||
| 168 | scale :: [32m'Float -> 'VecS 'Float 4 -> 'VecS 'Float 4[39m[K | 171 | scale :: [32m'Float -> 'VecS 'Float 4 -> 'VecS 'Float 4[39m[K |
| 169 | fromTo :: [32m'Float -> 'Float -> 'List 'Float[39m[K | 172 | fromTo :: [32m'Float -> 'Float -> 'List 'Float[39m[K |
| 170 | !! :: [32m{a} -> 'List a -> 'Int->a[39m[K | 173 | !! :: [32m{a} -> 'List a -> 'Int->a[39m[K |
| @@ -1056,6 +1059,169 @@ testdata/Prelude.lc 319:10-319:20 V2 -> VecScalar V2 V3 | |||
| 1056 | testdata/Prelude.lc 319:10-319:22 VecScalar V1 V3 | 1059 | testdata/Prelude.lc 319:10-319:22 VecScalar V1 V3 |
| 1057 | testdata/Prelude.lc 319:19-319:20 V6 | 1060 | testdata/Prelude.lc 319:19-319:20 V6 |
| 1058 | testdata/Prelude.lc 319:21-319:22 V4 | 1061 | testdata/Prelude.lc 319:21-319:22 V4 |
| 1062 | testdata/Prelude.lc 326:16-326:21 Type | ||
| 1063 | testdata/Prelude.lc 327:16-327:21 Type | ||
| 1064 | testdata/Prelude.lc 327:16-330:29 Type | ||
| 1065 | testdata/Prelude.lc 328:16-328:21 Type | ||
| 1066 | testdata/Prelude.lc 328:16-330:29 Type | ||
| 1067 | testdata/Prelude.lc 329:16-329:21 Type | ||
| 1068 | testdata/Prelude.lc 329:16-330:29 Type | ||
| 1069 | testdata/Prelude.lc 330:16-330:19 Nat -> Nat -> Type->Type | ||
| 1070 | testdata/Prelude.lc 330:16-330:21 Nat -> Type->Type | ||
| 1071 | testdata/Prelude.lc 330:16-330:23 Type->Type | ||
| 1072 | testdata/Prelude.lc 330:16-330:29 Type | ||
| 1073 | testdata/Prelude.lc 330:20-330:21 V1 | ||
| 1074 | testdata/Prelude.lc 330:22-330:23 V1 | ||
| 1075 | testdata/Prelude.lc 330:24-330:29 Type | ||
| 1076 | testdata/Prelude.lc 331:1-331:12 Float -> Float -> Float -> Float -> Mat 4 4 Float | ||
| 1077 | testdata/Prelude.lc 332:5-332:9 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | ||
| 1078 | testdata/Prelude.lc 332:5-332:64 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | ||
| 1079 | testdata/Prelude.lc 332:5-333:64 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | ||
| 1080 | testdata/Prelude.lc 332:5-334:71 Vec 4 Float -> Mat 4 4 Float | ||
| 1081 | testdata/Prelude.lc 332:5-335:64 Mat 4 4 Float | ||
| 1082 | testdata/Prelude.lc 332:5-340:11 Float -> Float -> Float -> Float -> Mat 4 4 Float | Float -> Float -> Float -> Mat 4 4 Float | Float -> Float -> Mat 4 4 Float | Float -> Mat 4 4 Float | ||
| 1083 | testdata/Prelude.lc 332:11-332:13 {a} -> a -> a -> a -> a -> VecS a 4 | ||
| 1084 | testdata/Prelude.lc 332:11-332:25 Float -> Float -> Float -> VecS Float 4 | ||
| 1085 | testdata/Prelude.lc 332:11-332:33 Float -> Float -> VecS Float 4 | ||
| 1086 | testdata/Prelude.lc 332:11-332:54 Float -> VecS Float 4 | ||
| 1087 | testdata/Prelude.lc 332:11-332:63 VecS Float 4 | ||
| 1088 | testdata/Prelude.lc 332:15-332:16 V1 | ||
| 1089 | testdata/Prelude.lc 332:15-332:17 V2->V3 | ||
| 1090 | testdata/Prelude.lc 332:15-332:18 VecScalar 1 Float | ||
| 1091 | testdata/Prelude.lc 332:15-332:19 VecScalar 1 Float -> VecScalar 1 Float | ||
| 1092 | testdata/Prelude.lc 332:15-332:24 VecScalar 1 Float | ||
| 1093 | testdata/Prelude.lc 332:16-332:17 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1094 | testdata/Prelude.lc 332:17-332:18 Float | ||
| 1095 | testdata/Prelude.lc 332:18-332:19 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
| 1096 | testdata/Prelude.lc 332:20-332:21 Float | ||
| 1097 | testdata/Prelude.lc 332:20-332:22 Float->Float | ||
| 1098 | testdata/Prelude.lc 332:20-332:23 Float | ||
| 1099 | testdata/Prelude.lc 332:21-332:22 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1100 | testdata/Prelude.lc 332:22-332:23 Float | ||
| 1101 | testdata/Prelude.lc 332:32-332:33 V1 | ||
| 1102 | testdata/Prelude.lc 332:41-332:42 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1103 | testdata/Prelude.lc 332:41-332:53 Float | ||
| 1104 | testdata/Prelude.lc 332:42-332:48 VecScalar 1 Float -> VecScalar 1 Float | ||
| 1105 | testdata/Prelude.lc 332:42-332:53 VecScalar 1 Float | ||
| 1106 | testdata/Prelude.lc 332:43-332:44 Float | ||
| 1107 | testdata/Prelude.lc 332:43-332:45 Float->Float | ||
| 1108 | testdata/Prelude.lc 332:43-332:46 Float | ||
| 1109 | testdata/Prelude.lc 332:44-332:45 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1110 | testdata/Prelude.lc 332:45-332:46 Float | ||
| 1111 | testdata/Prelude.lc 332:47-332:48 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
| 1112 | testdata/Prelude.lc 332:49-332:50 Float | ||
| 1113 | testdata/Prelude.lc 332:49-332:51 Float->Float | ||
| 1114 | testdata/Prelude.lc 332:49-332:52 Float | ||
| 1115 | testdata/Prelude.lc 332:50-332:51 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1116 | testdata/Prelude.lc 332:51-332:52 Float | ||
| 1117 | testdata/Prelude.lc 332:62-332:63 V1 | ||
| 1118 | testdata/Prelude.lc 333:11-333:13 {a} -> a -> a -> a -> a -> VecS a 4 | ||
| 1119 | testdata/Prelude.lc 333:11-333:19 V1 -> V2 -> V3 -> VecS V4 4 | ||
| 1120 | testdata/Prelude.lc 333:11-333:38 Float -> Float -> VecS Float 4 | ||
| 1121 | testdata/Prelude.lc 333:11-333:53 Float -> VecS Float 4 | ||
| 1122 | testdata/Prelude.lc 333:11-333:63 VecS Float 4 | ||
| 1123 | testdata/Prelude.lc 333:18-333:19 V1 | ||
| 1124 | testdata/Prelude.lc 333:28-333:29 V1 | ||
| 1125 | testdata/Prelude.lc 333:28-333:30 V2->V3 | ||
| 1126 | testdata/Prelude.lc 333:28-333:31 VecScalar 1 Float | ||
| 1127 | testdata/Prelude.lc 333:28-333:32 VecScalar 1 Float -> VecScalar 1 Float | ||
| 1128 | testdata/Prelude.lc 333:28-333:37 VecScalar 1 Float | ||
| 1129 | testdata/Prelude.lc 333:29-333:30 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1130 | testdata/Prelude.lc 333:30-333:31 Float | ||
| 1131 | testdata/Prelude.lc 333:31-333:32 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
| 1132 | testdata/Prelude.lc 333:33-333:34 Float | ||
| 1133 | testdata/Prelude.lc 333:33-333:35 Float->Float | ||
| 1134 | testdata/Prelude.lc 333:33-333:36 Float | ||
| 1135 | testdata/Prelude.lc 333:34-333:35 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1136 | testdata/Prelude.lc 333:35-333:36 Float | ||
| 1137 | testdata/Prelude.lc 333:41-333:47 VecScalar 1 Float -> VecScalar 1 Float | ||
| 1138 | testdata/Prelude.lc 333:41-333:52 VecScalar 1 Float | ||
| 1139 | testdata/Prelude.lc 333:42-333:43 Float | ||
| 1140 | testdata/Prelude.lc 333:42-333:44 Float->Float | ||
| 1141 | testdata/Prelude.lc 333:42-333:45 Float | ||
| 1142 | testdata/Prelude.lc 333:43-333:44 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1143 | testdata/Prelude.lc 333:44-333:45 Float | ||
| 1144 | testdata/Prelude.lc 333:46-333:47 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
| 1145 | testdata/Prelude.lc 333:48-333:49 Float | ||
| 1146 | testdata/Prelude.lc 333:48-333:50 Float->Float | ||
| 1147 | testdata/Prelude.lc 333:48-333:51 Float | ||
| 1148 | testdata/Prelude.lc 333:49-333:50 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1149 | testdata/Prelude.lc 333:50-333:51 Float | ||
| 1150 | testdata/Prelude.lc 333:62-333:63 V1 | ||
| 1151 | testdata/Prelude.lc 334:11-334:13 {a} -> a -> a -> a -> a -> VecS a 4 | ||
| 1152 | testdata/Prelude.lc 334:11-334:19 V1 -> V2 -> V3 -> VecS V4 4 | ||
| 1153 | testdata/Prelude.lc 334:11-334:33 V2 -> V3 -> VecS V4 4 | ||
| 1154 | testdata/Prelude.lc 334:11-334:54 Float -> VecS Float 4 | ||
| 1155 | testdata/Prelude.lc 334:11-334:70 VecS Float 4 | ||
| 1156 | testdata/Prelude.lc 334:18-334:19 V1 | ||
| 1157 | testdata/Prelude.lc 334:32-334:33 V1 | ||
| 1158 | testdata/Prelude.lc 334:41-334:42 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1159 | testdata/Prelude.lc 334:41-334:53 Float | ||
| 1160 | testdata/Prelude.lc 334:42-334:48 VecScalar 1 Float -> VecScalar 1 Float | ||
| 1161 | testdata/Prelude.lc 334:42-334:53 VecScalar 1 Float | ||
| 1162 | testdata/Prelude.lc 334:43-334:44 Float | ||
| 1163 | testdata/Prelude.lc 334:43-334:45 Float->Float | ||
| 1164 | testdata/Prelude.lc 334:43-334:46 Float | ||
| 1165 | testdata/Prelude.lc 334:44-334:45 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1166 | testdata/Prelude.lc 334:45-334:46 Float | ||
| 1167 | testdata/Prelude.lc 334:47-334:48 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
| 1168 | testdata/Prelude.lc 334:49-334:50 Float | ||
| 1169 | testdata/Prelude.lc 334:49-334:51 Float->Float | ||
| 1170 | testdata/Prelude.lc 334:49-334:52 Float | ||
| 1171 | testdata/Prelude.lc 334:50-334:51 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1172 | testdata/Prelude.lc 334:51-334:52 Float | ||
| 1173 | testdata/Prelude.lc 334:57-334:58 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1174 | testdata/Prelude.lc 334:57-334:69 Float | ||
| 1175 | testdata/Prelude.lc 334:58-334:59 V1 | ||
| 1176 | testdata/Prelude.lc 334:58-334:60 V2->V3 | ||
| 1177 | testdata/Prelude.lc 334:58-334:61 Float | ||
| 1178 | testdata/Prelude.lc 334:58-334:62 Float->Float | ||
| 1179 | testdata/Prelude.lc 334:58-334:63 Float | ||
| 1180 | testdata/Prelude.lc 334:58-334:64 VecScalar 1 Float -> VecScalar 1 Float | ||
| 1181 | testdata/Prelude.lc 334:58-334:69 VecScalar 1 Float | ||
| 1182 | testdata/Prelude.lc 334:59-334:60 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1183 | testdata/Prelude.lc 334:60-334:61 Float | ||
| 1184 | testdata/Prelude.lc 334:61-334:62 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1185 | testdata/Prelude.lc 334:62-334:63 Float | ||
| 1186 | testdata/Prelude.lc 334:63-334:64 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
| 1187 | testdata/Prelude.lc 334:65-334:66 Float | ||
| 1188 | testdata/Prelude.lc 334:65-334:67 Float->Float | ||
| 1189 | testdata/Prelude.lc 334:65-334:68 Float | ||
| 1190 | testdata/Prelude.lc 334:66-334:67 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1191 | testdata/Prelude.lc 334:67-334:68 Float | ||
| 1192 | testdata/Prelude.lc 335:11-335:13 {a} -> a -> a -> a -> a -> VecS a 4 | ||
| 1193 | testdata/Prelude.lc 335:11-335:19 V1 -> V2 -> V3 -> VecS V4 4 | ||
| 1194 | testdata/Prelude.lc 335:11-335:33 V2 -> V3 -> VecS V4 4 | ||
| 1195 | testdata/Prelude.lc 335:11-335:49 V3 -> VecS V4 4 | ||
| 1196 | testdata/Prelude.lc 335:11-335:63 VecS Float 4 | ||
| 1197 | testdata/Prelude.lc 335:18-335:19 V1 | ||
| 1198 | testdata/Prelude.lc 335:32-335:33 V1 | ||
| 1199 | testdata/Prelude.lc 335:46-335:47 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1200 | testdata/Prelude.lc 335:46-335:48 V4 | ||
| 1201 | testdata/Prelude.lc 335:47-335:48 V1 | ||
| 1202 | testdata/Prelude.lc 335:62-335:63 V1 | ||
| 1203 | testdata/Prelude.lc 337:9-337:10 Float | ||
| 1204 | testdata/Prelude.lc 337:9-337:11 Float->Float | ||
| 1205 | testdata/Prelude.lc 337:9-337:22 Float | ||
| 1206 | testdata/Prelude.lc 337:10-337:11 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1207 | testdata/Prelude.lc 337:11-337:14 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a | ||
| 1208 | testdata/Prelude.lc 337:11-337:22 VecScalar 1 Float | ||
| 1209 | testdata/Prelude.lc 337:15-337:19 Float | ||
| 1210 | testdata/Prelude.lc 337:15-337:20 VecScalar 1 Float -> VecScalar 1 Float | ||
| 1211 | testdata/Prelude.lc 337:15-337:21 VecScalar 1 Float | ||
| 1212 | testdata/Prelude.lc 337:19-337:20 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
| 1213 | testdata/Prelude.lc 337:20-337:21 V1 | ||
| 1214 | testdata/Prelude.lc 338:9-338:10 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1215 | testdata/Prelude.lc 338:9-338:11 Float | ||
| 1216 | testdata/Prelude.lc 338:10-338:11 Float | ||
| 1217 | testdata/Prelude.lc 339:9-339:15 Float | ||
| 1218 | testdata/Prelude.lc 339:9-339:16 Float->Float | ||
| 1219 | testdata/Prelude.lc 339:9-339:17 Float | ||
| 1220 | testdata/Prelude.lc 339:15-339:16 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1221 | testdata/Prelude.lc 339:16-339:17 Float | ||
| 1222 | testdata/Prelude.lc 340:9-340:10 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1223 | testdata/Prelude.lc 340:9-340:11 Float | ||
| 1224 | testdata/Prelude.lc 340:10-340:11 Float | ||
| 1059 | testdata/Prelude.lc 342:1-342:11 VecScalar 1 Float -> Mat 4 4 Float | 1225 | testdata/Prelude.lc 342:1-342:11 VecScalar 1 Float -> Mat 4 4 Float |
| 1060 | testdata/Prelude.lc 342:16-342:20 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1226 | testdata/Prelude.lc 342:16-342:20 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
| 1061 | testdata/Prelude.lc 342:16-342:33 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1227 | testdata/Prelude.lc 342:16-342:33 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
| @@ -1222,67 +1388,236 @@ testdata/Prelude.lc 357:53-357:56 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a | |||
| 1222 | testdata/Prelude.lc 357:57-357:67 VecScalar 1 Float -> Mat 4 4 Float | 1388 | testdata/Prelude.lc 357:57-357:67 VecScalar 1 Float -> Mat 4 4 Float |
| 1223 | testdata/Prelude.lc 357:57-357:69 Mat 4 4 Float | 1389 | testdata/Prelude.lc 357:57-357:69 Mat 4 4 Float |
| 1224 | testdata/Prelude.lc 357:68-357:69 V1 | 1390 | testdata/Prelude.lc 357:68-357:69 V1 |
| 1225 | testdata/Prelude.lc 373:1-373:6 Float -> VecS Float 4 -> VecS Float 4 | 1391 | testdata/Prelude.lc 359:21-359:24 Nat -> Type->Type |
| 1226 | testdata/Prelude.lc 373:13-373:14 V3 | 1392 | testdata/Prelude.lc 359:21-359:26 Type->Type |
| 1227 | testdata/Prelude.lc 373:13-373:16 V2->V3 | 1393 | testdata/Prelude.lc 359:21-359:32 Type |
| 1228 | testdata/Prelude.lc 373:13-373:29 VecS Float 4 | 1394 | testdata/Prelude.lc 359:25-359:26 V1 |
| 1229 | testdata/Prelude.lc 373:15-373:16 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1395 | testdata/Prelude.lc 359:27-359:32 Type |
| 1230 | testdata/Prelude.lc 373:17-373:19 {a} -> a -> a -> a -> a -> VecS a 4 | 1396 | testdata/Prelude.lc 359:36-359:39 Nat -> Nat -> Type->Type |
| 1231 | testdata/Prelude.lc 373:17-373:21 V4 -> V5 -> V6 -> VecS V7 4 | 1397 | testdata/Prelude.lc 359:36-359:41 Nat -> Type->Type |
| 1232 | testdata/Prelude.lc 373:17-373:23 V4 -> V5 -> VecS V6 4 | 1398 | testdata/Prelude.lc 359:36-359:43 Type->Type |
| 1233 | testdata/Prelude.lc 373:17-373:25 V4 -> VecS V5 4 | 1399 | testdata/Prelude.lc 359:36-359:49 Type |
| 1234 | testdata/Prelude.lc 373:17-373:29 VecS Float 4 | 1400 | testdata/Prelude.lc 359:36-359:66 Type |
| 1235 | testdata/Prelude.lc 373:20-373:21 V5 | 1401 | testdata/Prelude.lc 359:40-359:41 V1 |
| 1236 | testdata/Prelude.lc 373:22-373:23 V4 | 1402 | testdata/Prelude.lc 359:42-359:43 V1 |
| 1237 | testdata/Prelude.lc 373:24-373:25 V4 | 1403 | testdata/Prelude.lc 359:44-359:49 Type |
| 1238 | testdata/Prelude.lc 373:26-373:29 Float | 1404 | testdata/Prelude.lc 359:53-359:56 Nat -> Nat -> Type->Type |
| 1239 | testdata/Prelude.lc 375:11-375:16 Type | 1405 | testdata/Prelude.lc 359:53-359:58 Nat -> Type->Type |
| 1240 | testdata/Prelude.lc 375:11-378:38 Float -> Float -> List Float | V0->V1 | 1406 | testdata/Prelude.lc 359:53-359:60 Type->Type |
| 1241 | testdata/Prelude.lc 375:20-375:25 Type | 1407 | testdata/Prelude.lc 359:53-359:66 Type |
| 1242 | testdata/Prelude.lc 375:20-375:36 Type | 1408 | testdata/Prelude.lc 359:57-359:58 V1 |
| 1243 | testdata/Prelude.lc 375:29-375:36 Type | 1409 | testdata/Prelude.lc 359:59-359:60 V1 |
| 1244 | testdata/Prelude.lc 375:30-375:35 Type | 1410 | testdata/Prelude.lc 359:61-359:66 Type |
| 1245 | testdata/Prelude.lc 376:1-376:7 Float -> Float -> List Float | 1411 | testdata/Prelude.lc 360:1-360:17 Vec 3 Float -> Mat 4 4 Float -> Mat 4 4 Float |
| 1246 | testdata/Prelude.lc 377:7-377:8 Float | 1412 | testdata/Prelude.lc 360:25-360:29 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
| 1247 | testdata/Prelude.lc 377:7-377:10 VecScalar 1 Float -> VecScalar 1 Bool | 1413 | testdata/Prelude.lc 360:25-360:32 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
| 1248 | testdata/Prelude.lc 377:7-377:12 VecScalar 1 Bool | 1414 | testdata/Prelude.lc 360:25-360:35 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
| 1249 | testdata/Prelude.lc 377:7-378:38 Float -> Float -> List Float | Float -> List Float | List Float | 1415 | testdata/Prelude.lc 360:25-360:38 Vec 4 Float -> Mat 4 4 Float |
| 1250 | testdata/Prelude.lc 377:9-377:10 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool | 1416 | testdata/Prelude.lc 360:25-360:52 Mat 4 4 Float |
| 1251 | testdata/Prelude.lc 377:11-377:12 Float | 1417 | testdata/Prelude.lc 360:25-364:38 Mat 4 4 Float -> Mat 4 4 Float | Vec 3 Float -> Mat 4 4 Float -> Mat 4 4 Float |
| 1252 | testdata/Prelude.lc 377:15-377:17 {a} -> List a | 1418 | testdata/Prelude.lc 360:30-360:32 VecS Float 4 |
| 1253 | testdata/Prelude.lc 377:15-378:38 Bool -> List Float | 1419 | testdata/Prelude.lc 360:33-360:35 VecS Float 4 |
| 1254 | testdata/Prelude.lc 378:7-378:16 Bool | 1420 | testdata/Prelude.lc 360:36-360:38 VecS Float 4 |
| 1255 | testdata/Prelude.lc 378:7-378:38 List Float | 1421 | testdata/Prelude.lc 360:40-360:44 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 |
| 1256 | testdata/Prelude.lc 378:19-378:20 Float | 1422 | testdata/Prelude.lc 360:40-360:46 VecS Float 4 |
| 1257 | testdata/Prelude.lc 378:19-378:21 List Float -> List Float | 1423 | testdata/Prelude.lc 360:40-360:48 VecS Float 4 -> VecS Float 4 |
| 1258 | testdata/Prelude.lc 378:19-378:38 List Float | 1424 | testdata/Prelude.lc 360:40-360:51 VecS Float 4 |
| 1259 | testdata/Prelude.lc 378:20-378:21 {a} -> a -> List a -> List a | 1425 | testdata/Prelude.lc 360:45-360:46 Vec 3 Float |
| 1260 | testdata/Prelude.lc 378:22-378:28 Float -> Float -> List Float | 1426 | testdata/Prelude.lc 360:47-360:48 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
| 1261 | testdata/Prelude.lc 378:22-378:36 Float -> List Float | 1427 | testdata/Prelude.lc 360:49-360:51 VecS Float 4 |
| 1262 | testdata/Prelude.lc 378:22-378:38 List Float | 1428 | testdata/Prelude.lc 362:13-362:15 {a} -> a -> a -> a -> a -> VecS a 4 |
| 1263 | testdata/Prelude.lc 378:30-378:31 Float | 1429 | testdata/Prelude.lc 362:13-362:19 V1 -> V2 -> V3 -> VecS V4 4 |
| 1264 | testdata/Prelude.lc 378:30-378:33 Float->Float | 1430 | testdata/Prelude.lc 362:13-362:23 V1 -> V2 -> VecS V3 4 |
| 1265 | testdata/Prelude.lc 378:30-378:35 Float | 1431 | testdata/Prelude.lc 362:13-362:27 V1 -> VecS V2 4 |
| 1266 | testdata/Prelude.lc 378:32-378:33 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1432 | testdata/Prelude.lc 362:13-362:29 VecS V2 4 |
| 1267 | testdata/Prelude.lc 378:34-378:35 V1 | 1433 | testdata/Prelude.lc 362:16-362:17 V4 |
| 1268 | testdata/Prelude.lc 378:37-378:38 Float | 1434 | testdata/Prelude.lc 362:16-362:19 V1 |
| 1269 | testdata/Prelude.lc 380:9-380:24 Type | 1435 | testdata/Prelude.lc 362:20-362:21 VecS V3 V2 |
| 1270 | testdata/Prelude.lc 380:9-382:30 V0->V1 | {a} -> List a -> Int->a | 1436 | testdata/Prelude.lc 362:20-362:23 V1 |
| 1271 | testdata/Prelude.lc 380:10-380:11 V1 | 1437 | testdata/Prelude.lc 362:24-362:25 VecS V3 V2 |
| 1272 | testdata/Prelude.lc 380:16-380:19 Type | 1438 | testdata/Prelude.lc 362:24-362:27 V1 |
| 1273 | testdata/Prelude.lc 380:16-380:24 Type | 1439 | testdata/Prelude.lc 362:28-362:29 V1 |
| 1274 | testdata/Prelude.lc 380:23-380:24 Type | 1440 | testdata/Prelude.lc 363:5-363:9 V4 |
| 1275 | testdata/Prelude.lc 381:4-381:5 List V2 | 1441 | testdata/Prelude.lc 363:5-363:12 VecS Float 4 |
| 1276 | testdata/Prelude.lc 381:4-382:30 Int->V2 | List V0 -> Int->V2 | V2 | 1442 | testdata/Prelude.lc 363:5-363:15 VecS Float 4 |
| 1277 | testdata/Prelude.lc 381:10-381:12 {a} -> List a -> Int->a | 1443 | testdata/Prelude.lc 363:5-363:18 VecS Float 4 |
| 1278 | testdata/Prelude.lc 381:19-381:20 V3 | 1444 | testdata/Prelude.lc 363:5-363:21 VecS Float 4 |
| 1279 | testdata/Prelude.lc 381:19-382:30 Bool->V4 | List V2 -> V2 | V1 -> List V2 -> V2 | V2 | 1445 | testdata/Prelude.lc 363:10-363:12 Vec 4 Float | Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> V4 |
| 1280 | testdata/Prelude.lc 382:19-382:21 List V5 | 1446 | testdata/Prelude.lc 363:10-363:21 Mat 4 4 Float |
| 1281 | testdata/Prelude.lc 382:19-382:24 Int->V5 | 1447 | testdata/Prelude.lc 363:13-363:15 Vec 4 Float | Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> V4 |
| 1282 | testdata/Prelude.lc 382:19-382:30 V3 | 1448 | testdata/Prelude.lc 363:16-363:18 Vec 4 Float | Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> V4 |
| 1283 | testdata/Prelude.lc 382:22-382:24 {a} -> List a -> Int->a | 1449 | testdata/Prelude.lc 363:19-363:21 Vec 4 Float | Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> V4 | Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> V4 |
| 1284 | testdata/Prelude.lc 382:26-382:27 Int | 1450 | testdata/Prelude.lc 363:25-363:27 Mat 4 4 Float |
| 1285 | testdata/Prelude.lc 382:26-382:28 Int->Int | 1451 | testdata/Prelude.lc 364:8-364:9 Vec 3 Float |
| 1286 | testdata/Prelude.lc 382:26-382:29 Int | 1452 | testdata/Prelude.lc 364:8-364:12 Mat 3 V0 Float -> Vec V1 Float |
| 1287 | testdata/Prelude.lc 382:27-382:28 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1453 | testdata/Prelude.lc 364:8-364:38 Vec 3 Float |
| 1288 | testdata/Prelude.lc 382:28-382:29 V1 | 1454 | testdata/Prelude.lc 364:10-364:12 {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> Mat a c b -> Vec c b |
| 1455 | testdata/Prelude.lc 364:13-364:17 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 3 Float | ||
| 1456 | testdata/Prelude.lc 364:13-364:24 Vec 3 Float -> Vec 3 Float -> Mat 3 3 Float | ||
| 1457 | testdata/Prelude.lc 364:13-364:31 Vec 3 Float -> Mat 3 3 Float | ||
| 1458 | testdata/Prelude.lc 364:13-364:38 Mat 3 3 Float | ||
| 1459 | testdata/Prelude.lc 364:18-364:20 VecS Float 4 | ||
| 1460 | testdata/Prelude.lc 364:18-364:24 VecS Float 3 | ||
| 1461 | testdata/Prelude.lc 364:25-364:27 VecS Float 4 | ||
| 1462 | testdata/Prelude.lc 364:25-364:31 VecS Float 3 | ||
| 1463 | testdata/Prelude.lc 364:32-364:34 VecS Float 4 | ||
| 1464 | testdata/Prelude.lc 364:32-364:38 VecS Float 3 | ||
| 1465 | testdata/Prelude.lc 367:11-367:14 Nat -> Type->Type | ||
| 1466 | testdata/Prelude.lc 367:11-367:16 Type->Type | ||
| 1467 | testdata/Prelude.lc 367:11-367:22 Type | ||
| 1468 | testdata/Prelude.lc 367:15-367:16 V1 | ||
| 1469 | testdata/Prelude.lc 367:17-367:22 Type | ||
| 1470 | testdata/Prelude.lc 368:11-368:14 Nat -> Type->Type | ||
| 1471 | testdata/Prelude.lc 368:11-368:16 Type->Type | ||
| 1472 | testdata/Prelude.lc 368:11-368:22 Type | ||
| 1473 | testdata/Prelude.lc 368:11-370:24 Type | ||
| 1474 | testdata/Prelude.lc 368:15-368:16 V1 | ||
| 1475 | testdata/Prelude.lc 368:17-368:22 Type | ||
| 1476 | testdata/Prelude.lc 369:11-369:14 Nat -> Type->Type | ||
| 1477 | testdata/Prelude.lc 369:11-369:16 Type->Type | ||
| 1478 | testdata/Prelude.lc 369:11-369:22 Type | ||
| 1479 | testdata/Prelude.lc 369:11-370:24 Type | ||
| 1480 | testdata/Prelude.lc 369:15-369:16 V1 | ||
| 1481 | testdata/Prelude.lc 369:17-369:22 Type | ||
| 1482 | testdata/Prelude.lc 370:11-370:14 Nat -> Nat -> Type->Type | ||
| 1483 | testdata/Prelude.lc 370:11-370:16 Nat -> Type->Type | ||
| 1484 | testdata/Prelude.lc 370:11-370:18 Type->Type | ||
| 1485 | testdata/Prelude.lc 370:11-370:24 Type | ||
| 1486 | testdata/Prelude.lc 370:15-370:16 V1 | ||
| 1487 | testdata/Prelude.lc 370:17-370:18 V1 | ||
| 1488 | testdata/Prelude.lc 370:19-370:24 Type | ||
| 1489 | testdata/Prelude.lc 371:1-371:7 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float | ||
| 1490 | testdata/Prelude.lc 371:24-371:40 Vec 3 Float -> Mat 4 4 Float -> Mat 4 4 Float | ||
| 1491 | testdata/Prelude.lc 371:24-371:50 Mat 4 4 Float -> Mat 4 4 Float | ||
| 1492 | testdata/Prelude.lc 371:24-371:52 Mat 4 4 Float | ||
| 1493 | testdata/Prelude.lc 371:24-377:65 Vec 3 Float -> Mat 4 4 Float | Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float | Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float | ||
| 1494 | testdata/Prelude.lc 371:42-371:45 {a} -> {b : Signed (MatVecScalarElem a)} -> a->a | ||
| 1495 | testdata/Prelude.lc 371:42-371:49 VecS Float 3 | ||
| 1496 | testdata/Prelude.lc 371:46-371:49 Vec 3 Float | ||
| 1497 | testdata/Prelude.lc 371:51-371:52 Mat 4 4 Float | ||
| 1498 | testdata/Prelude.lc 373:14-373:16 {a} -> a -> a -> a -> a -> VecS a 4 | ||
| 1499 | testdata/Prelude.lc 373:14-373:20 V1 -> V2 -> V3 -> VecS V4 4 | ||
| 1500 | testdata/Prelude.lc 373:14-373:24 V1 -> V2 -> VecS V3 4 | ||
| 1501 | testdata/Prelude.lc 373:14-373:28 V1 -> VecS V2 4 | ||
| 1502 | testdata/Prelude.lc 373:14-373:30 VecS V2 4 | ||
| 1503 | testdata/Prelude.lc 373:17-373:18 V4 | ||
| 1504 | testdata/Prelude.lc 373:17-373:20 V1 | ||
| 1505 | testdata/Prelude.lc 373:21-373:22 VecS V3 V2 | ||
| 1506 | testdata/Prelude.lc 373:21-373:24 V1 | ||
| 1507 | testdata/Prelude.lc 373:25-373:26 VecS V3 V2 | ||
| 1508 | testdata/Prelude.lc 373:25-373:28 V1 | ||
| 1509 | testdata/Prelude.lc 373:29-373:30 V1 | ||
| 1510 | testdata/Prelude.lc 374:9-374:18 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a | ||
| 1511 | testdata/Prelude.lc 374:9-374:20 VecScalar V0 Float -> VecScalar V1 Float | ||
| 1512 | testdata/Prelude.lc 374:9-374:33 VecScalar 3 Float | ||
| 1513 | testdata/Prelude.lc 374:19-374:20 {a} -> {b} -> a->b -> a->b | ||
| 1514 | testdata/Prelude.lc 374:21-374:24 Vec 3 Float | ||
| 1515 | testdata/Prelude.lc 374:21-374:26 VecS Float 3 -> VecS Float 3 | ||
| 1516 | testdata/Prelude.lc 374:21-374:33 VecS Float 3 | ||
| 1517 | testdata/Prelude.lc 374:25-374:26 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1518 | testdata/Prelude.lc 374:27-374:33 Vec 3 Float | ||
| 1519 | testdata/Prelude.lc 375:9-375:18 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a | ||
| 1520 | testdata/Prelude.lc 375:9-375:20 VecScalar V0 Float -> VecScalar V1 Float | ||
| 1521 | testdata/Prelude.lc 375:9-375:33 VecScalar 3 Float | ||
| 1522 | testdata/Prelude.lc 375:19-375:20 {a} -> {b} -> a->b -> a->b | ||
| 1523 | testdata/Prelude.lc 375:21-375:23 Vec 3 Float | ||
| 1524 | testdata/Prelude.lc 375:21-375:31 VecS Float 3 -> VecS Float 3 | ||
| 1525 | testdata/Prelude.lc 375:21-375:33 VecS Float 3 | ||
| 1526 | testdata/Prelude.lc 375:24-375:31 {a} -> {b : a ~ VecS Float 3} -> a -> a->a | ||
| 1527 | testdata/Prelude.lc 375:32-375:33 VecScalar 3 Float | ||
| 1528 | testdata/Prelude.lc 376:9-376:10 VecScalar 3 Float | ||
| 1529 | testdata/Prelude.lc 376:9-376:18 VecS Float 3 -> VecS Float 3 | ||
| 1530 | testdata/Prelude.lc 376:9-376:20 VecS Float 3 | ||
| 1531 | testdata/Prelude.lc 376:11-376:18 {a} -> {b : a ~ VecS Float 3} -> a -> a->a | ||
| 1532 | testdata/Prelude.lc 376:19-376:20 VecScalar 3 Float | ||
| 1533 | testdata/Prelude.lc 377:9-377:18 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c | ||
| 1534 | testdata/Prelude.lc 377:9-377:20 Mat V2 V1 V0 -> Mat V2 V3 V1 | ||
| 1535 | testdata/Prelude.lc 377:9-377:65 Mat 4 4 Float | ||
| 1536 | testdata/Prelude.lc 377:19-377:20 {a} -> {b} -> a->b -> a->b | ||
| 1537 | testdata/Prelude.lc 377:21-377:25 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | ||
| 1538 | testdata/Prelude.lc 377:21-377:34 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | ||
| 1539 | testdata/Prelude.lc 377:21-377:43 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | ||
| 1540 | testdata/Prelude.lc 377:21-377:52 Vec 4 Float -> Mat 4 4 Float | ||
| 1541 | testdata/Prelude.lc 377:21-377:65 Mat 4 4 Float | ||
| 1542 | testdata/Prelude.lc 377:27-377:31 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 | ||
| 1543 | testdata/Prelude.lc 377:27-377:33 VecS Float 4 | ||
| 1544 | testdata/Prelude.lc 377:32-377:33 VecScalar 3 Float | ||
| 1545 | testdata/Prelude.lc 377:36-377:40 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 | ||
| 1546 | testdata/Prelude.lc 377:36-377:42 VecS Float 4 | ||
| 1547 | testdata/Prelude.lc 377:41-377:42 VecS Float 3 | ||
| 1548 | testdata/Prelude.lc 377:45-377:49 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 | ||
| 1549 | testdata/Prelude.lc 377:45-377:51 VecS Float 4 | ||
| 1550 | testdata/Prelude.lc 377:50-377:51 VecScalar 3 Float | ||
| 1551 | testdata/Prelude.lc 377:54-377:56 {a} -> a -> a -> a -> a -> VecS a 4 | ||
| 1552 | testdata/Prelude.lc 377:54-377:58 V1 -> V2 -> V3 -> VecS V4 4 | ||
| 1553 | testdata/Prelude.lc 377:54-377:60 V2 -> V3 -> VecS V4 4 | ||
| 1554 | testdata/Prelude.lc 377:54-377:62 V2 -> VecS V3 4 | ||
| 1555 | testdata/Prelude.lc 377:54-377:64 VecS Float 4 | ||
| 1556 | testdata/Prelude.lc 377:57-377:58 V1 | ||
| 1557 | testdata/Prelude.lc 377:59-377:60 V1 | ||
| 1558 | testdata/Prelude.lc 377:61-377:62 V1 | ||
| 1559 | testdata/Prelude.lc 377:63-377:64 V1 | ||
| 1560 | testdata/Prelude.lc 380:1-380:6 Float -> VecS Float 4 -> VecS Float 4 | ||
| 1561 | testdata/Prelude.lc 380:13-380:14 V3 | ||
| 1562 | testdata/Prelude.lc 380:13-380:16 V2->V3 | ||
| 1563 | testdata/Prelude.lc 380:13-380:29 VecS Float 4 | ||
| 1564 | testdata/Prelude.lc 380:15-380:16 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1565 | testdata/Prelude.lc 380:17-380:19 {a} -> a -> a -> a -> a -> VecS a 4 | ||
| 1566 | testdata/Prelude.lc 380:17-380:21 V4 -> V5 -> V6 -> VecS V7 4 | ||
| 1567 | testdata/Prelude.lc 380:17-380:23 V4 -> V5 -> VecS V6 4 | ||
| 1568 | testdata/Prelude.lc 380:17-380:25 V4 -> VecS V5 4 | ||
| 1569 | testdata/Prelude.lc 380:17-380:29 VecS Float 4 | ||
| 1570 | testdata/Prelude.lc 380:20-380:21 V5 | ||
| 1571 | testdata/Prelude.lc 380:22-380:23 V4 | ||
| 1572 | testdata/Prelude.lc 380:24-380:25 V4 | ||
| 1573 | testdata/Prelude.lc 380:26-380:29 Float | ||
| 1574 | testdata/Prelude.lc 382:11-382:16 Type | ||
| 1575 | testdata/Prelude.lc 382:11-385:38 Float -> Float -> List Float | V0->V1 | ||
| 1576 | testdata/Prelude.lc 382:20-382:25 Type | ||
| 1577 | testdata/Prelude.lc 382:20-382:36 Type | ||
| 1578 | testdata/Prelude.lc 382:29-382:36 Type | ||
| 1579 | testdata/Prelude.lc 382:30-382:35 Type | ||
| 1580 | testdata/Prelude.lc 383:1-383:7 Float -> Float -> List Float | ||
| 1581 | testdata/Prelude.lc 384:7-384:8 Float | ||
| 1582 | testdata/Prelude.lc 384:7-384:10 VecScalar 1 Float -> VecScalar 1 Bool | ||
| 1583 | testdata/Prelude.lc 384:7-384:12 VecScalar 1 Bool | ||
| 1584 | testdata/Prelude.lc 384:7-385:38 Float -> Float -> List Float | Float -> List Float | List Float | ||
| 1585 | testdata/Prelude.lc 384:9-384:10 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool | ||
| 1586 | testdata/Prelude.lc 384:11-384:12 Float | ||
| 1587 | testdata/Prelude.lc 384:15-384:17 {a} -> List a | ||
| 1588 | testdata/Prelude.lc 384:15-385:38 Bool -> List Float | ||
| 1589 | testdata/Prelude.lc 385:7-385:16 Bool | ||
| 1590 | testdata/Prelude.lc 385:7-385:38 List Float | ||
| 1591 | testdata/Prelude.lc 385:19-385:20 Float | ||
| 1592 | testdata/Prelude.lc 385:19-385:21 List Float -> List Float | ||
| 1593 | testdata/Prelude.lc 385:19-385:38 List Float | ||
| 1594 | testdata/Prelude.lc 385:20-385:21 {a} -> a -> List a -> List a | ||
| 1595 | testdata/Prelude.lc 385:22-385:28 Float -> Float -> List Float | ||
| 1596 | testdata/Prelude.lc 385:22-385:36 Float -> List Float | ||
| 1597 | testdata/Prelude.lc 385:22-385:38 List Float | ||
| 1598 | testdata/Prelude.lc 385:30-385:31 Float | ||
| 1599 | testdata/Prelude.lc 385:30-385:33 Float->Float | ||
| 1600 | testdata/Prelude.lc 385:30-385:35 Float | ||
| 1601 | testdata/Prelude.lc 385:32-385:33 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1602 | testdata/Prelude.lc 385:34-385:35 V1 | ||
| 1603 | testdata/Prelude.lc 385:37-385:38 Float | ||
| 1604 | testdata/Prelude.lc 387:9-387:24 Type | ||
| 1605 | testdata/Prelude.lc 387:9-389:30 V0->V1 | {a} -> List a -> Int->a | ||
| 1606 | testdata/Prelude.lc 387:10-387:11 V1 | ||
| 1607 | testdata/Prelude.lc 387:16-387:19 Type | ||
| 1608 | testdata/Prelude.lc 387:16-387:24 Type | ||
| 1609 | testdata/Prelude.lc 387:23-387:24 Type | ||
| 1610 | testdata/Prelude.lc 388:4-388:5 List V2 | ||
| 1611 | testdata/Prelude.lc 388:4-389:30 Int->V2 | List V0 -> Int->V2 | V2 | ||
| 1612 | testdata/Prelude.lc 388:10-388:12 {a} -> List a -> Int->a | ||
| 1613 | testdata/Prelude.lc 388:19-388:20 V3 | ||
| 1614 | testdata/Prelude.lc 388:19-389:30 Bool->V4 | List V2 -> V2 | V1 -> List V2 -> V2 | V2 | ||
| 1615 | testdata/Prelude.lc 389:19-389:21 List V5 | ||
| 1616 | testdata/Prelude.lc 389:19-389:24 Int->V5 | ||
| 1617 | testdata/Prelude.lc 389:19-389:30 V3 | ||
| 1618 | testdata/Prelude.lc 389:22-389:24 {a} -> List a -> Int->a | ||
| 1619 | testdata/Prelude.lc 389:26-389:27 Int | ||
| 1620 | testdata/Prelude.lc 389:26-389:28 Int->Int | ||
| 1621 | testdata/Prelude.lc 389:26-389:29 Int | ||
| 1622 | testdata/Prelude.lc 389:27-389:28 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
| 1623 | testdata/Prelude.lc 389:28-389:29 V1 | ||