diff options
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r-- | testdata/Prelude.out | 659 |
1 files changed, 303 insertions, 356 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index c6fa4e14..28ea31af 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -166,7 +166,7 @@ rotMatrixZ :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K | |||
166 | rotMatrixY :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K | 166 | rotMatrixY :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K |
167 | rotMatrixX :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K | 167 | rotMatrixX :: [32m'VecScalar 1 'Float -> 'Mat 4 4 'Float[39m[K |
168 | 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 | 169 | translateBefore4 :: [32m'Vec 3 '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 | 170 | lookat :: [32m'Vec 3 'Float -> 'Vec 3 'Float -> 'Vec 3 'Float -> 'Mat 4 4 'Float[39m[K |
171 | scale :: [32m'Float -> 'VecS 'Float 4 -> 'VecS 'Float 4[39m[K | 171 | scale :: [32m'Float -> 'VecS 'Float 4 -> 'VecS 'Float 4[39m[K |
172 | fromTo :: [32m'Float -> 'Float -> 'List 'Float[39m[K | 172 | fromTo :: [32m'Float -> 'Float -> 'List 'Float[39m[K |
@@ -1075,16 +1075,16 @@ testdata/Prelude.lc 330:22-330:23 V1 | |||
1075 | testdata/Prelude.lc 330:24-330:29 Type | 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 | 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 | 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 | 1078 | testdata/Prelude.lc 332:5-332:59 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 | 1079 | testdata/Prelude.lc 332:5-333:59 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 | 1080 | testdata/Prelude.lc 332:5-334:62 Vec 4 Float -> Mat 4 4 Float |
1081 | testdata/Prelude.lc 332:5-335:64 Mat 4 4 Float | 1081 | testdata/Prelude.lc 332:5-335:59 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 | 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 | 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 | 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 | 1085 | testdata/Prelude.lc 332:11-332:29 Float -> Float -> VecS Float 4 |
1086 | testdata/Prelude.lc 332:11-332:54 Float -> VecS Float 4 | 1086 | testdata/Prelude.lc 332:11-332:43 Float -> VecS Float 4 |
1087 | testdata/Prelude.lc 332:11-332:63 VecS Float 4 | 1087 | testdata/Prelude.lc 332:11-332:58 VecS Float 4 |
1088 | testdata/Prelude.lc 332:15-332:16 V1 | 1088 | testdata/Prelude.lc 332:15-332:16 V1 |
1089 | testdata/Prelude.lc 332:15-332:17 V2->V3 | 1089 | testdata/Prelude.lc 332:15-332:17 V2->V3 |
1090 | testdata/Prelude.lc 332:15-332:18 VecScalar 1 Float | 1090 | testdata/Prelude.lc 332:15-332:18 VecScalar 1 Float |
@@ -1098,108 +1098,106 @@ testdata/Prelude.lc 332:20-332:22 Float->Float | |||
1098 | testdata/Prelude.lc 332:20-332:23 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 | 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 | 1100 | testdata/Prelude.lc 332:22-332:23 Float |
1101 | testdata/Prelude.lc 332:32-332:33 V1 | 1101 | testdata/Prelude.lc 332:28-332:29 V1 |
1102 | testdata/Prelude.lc 332:41-332:42 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1102 | testdata/Prelude.lc 332:42-332:43 V1 |
1103 | testdata/Prelude.lc 332:41-332:53 Float | 1103 | testdata/Prelude.lc 332:57-332:58 V1 |
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 | 1104 | 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 | 1105 | testdata/Prelude.lc 333:11-333:15 V1 -> V2 -> V3 -> VecS V4 4 |
1120 | testdata/Prelude.lc 333:11-333:38 Float -> Float -> VecS Float 4 | 1106 | testdata/Prelude.lc 333:11-333:39 Float -> Float -> VecS Float 4 |
1121 | testdata/Prelude.lc 333:11-333:53 Float -> VecS Float 4 | 1107 | testdata/Prelude.lc 333:11-333:43 Float -> VecS Float 4 |
1122 | testdata/Prelude.lc 333:11-333:63 VecS Float 4 | 1108 | testdata/Prelude.lc 333:11-333:58 VecS Float 4 |
1123 | testdata/Prelude.lc 333:18-333:19 V1 | 1109 | testdata/Prelude.lc 333:14-333:15 V1 |
1124 | testdata/Prelude.lc 333:28-333:29 V1 | 1110 | testdata/Prelude.lc 333:29-333:30 V1 |
1125 | testdata/Prelude.lc 333:28-333:30 V2->V3 | 1111 | testdata/Prelude.lc 333:29-333:31 V2->V3 |
1126 | testdata/Prelude.lc 333:28-333:31 VecScalar 1 Float | 1112 | testdata/Prelude.lc 333:29-333:32 VecScalar 1 Float |
1127 | testdata/Prelude.lc 333:28-333:32 VecScalar 1 Float -> VecScalar 1 Float | 1113 | testdata/Prelude.lc 333:29-333:33 VecScalar 1 Float -> VecScalar 1 Float |
1128 | testdata/Prelude.lc 333:28-333:37 VecScalar 1 Float | 1114 | testdata/Prelude.lc 333:29-333:38 VecScalar 1 Float |
1129 | testdata/Prelude.lc 333:29-333:30 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1115 | testdata/Prelude.lc 333:30-333:31 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1130 | testdata/Prelude.lc 333:30-333:31 Float | 1116 | testdata/Prelude.lc 333:31-333:32 Float |
1131 | testdata/Prelude.lc 333:31-333:32 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | 1117 | testdata/Prelude.lc 333:32-333:33 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a |
1132 | testdata/Prelude.lc 333:33-333:34 Float | 1118 | testdata/Prelude.lc 333:34-333:35 Float |
1133 | testdata/Prelude.lc 333:33-333:35 Float->Float | 1119 | testdata/Prelude.lc 333:34-333:36 Float->Float |
1134 | testdata/Prelude.lc 333:33-333:36 Float | 1120 | testdata/Prelude.lc 333:34-333:37 Float |
1135 | testdata/Prelude.lc 333:34-333:35 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1121 | testdata/Prelude.lc 333:35-333:36 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1136 | testdata/Prelude.lc 333:35-333:36 Float | 1122 | testdata/Prelude.lc 333:36-333:37 Float |
1137 | testdata/Prelude.lc 333:41-333:47 VecScalar 1 Float -> VecScalar 1 Float | 1123 | testdata/Prelude.lc 333:42-333:43 V1 |
1138 | testdata/Prelude.lc 333:41-333:52 VecScalar 1 Float | 1124 | testdata/Prelude.lc 333:57-333:58 V1 |
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 | 1125 | 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 | 1126 | testdata/Prelude.lc 334:11-334:27 Float -> Float -> Float -> VecS Float 4 |
1153 | testdata/Prelude.lc 334:11-334:33 V2 -> V3 -> VecS V4 4 | 1127 | testdata/Prelude.lc 334:11-334:41 Float -> Float -> VecS Float 4 |
1154 | testdata/Prelude.lc 334:11-334:54 Float -> VecS Float 4 | 1128 | testdata/Prelude.lc 334:11-334:56 Float -> VecS Float 4 |
1155 | testdata/Prelude.lc 334:11-334:70 VecS Float 4 | 1129 | testdata/Prelude.lc 334:11-334:61 VecS Float 4 |
1156 | testdata/Prelude.lc 334:18-334:19 V1 | 1130 | testdata/Prelude.lc 334:15-334:21 VecScalar 1 Float -> VecScalar 1 Float |
1157 | testdata/Prelude.lc 334:32-334:33 V1 | 1131 | testdata/Prelude.lc 334:15-334:26 VecScalar 1 Float |
1158 | testdata/Prelude.lc 334:41-334:42 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1132 | testdata/Prelude.lc 334:16-334:17 Float |
1159 | testdata/Prelude.lc 334:41-334:53 Float | 1133 | testdata/Prelude.lc 334:16-334:18 Float->Float |
1160 | testdata/Prelude.lc 334:42-334:48 VecScalar 1 Float -> VecScalar 1 Float | 1134 | testdata/Prelude.lc 334:16-334:19 Float |
1161 | testdata/Prelude.lc 334:42-334:53 VecScalar 1 Float | 1135 | testdata/Prelude.lc 334:17-334:18 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1162 | testdata/Prelude.lc 334:43-334:44 Float | 1136 | testdata/Prelude.lc 334:18-334:19 Float |
1163 | testdata/Prelude.lc 334:43-334:45 Float->Float | 1137 | testdata/Prelude.lc 334:20-334:21 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a |
1164 | testdata/Prelude.lc 334:43-334:46 Float | 1138 | testdata/Prelude.lc 334:22-334:23 Float |
1165 | testdata/Prelude.lc 334:44-334:45 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1139 | testdata/Prelude.lc 334:22-334:24 Float->Float |
1140 | testdata/Prelude.lc 334:22-334:25 Float | ||
1141 | testdata/Prelude.lc 334:23-334:24 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
1142 | testdata/Prelude.lc 334:24-334:25 Float | ||
1143 | testdata/Prelude.lc 334:29-334:35 VecScalar 1 Float -> VecScalar 1 Float | ||
1144 | testdata/Prelude.lc 334:29-334:40 VecScalar 1 Float | ||
1145 | testdata/Prelude.lc 334:30-334:31 Float | ||
1146 | testdata/Prelude.lc 334:30-334:32 Float->Float | ||
1147 | testdata/Prelude.lc 334:30-334:33 Float | ||
1148 | testdata/Prelude.lc 334:31-334:32 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
1149 | testdata/Prelude.lc 334:32-334:33 Float | ||
1150 | testdata/Prelude.lc 334:34-334:35 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
1151 | testdata/Prelude.lc 334:36-334:37 Float | ||
1152 | testdata/Prelude.lc 334:36-334:38 Float->Float | ||
1153 | testdata/Prelude.lc 334:36-334:39 Float | ||
1154 | testdata/Prelude.lc 334:37-334:38 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
1155 | testdata/Prelude.lc 334:38-334:39 Float | ||
1156 | testdata/Prelude.lc 334:43-334:44 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
1157 | testdata/Prelude.lc 334:43-334:55 Float | ||
1158 | testdata/Prelude.lc 334:44-334:50 VecScalar 1 Float -> VecScalar 1 Float | ||
1159 | testdata/Prelude.lc 334:44-334:55 VecScalar 1 Float | ||
1166 | testdata/Prelude.lc 334:45-334:46 Float | 1160 | 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 | 1161 | testdata/Prelude.lc 334:45-334:47 Float->Float |
1168 | testdata/Prelude.lc 334:49-334:50 Float | 1162 | testdata/Prelude.lc 334:45-334:48 Float |
1169 | testdata/Prelude.lc 334:49-334:51 Float->Float | 1163 | testdata/Prelude.lc 334:46-334:47 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1170 | testdata/Prelude.lc 334:49-334:52 Float | 1164 | testdata/Prelude.lc 334:47-334:48 Float |
1171 | testdata/Prelude.lc 334:50-334:51 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1165 | testdata/Prelude.lc 334:49-334:50 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a |
1172 | testdata/Prelude.lc 334:51-334:52 Float | 1166 | testdata/Prelude.lc 334:51-334:52 Float |
1173 | testdata/Prelude.lc 334:57-334:58 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1167 | testdata/Prelude.lc 334:51-334:53 Float->Float |
1174 | testdata/Prelude.lc 334:57-334:69 Float | 1168 | testdata/Prelude.lc 334:51-334:54 Float |
1175 | testdata/Prelude.lc 334:58-334:59 V1 | 1169 | testdata/Prelude.lc 334:52-334:53 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1176 | testdata/Prelude.lc 334:58-334:60 V2->V3 | 1170 | testdata/Prelude.lc 334:53-334:54 Float |
1177 | testdata/Prelude.lc 334:58-334:61 Float | 1171 | testdata/Prelude.lc 334:58-334:59 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1178 | testdata/Prelude.lc 334:58-334:62 Float->Float | 1172 | testdata/Prelude.lc 334:58-334:60 Float |
1179 | testdata/Prelude.lc 334:58-334:63 Float | 1173 | testdata/Prelude.lc 334:59-334:60 V1 |
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 | 1174 | 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 | 1175 | testdata/Prelude.lc 335:11-335:15 V1 -> V2 -> V3 -> VecS V4 4 |
1194 | testdata/Prelude.lc 335:11-335:33 V2 -> V3 -> VecS V4 4 | 1176 | testdata/Prelude.lc 335:11-335:29 V2 -> V3 -> VecS V4 4 |
1195 | testdata/Prelude.lc 335:11-335:49 V3 -> VecS V4 4 | 1177 | testdata/Prelude.lc 335:11-335:56 Float -> VecS Float 4 |
1196 | testdata/Prelude.lc 335:11-335:63 VecS Float 4 | 1178 | testdata/Prelude.lc 335:11-335:58 VecS Float 4 |
1197 | testdata/Prelude.lc 335:18-335:19 V1 | 1179 | testdata/Prelude.lc 335:14-335:15 V1 |
1198 | testdata/Prelude.lc 335:32-335:33 V1 | 1180 | testdata/Prelude.lc 335:28-335:29 V1 |
1199 | testdata/Prelude.lc 335:46-335:47 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1181 | testdata/Prelude.lc 335:43-335:44 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1200 | testdata/Prelude.lc 335:46-335:48 V4 | 1182 | testdata/Prelude.lc 335:43-335:55 Float |
1201 | testdata/Prelude.lc 335:47-335:48 V1 | 1183 | testdata/Prelude.lc 335:44-335:45 V1 |
1202 | testdata/Prelude.lc 335:62-335:63 V1 | 1184 | testdata/Prelude.lc 335:44-335:46 V2->V3 |
1185 | testdata/Prelude.lc 335:44-335:47 Float | ||
1186 | testdata/Prelude.lc 335:44-335:48 Float->Float | ||
1187 | testdata/Prelude.lc 335:44-335:49 Float | ||
1188 | testdata/Prelude.lc 335:44-335:50 VecScalar 1 Float -> VecScalar 1 Float | ||
1189 | testdata/Prelude.lc 335:44-335:55 VecScalar 1 Float | ||
1190 | testdata/Prelude.lc 335:45-335:46 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
1191 | testdata/Prelude.lc 335:46-335:47 Float | ||
1192 | testdata/Prelude.lc 335:47-335:48 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
1193 | testdata/Prelude.lc 335:48-335:49 Float | ||
1194 | testdata/Prelude.lc 335:49-335:50 {a} -> {b:Nat} -> {c : Num a} -> VecScalar b a -> VecScalar b a -> VecScalar b a | ||
1195 | testdata/Prelude.lc 335:51-335:52 Float | ||
1196 | testdata/Prelude.lc 335:51-335:53 Float->Float | ||
1197 | testdata/Prelude.lc 335:51-335:54 Float | ||
1198 | testdata/Prelude.lc 335:52-335:53 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
1199 | testdata/Prelude.lc 335:53-335:54 Float | ||
1200 | testdata/Prelude.lc 335:57-335:58 V1 | ||
1203 | testdata/Prelude.lc 337:9-337:10 Float | 1201 | testdata/Prelude.lc 337:9-337:10 Float |
1204 | testdata/Prelude.lc 337:9-337:11 Float->Float | 1202 | testdata/Prelude.lc 337:9-337:11 Float->Float |
1205 | testdata/Prelude.lc 337:9-337:22 Float | 1203 | testdata/Prelude.lc 337:9-337:22 Float |
@@ -1397,268 +1395,217 @@ testdata/Prelude.lc 359:36-359:39 Nat -> Nat -> Type->Type | |||
1397 | testdata/Prelude.lc 359:36-359:41 Nat -> Type->Type | 1395 | testdata/Prelude.lc 359:36-359:41 Nat -> Type->Type |
1398 | testdata/Prelude.lc 359:36-359:43 Type->Type | 1396 | testdata/Prelude.lc 359:36-359:43 Type->Type |
1399 | testdata/Prelude.lc 359:36-359:49 Type | 1397 | testdata/Prelude.lc 359:36-359:49 Type |
1400 | testdata/Prelude.lc 359:36-359:66 Type | ||
1401 | testdata/Prelude.lc 359:40-359:41 V1 | 1398 | testdata/Prelude.lc 359:40-359:41 V1 |
1402 | testdata/Prelude.lc 359:42-359:43 V1 | 1399 | testdata/Prelude.lc 359:42-359:43 V1 |
1403 | testdata/Prelude.lc 359:44-359:49 Type | 1400 | testdata/Prelude.lc 359:44-359:49 Type |
1404 | testdata/Prelude.lc 359:53-359:56 Nat -> Nat -> Type->Type | 1401 | testdata/Prelude.lc 360:1-360:17 Vec 3 Float -> Mat 4 4 Float |
1405 | testdata/Prelude.lc 359:53-359:58 Nat -> Type->Type | 1402 | testdata/Prelude.lc 360:22-360:26 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1406 | testdata/Prelude.lc 359:53-359:60 Type->Type | 1403 | testdata/Prelude.lc 360:22-360:29 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1407 | testdata/Prelude.lc 359:53-359:66 Type | 1404 | testdata/Prelude.lc 360:22-360:32 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1408 | testdata/Prelude.lc 359:57-359:58 V1 | 1405 | testdata/Prelude.lc 360:22-360:35 Vec 4 Float -> Mat 4 4 Float |
1409 | testdata/Prelude.lc 359:59-359:60 V1 | 1406 | testdata/Prelude.lc 360:22-360:38 Mat 4 4 Float |
1410 | testdata/Prelude.lc 359:61-359:66 Type | 1407 | testdata/Prelude.lc 360:22-365:25 Vec 3 Float -> Mat 4 4 Float |
1411 | testdata/Prelude.lc 360:1-360:17 Vec 3 Float -> Mat 4 4 Float -> Mat 4 4 Float | 1408 | testdata/Prelude.lc 360:27-360:29 {a} -> {b : Num a} -> VecS a 4 |
1412 | testdata/Prelude.lc 360:25-360:29 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1409 | testdata/Prelude.lc 360:30-360:32 {a} -> {b : Num a} -> VecS a 4 |
1413 | testdata/Prelude.lc 360:25-360:32 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1410 | testdata/Prelude.lc 360:33-360:35 {a} -> {b : Num a} -> VecS a 4 |
1414 | testdata/Prelude.lc 360:25-360:35 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1411 | testdata/Prelude.lc 360:36-360:38 VecS Float 4 |
1415 | testdata/Prelude.lc 360:25-360:38 Vec 4 Float -> Mat 4 4 Float | 1412 | testdata/Prelude.lc 362:9-362:11 {a} -> a -> a -> a -> a -> VecS a 4 |
1416 | testdata/Prelude.lc 360:25-360:52 Mat 4 4 Float | 1413 | testdata/Prelude.lc 362:9-362:13 V1 -> V2 -> V3 -> VecS V4 4 |
1417 | testdata/Prelude.lc 360:25-367:38 Mat 4 4 Float -> Mat 4 4 Float | Vec 3 Float -> Mat 4 4 Float -> Mat 4 4 Float | 1414 | testdata/Prelude.lc 362:9-362:15 V2 -> V3 -> VecS V4 4 |
1418 | testdata/Prelude.lc 360:30-360:32 Vec 4 Float | 1415 | testdata/Prelude.lc 362:9-362:17 V2 -> VecS V3 4 |
1419 | testdata/Prelude.lc 360:33-360:35 Vec 4 Float | 1416 | testdata/Prelude.lc 362:9-362:19 VecS V2 4 |
1420 | testdata/Prelude.lc 360:36-360:38 Vec 4 Float | 1417 | testdata/Prelude.lc 362:12-362:13 V1 |
1421 | testdata/Prelude.lc 360:40-360:44 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 | 1418 | testdata/Prelude.lc 362:14-362:15 V1 |
1422 | testdata/Prelude.lc 360:40-360:46 VecS Float 4 | 1419 | testdata/Prelude.lc 362:16-362:17 V1 |
1423 | testdata/Prelude.lc 360:40-360:48 VecS Float 4 -> VecS Float 4 | 1420 | testdata/Prelude.lc 362:18-362:19 V1 |
1424 | testdata/Prelude.lc 360:40-360:51 VecS Float 4 | 1421 | testdata/Prelude.lc 363:9-363:11 {a} -> a -> a -> a -> a -> VecS a 4 |
1425 | testdata/Prelude.lc 360:45-360:46 Vec 3 Float | 1422 | testdata/Prelude.lc 363:9-363:13 V1 -> V2 -> V3 -> VecS V4 4 |
1426 | testdata/Prelude.lc 360:47-360:48 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1423 | testdata/Prelude.lc 363:9-363:15 V2 -> V3 -> VecS V4 4 |
1427 | testdata/Prelude.lc 360:49-360:51 Vec 4 Float | 1424 | testdata/Prelude.lc 363:9-363:17 V2 -> VecS V3 4 |
1428 | testdata/Prelude.lc 362:13-362:15 {a} -> a -> a -> a -> a -> VecS a 4 | 1425 | testdata/Prelude.lc 363:9-363:19 VecS V2 4 |
1429 | testdata/Prelude.lc 362:13-362:19 V1 -> V2 -> V3 -> VecS V4 4 | 1426 | testdata/Prelude.lc 363:12-363:13 V1 |
1430 | testdata/Prelude.lc 362:13-362:23 V1 -> V2 -> VecS V3 4 | 1427 | testdata/Prelude.lc 363:14-363:15 V1 |
1431 | testdata/Prelude.lc 362:13-362:27 V1 -> VecS V2 4 | 1428 | testdata/Prelude.lc 363:16-363:17 V1 |
1432 | testdata/Prelude.lc 362:13-362:29 VecS V2 4 | ||
1433 | testdata/Prelude.lc 362:16-362:17 V4 | ||
1434 | testdata/Prelude.lc 362:16-362:19 V1 | ||
1435 | testdata/Prelude.lc 362:20-362:21 VecS V3 V2 | ||
1436 | testdata/Prelude.lc 362:20-362:23 V1 | ||
1437 | testdata/Prelude.lc 362:24-362:25 VecS V3 V2 | ||
1438 | testdata/Prelude.lc 362:24-362:27 V1 | ||
1439 | testdata/Prelude.lc 362:28-362:29 V1 | ||
1440 | testdata/Prelude.lc 363:9-363:11 Mat 4 4 Float | ||
1441 | testdata/Prelude.lc 363:9-363:14 VecS Float 4 -> Vec 4 Float | ||
1442 | testdata/Prelude.lc 363:9-363:25 Vec 4 Float | ||
1443 | testdata/Prelude.lc 363:12-363:14 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> Vec a c | ||
1444 | testdata/Prelude.lc 363:15-363:17 {a} -> a -> a -> a -> a -> VecS a 4 | ||
1445 | testdata/Prelude.lc 363:15-363:19 V1 -> V2 -> V3 -> VecS V4 4 | ||
1446 | testdata/Prelude.lc 363:15-363:21 V2 -> V3 -> VecS V4 4 | ||
1447 | testdata/Prelude.lc 363:15-363:23 V2 -> VecS V3 4 | ||
1448 | testdata/Prelude.lc 363:15-363:25 VecS Float 4 | ||
1449 | testdata/Prelude.lc 363:18-363:19 V1 | 1429 | testdata/Prelude.lc 363:18-363:19 V1 |
1450 | testdata/Prelude.lc 363:20-363:21 V1 | 1430 | testdata/Prelude.lc 364:9-364:11 {a} -> a -> a -> a -> a -> VecS a 4 |
1451 | testdata/Prelude.lc 363:22-363:23 V1 | 1431 | testdata/Prelude.lc 364:9-364:13 V1 -> V2 -> V3 -> VecS V4 4 |
1452 | testdata/Prelude.lc 363:24-363:25 V1 | 1432 | testdata/Prelude.lc 364:9-364:15 V2 -> V3 -> VecS V4 4 |
1453 | testdata/Prelude.lc 364:9-364:11 Mat 4 4 Float | 1433 | testdata/Prelude.lc 364:9-364:17 V2 -> VecS V3 4 |
1454 | testdata/Prelude.lc 364:9-364:14 VecS Float 4 -> Vec 4 Float | 1434 | testdata/Prelude.lc 364:9-364:19 VecS V2 4 |
1455 | testdata/Prelude.lc 364:9-364:25 Vec 4 Float | 1435 | testdata/Prelude.lc 364:12-364:13 V1 |
1456 | testdata/Prelude.lc 364:12-364:14 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> Vec a c | 1436 | testdata/Prelude.lc 364:14-364:15 V1 |
1457 | testdata/Prelude.lc 364:15-364:17 {a} -> a -> a -> a -> a -> VecS a 4 | 1437 | testdata/Prelude.lc 364:16-364:17 V1 |
1458 | testdata/Prelude.lc 364:15-364:19 V1 -> V2 -> V3 -> VecS V4 4 | ||
1459 | testdata/Prelude.lc 364:15-364:21 V2 -> V3 -> VecS V4 4 | ||
1460 | testdata/Prelude.lc 364:15-364:23 V2 -> VecS V3 4 | ||
1461 | testdata/Prelude.lc 364:15-364:25 VecS Float 4 | ||
1462 | testdata/Prelude.lc 364:18-364:19 V1 | 1438 | testdata/Prelude.lc 364:18-364:19 V1 |
1463 | testdata/Prelude.lc 364:20-364:21 V1 | 1439 | testdata/Prelude.lc 365:9-365:11 {a} -> a -> a -> a -> a -> VecS a 4 |
1464 | testdata/Prelude.lc 364:22-364:23 V1 | 1440 | testdata/Prelude.lc 365:9-365:15 Float -> Float -> Float -> VecS Float 4 |
1465 | testdata/Prelude.lc 364:24-364:25 V1 | 1441 | testdata/Prelude.lc 365:9-365:19 Float -> Float -> VecS Float 4 |
1466 | testdata/Prelude.lc 365:9-365:11 Mat 4 4 Float | 1442 | testdata/Prelude.lc 365:9-365:23 Float -> VecS Float 4 |
1467 | testdata/Prelude.lc 365:9-365:14 VecS Float 4 -> Vec 4 Float | 1443 | testdata/Prelude.lc 365:9-365:25 VecS Float 4 |
1468 | testdata/Prelude.lc 365:9-365:25 Vec 4 Float | 1444 | testdata/Prelude.lc 365:12-365:13 Vec 3 Float |
1469 | testdata/Prelude.lc 365:12-365:14 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> Vec a c | 1445 | testdata/Prelude.lc 365:12-365:15 Float |
1470 | testdata/Prelude.lc 365:15-365:17 {a} -> a -> a -> a -> a -> VecS a 4 | 1446 | testdata/Prelude.lc 365:16-365:17 Vec 3 Float |
1471 | testdata/Prelude.lc 365:15-365:19 V1 -> V2 -> V3 -> VecS V4 4 | 1447 | testdata/Prelude.lc 365:16-365:19 Float |
1472 | testdata/Prelude.lc 365:15-365:21 V2 -> V3 -> VecS V4 4 | 1448 | testdata/Prelude.lc 365:20-365:21 Vec 3 Float |
1473 | testdata/Prelude.lc 365:15-365:23 V2 -> VecS V3 4 | 1449 | testdata/Prelude.lc 365:20-365:23 Float |
1474 | testdata/Prelude.lc 365:15-365:25 VecS Float 4 | ||
1475 | testdata/Prelude.lc 365:18-365:19 V1 | ||
1476 | testdata/Prelude.lc 365:20-365:21 V1 | ||
1477 | testdata/Prelude.lc 365:22-365:23 V1 | ||
1478 | testdata/Prelude.lc 365:24-365:25 V1 | 1450 | testdata/Prelude.lc 365:24-365:25 V1 |
1479 | testdata/Prelude.lc 366:9-366:11 Mat 4 4 Float | 1451 | testdata/Prelude.lc 368:11-368:14 Nat -> Type->Type |
1480 | testdata/Prelude.lc 366:9-366:14 VecS Float 4 -> Vec 4 Float | 1452 | testdata/Prelude.lc 368:11-368:16 Type->Type |
1481 | testdata/Prelude.lc 366:9-366:25 Vec 4 Float | 1453 | testdata/Prelude.lc 368:11-368:22 Type |
1482 | testdata/Prelude.lc 366:12-366:14 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> VecS c b -> Vec a c | 1454 | testdata/Prelude.lc 368:15-368:16 V1 |
1483 | testdata/Prelude.lc 366:15-366:17 {a} -> a -> a -> a -> a -> VecS a 4 | 1455 | testdata/Prelude.lc 368:17-368:22 Type |
1484 | testdata/Prelude.lc 366:15-366:19 V1 -> V2 -> V3 -> VecS V4 4 | 1456 | testdata/Prelude.lc 369:11-369:14 Nat -> Type->Type |
1485 | testdata/Prelude.lc 366:15-366:21 V2 -> V3 -> VecS V4 4 | 1457 | testdata/Prelude.lc 369:11-369:16 Type->Type |
1486 | testdata/Prelude.lc 366:15-366:23 V2 -> VecS V3 4 | 1458 | testdata/Prelude.lc 369:11-369:22 Type |
1487 | testdata/Prelude.lc 366:15-366:25 VecS Float 4 | 1459 | testdata/Prelude.lc 369:11-371:24 Type |
1488 | testdata/Prelude.lc 366:18-366:19 V1 | 1460 | testdata/Prelude.lc 369:15-369:16 V1 |
1489 | testdata/Prelude.lc 366:20-366:21 V1 | 1461 | testdata/Prelude.lc 369:17-369:22 Type |
1490 | testdata/Prelude.lc 366:22-366:23 V1 | ||
1491 | testdata/Prelude.lc 366:24-366:25 V1 | ||
1492 | testdata/Prelude.lc 367:8-367:9 Vec 3 Float | ||
1493 | testdata/Prelude.lc 367:8-367:12 Mat 3 V0 Float -> Vec V1 Float | ||
1494 | testdata/Prelude.lc 367:8-367:38 Vec 3 Float | ||
1495 | testdata/Prelude.lc 367:10-367:12 {a:Nat} -> {b} -> {c:Nat} -> VecS b a -> Mat a c b -> Vec c b | ||
1496 | testdata/Prelude.lc 367:13-367:17 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 3 Float | ||
1497 | testdata/Prelude.lc 367:13-367:24 Vec 3 Float -> Vec 3 Float -> Mat 3 3 Float | ||
1498 | testdata/Prelude.lc 367:13-367:31 Vec 3 Float -> Mat 3 3 Float | ||
1499 | testdata/Prelude.lc 367:13-367:38 Mat 3 3 Float | ||
1500 | testdata/Prelude.lc 367:18-367:20 Vec 4 Float | ||
1501 | testdata/Prelude.lc 367:18-367:24 VecS Float 3 | ||
1502 | testdata/Prelude.lc 367:25-367:27 Vec 4 Float | ||
1503 | testdata/Prelude.lc 367:25-367:31 VecS Float 3 | ||
1504 | testdata/Prelude.lc 367:32-367:34 Vec 4 Float | ||
1505 | testdata/Prelude.lc 367:32-367:38 VecS Float 3 | ||
1506 | testdata/Prelude.lc 370:11-370:14 Nat -> Type->Type | 1462 | testdata/Prelude.lc 370:11-370:14 Nat -> Type->Type |
1507 | testdata/Prelude.lc 370:11-370:16 Type->Type | 1463 | testdata/Prelude.lc 370:11-370:16 Type->Type |
1508 | testdata/Prelude.lc 370:11-370:22 Type | 1464 | testdata/Prelude.lc 370:11-370:22 Type |
1465 | testdata/Prelude.lc 370:11-371:24 Type | ||
1509 | testdata/Prelude.lc 370:15-370:16 V1 | 1466 | testdata/Prelude.lc 370:15-370:16 V1 |
1510 | testdata/Prelude.lc 370:17-370:22 Type | 1467 | testdata/Prelude.lc 370:17-370:22 Type |
1511 | testdata/Prelude.lc 371:11-371:14 Nat -> Type->Type | 1468 | testdata/Prelude.lc 371:11-371:14 Nat -> Nat -> Type->Type |
1512 | testdata/Prelude.lc 371:11-371:16 Type->Type | 1469 | testdata/Prelude.lc 371:11-371:16 Nat -> Type->Type |
1513 | testdata/Prelude.lc 371:11-371:22 Type | 1470 | testdata/Prelude.lc 371:11-371:18 Type->Type |
1514 | testdata/Prelude.lc 371:11-373:24 Type | 1471 | testdata/Prelude.lc 371:11-371:24 Type |
1515 | testdata/Prelude.lc 371:15-371:16 V1 | 1472 | testdata/Prelude.lc 371:15-371:16 V1 |
1516 | testdata/Prelude.lc 371:17-371:22 Type | 1473 | testdata/Prelude.lc 371:17-371:18 V1 |
1517 | testdata/Prelude.lc 372:11-372:14 Nat -> Type->Type | 1474 | testdata/Prelude.lc 371:19-371:24 Type |
1518 | testdata/Prelude.lc 372:11-372:16 Type->Type | 1475 | testdata/Prelude.lc 372:1-372:7 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float |
1519 | testdata/Prelude.lc 372:11-372:22 Type | 1476 | testdata/Prelude.lc 372:24-372:25 Mat 4 4 Float |
1520 | testdata/Prelude.lc 372:11-373:24 Type | 1477 | testdata/Prelude.lc 372:24-372:29 Mat 4 V0 Float -> Mat 4 V1 Float |
1521 | testdata/Prelude.lc 372:15-372:16 V1 | 1478 | testdata/Prelude.lc 372:24-372:56 Mat 4 4 Float |
1522 | testdata/Prelude.lc 372:17-372:22 Type | 1479 | testdata/Prelude.lc 372:24-378: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 |
1523 | testdata/Prelude.lc 373:11-373:14 Nat -> Nat -> Type->Type | 1480 | testdata/Prelude.lc 372:26-372:29 {a:Nat} -> {b:Nat} -> {c} -> {d:Nat} -> Mat a b c -> Mat b d c -> Mat a d c |
1524 | testdata/Prelude.lc 373:11-373:16 Nat -> Type->Type | 1481 | testdata/Prelude.lc 372:30-372:46 Vec 3 Float -> Mat 4 4 Float |
1525 | testdata/Prelude.lc 373:11-373:18 Type->Type | 1482 | testdata/Prelude.lc 372:30-372:56 Mat 4 4 Float |
1526 | testdata/Prelude.lc 373:11-373:24 Type | 1483 | testdata/Prelude.lc 372:48-372:51 {a} -> {b : Signed (MatVecScalarElem a)} -> a->a |
1527 | testdata/Prelude.lc 373:15-373:16 V1 | 1484 | testdata/Prelude.lc 372:48-372:55 VecS Float 3 |
1528 | testdata/Prelude.lc 373:17-373:18 V1 | 1485 | testdata/Prelude.lc 372:52-372:55 Vec 3 Float |
1529 | testdata/Prelude.lc 373:19-373:24 Type | 1486 | testdata/Prelude.lc 374:14-374:16 {a} -> a -> a -> a -> a -> VecS a 4 |
1530 | testdata/Prelude.lc 374:1-374:7 Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 4 4 Float | 1487 | testdata/Prelude.lc 374:14-374:20 V1 -> V2 -> V3 -> VecS V4 4 |
1531 | testdata/Prelude.lc 374:24-374:40 Vec 3 Float -> Mat 4 4 Float -> Mat 4 4 Float | 1488 | testdata/Prelude.lc 374:14-374:24 V1 -> V2 -> VecS V3 4 |
1532 | testdata/Prelude.lc 374:24-374:50 Mat 4 4 Float -> Mat 4 4 Float | 1489 | testdata/Prelude.lc 374:14-374:28 V1 -> VecS V2 4 |
1533 | testdata/Prelude.lc 374:24-374:52 Mat 4 4 Float | 1490 | testdata/Prelude.lc 374:14-374:30 VecS V2 4 |
1534 | testdata/Prelude.lc 374:24-380: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 | 1491 | testdata/Prelude.lc 374:17-374:18 V4 |
1535 | testdata/Prelude.lc 374:42-374:45 {a} -> {b : Signed (MatVecScalarElem a)} -> a->a | 1492 | testdata/Prelude.lc 374:17-374:20 V1 |
1536 | testdata/Prelude.lc 374:42-374:49 VecS Float 3 | 1493 | testdata/Prelude.lc 374:21-374:22 VecS V3 V2 |
1537 | testdata/Prelude.lc 374:46-374:49 Vec 3 Float | 1494 | testdata/Prelude.lc 374:21-374:24 V1 |
1538 | testdata/Prelude.lc 374:51-374:52 Mat 4 4 Float | 1495 | testdata/Prelude.lc 374:25-374:26 VecS V3 V2 |
1539 | testdata/Prelude.lc 376:14-376:16 {a} -> a -> a -> a -> a -> VecS a 4 | 1496 | testdata/Prelude.lc 374:25-374:28 V1 |
1540 | testdata/Prelude.lc 376:14-376:20 V1 -> V2 -> V3 -> VecS V4 4 | 1497 | testdata/Prelude.lc 374:29-374:30 V1 |
1541 | testdata/Prelude.lc 376:14-376:24 V1 -> V2 -> VecS V3 4 | 1498 | testdata/Prelude.lc 375:9-375:18 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a |
1542 | testdata/Prelude.lc 376:14-376:28 V1 -> VecS V2 4 | 1499 | testdata/Prelude.lc 375:9-375:20 VecScalar V0 Float -> VecScalar V1 Float |
1543 | testdata/Prelude.lc 376:14-376:30 VecS V2 4 | 1500 | testdata/Prelude.lc 375:9-375:33 VecScalar 3 Float |
1544 | testdata/Prelude.lc 376:17-376:18 V4 | 1501 | testdata/Prelude.lc 375:19-375:20 {a} -> {b} -> a->b -> a->b |
1545 | testdata/Prelude.lc 376:17-376:20 V1 | 1502 | testdata/Prelude.lc 375:21-375:24 Vec 3 Float |
1546 | testdata/Prelude.lc 376:21-376:22 VecS V3 V2 | 1503 | testdata/Prelude.lc 375:21-375:26 VecS Float 3 -> VecS Float 3 |
1547 | testdata/Prelude.lc 376:21-376:24 V1 | 1504 | testdata/Prelude.lc 375:21-375:33 VecS Float 3 |
1548 | testdata/Prelude.lc 376:25-376:26 VecS V3 V2 | 1505 | testdata/Prelude.lc 375:25-375:26 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1549 | testdata/Prelude.lc 376:25-376:28 V1 | 1506 | testdata/Prelude.lc 375:27-375:33 Vec 3 Float |
1550 | testdata/Prelude.lc 376:29-376:30 V1 | 1507 | testdata/Prelude.lc 376:9-376:18 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a |
1551 | testdata/Prelude.lc 377:9-377:18 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a | 1508 | testdata/Prelude.lc 376:9-376:20 VecScalar V0 Float -> VecScalar V1 Float |
1552 | testdata/Prelude.lc 377:9-377:20 VecScalar V0 Float -> VecScalar V1 Float | 1509 | testdata/Prelude.lc 376:9-376:33 VecScalar 3 Float |
1553 | testdata/Prelude.lc 377:9-377:33 VecScalar 3 Float | 1510 | testdata/Prelude.lc 376:19-376:20 {a} -> {b} -> a->b -> a->b |
1554 | testdata/Prelude.lc 377:19-377:20 {a} -> {b} -> a->b -> a->b | 1511 | testdata/Prelude.lc 376:21-376:23 Vec 3 Float |
1555 | testdata/Prelude.lc 377:21-377:24 Vec 3 Float | 1512 | testdata/Prelude.lc 376:21-376:31 VecS Float 3 -> VecS Float 3 |
1556 | testdata/Prelude.lc 377:21-377:26 VecS Float 3 -> VecS Float 3 | 1513 | testdata/Prelude.lc 376:21-376:33 VecS Float 3 |
1557 | testdata/Prelude.lc 377:21-377:33 VecS Float 3 | 1514 | testdata/Prelude.lc 376:24-376:31 {a} -> {b : a ~ VecS Float 3} -> a -> a->a |
1558 | testdata/Prelude.lc 377:25-377:26 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1515 | testdata/Prelude.lc 376:32-376:33 VecScalar 3 Float |
1559 | testdata/Prelude.lc 377:27-377:33 Vec 3 Float | 1516 | testdata/Prelude.lc 377:9-377:10 VecScalar 3 Float |
1560 | testdata/Prelude.lc 378:9-378:18 {a} -> {b:Nat} -> {c : a ~ VecScalar b Float} -> a->a | 1517 | testdata/Prelude.lc 377:9-377:18 VecS Float 3 -> VecS Float 3 |
1561 | testdata/Prelude.lc 378:9-378:20 VecScalar V0 Float -> VecScalar V1 Float | 1518 | testdata/Prelude.lc 377:9-377:20 VecS Float 3 |
1562 | testdata/Prelude.lc 378:9-378:33 VecScalar 3 Float | 1519 | testdata/Prelude.lc 377:11-377:18 {a} -> {b : a ~ VecS Float 3} -> a -> a->a |
1520 | testdata/Prelude.lc 377:19-377:20 VecScalar 3 Float | ||
1521 | testdata/Prelude.lc 378:9-378:18 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c | ||
1522 | testdata/Prelude.lc 378:9-378:20 Mat V2 V1 V0 -> Mat V2 V3 V1 | ||
1523 | testdata/Prelude.lc 378:9-378:65 Mat 4 4 Float | ||
1563 | testdata/Prelude.lc 378:19-378:20 {a} -> {b} -> a->b -> a->b | 1524 | testdata/Prelude.lc 378:19-378:20 {a} -> {b} -> a->b -> a->b |
1564 | testdata/Prelude.lc 378:21-378:23 Vec 3 Float | 1525 | testdata/Prelude.lc 378:21-378:25 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1565 | testdata/Prelude.lc 378:21-378:31 VecS Float 3 -> VecS Float 3 | 1526 | testdata/Prelude.lc 378:21-378:34 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1566 | testdata/Prelude.lc 378:21-378:33 VecS Float 3 | 1527 | testdata/Prelude.lc 378:21-378:43 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1567 | testdata/Prelude.lc 378:24-378:31 {a} -> {b : a ~ VecS Float 3} -> a -> a->a | 1528 | testdata/Prelude.lc 378:21-378:52 Vec 4 Float -> Mat 4 4 Float |
1529 | testdata/Prelude.lc 378:21-378:65 Mat 4 4 Float | ||
1530 | testdata/Prelude.lc 378:27-378:31 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 | ||
1531 | testdata/Prelude.lc 378:27-378:33 VecS Float 4 | ||
1568 | testdata/Prelude.lc 378:32-378:33 VecScalar 3 Float | 1532 | testdata/Prelude.lc 378:32-378:33 VecScalar 3 Float |
1569 | testdata/Prelude.lc 379:9-379:10 VecScalar 3 Float | 1533 | testdata/Prelude.lc 378:36-378:40 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 |
1570 | testdata/Prelude.lc 379:9-379:18 VecS Float 3 -> VecS Float 3 | 1534 | testdata/Prelude.lc 378:36-378:42 VecS Float 4 |
1571 | testdata/Prelude.lc 379:9-379:20 VecS Float 3 | 1535 | testdata/Prelude.lc 378:41-378:42 VecS Float 3 |
1572 | testdata/Prelude.lc 379:11-379:18 {a} -> {b : a ~ VecS Float 3} -> a -> a->a | 1536 | testdata/Prelude.lc 378:45-378:49 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 |
1573 | testdata/Prelude.lc 379:19-379:20 VecScalar 3 Float | 1537 | testdata/Prelude.lc 378:45-378:51 VecS Float 4 |
1574 | testdata/Prelude.lc 380:9-380:18 {a:Nat} -> {b:Nat} -> {c} -> Mat a b c -> Mat b a c | 1538 | testdata/Prelude.lc 378:50-378:51 VecScalar 3 Float |
1575 | testdata/Prelude.lc 380:9-380:20 Mat V2 V1 V0 -> Mat V2 V3 V1 | 1539 | testdata/Prelude.lc 378:54-378:56 {a} -> a -> a -> a -> a -> VecS a 4 |
1576 | testdata/Prelude.lc 380:9-380:65 Mat 4 4 Float | 1540 | testdata/Prelude.lc 378:54-378:58 V1 -> V2 -> V3 -> VecS V4 4 |
1577 | testdata/Prelude.lc 380:19-380:20 {a} -> {b} -> a->b -> a->b | 1541 | testdata/Prelude.lc 378:54-378:60 V2 -> V3 -> VecS V4 4 |
1578 | testdata/Prelude.lc 380:21-380:25 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1542 | testdata/Prelude.lc 378:54-378:62 V2 -> VecS V3 4 |
1579 | testdata/Prelude.lc 380:21-380:34 Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1543 | testdata/Prelude.lc 378:54-378:64 VecS Float 4 |
1580 | testdata/Prelude.lc 380:21-380:43 Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1544 | testdata/Prelude.lc 378:57-378:58 V1 |
1581 | testdata/Prelude.lc 380:21-380:52 Vec 4 Float -> Mat 4 4 Float | 1545 | testdata/Prelude.lc 378:59-378:60 V1 |
1582 | testdata/Prelude.lc 380:21-380:65 Mat 4 4 Float | 1546 | testdata/Prelude.lc 378:61-378:62 V1 |
1583 | testdata/Prelude.lc 380:27-380:31 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 | 1547 | testdata/Prelude.lc 378:63-378:64 V1 |
1584 | testdata/Prelude.lc 380:27-380:33 VecS Float 4 | 1548 | testdata/Prelude.lc 380:1-380:6 Float -> VecS Float 4 -> VecS Float 4 |
1585 | testdata/Prelude.lc 380:32-380:33 VecScalar 3 Float | 1549 | testdata/Prelude.lc 380:13-380:14 V3 |
1586 | testdata/Prelude.lc 380:36-380:40 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 | 1550 | testdata/Prelude.lc 380:13-380:16 V2->V3 |
1587 | testdata/Prelude.lc 380:36-380:42 VecS Float 4 | 1551 | testdata/Prelude.lc 380:13-380:29 VecS Float 4 |
1588 | testdata/Prelude.lc 380:41-380:42 VecS Float 3 | 1552 | testdata/Prelude.lc 380:15-380:16 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1589 | testdata/Prelude.lc 380:45-380:49 {a} -> {b:Nat} -> {c : Num a} -> VecS a b -> VecS a 4 | 1553 | testdata/Prelude.lc 380:17-380:19 {a} -> a -> a -> a -> a -> VecS a 4 |
1590 | testdata/Prelude.lc 380:45-380:51 VecS Float 4 | 1554 | testdata/Prelude.lc 380:17-380:21 V4 -> V5 -> V6 -> VecS V7 4 |
1591 | testdata/Prelude.lc 380:50-380:51 VecScalar 3 Float | 1555 | testdata/Prelude.lc 380:17-380:23 V4 -> V5 -> VecS V6 4 |
1592 | testdata/Prelude.lc 380:54-380:56 {a} -> a -> a -> a -> a -> VecS a 4 | 1556 | testdata/Prelude.lc 380:17-380:25 V4 -> VecS V5 4 |
1593 | testdata/Prelude.lc 380:54-380:58 V1 -> V2 -> V3 -> VecS V4 4 | 1557 | testdata/Prelude.lc 380:17-380:29 VecS Float 4 |
1594 | testdata/Prelude.lc 380:54-380:60 V2 -> V3 -> VecS V4 4 | 1558 | testdata/Prelude.lc 380:20-380:21 V5 |
1595 | testdata/Prelude.lc 380:54-380:62 V2 -> VecS V3 4 | 1559 | testdata/Prelude.lc 380:22-380:23 V4 |
1596 | testdata/Prelude.lc 380:54-380:64 VecS Float 4 | 1560 | testdata/Prelude.lc 380:24-380:25 V4 |
1597 | testdata/Prelude.lc 380:57-380:58 V1 | 1561 | testdata/Prelude.lc 380:26-380:29 Float |
1598 | testdata/Prelude.lc 380:59-380:60 V1 | 1562 | testdata/Prelude.lc 382:11-382:16 Type |
1599 | testdata/Prelude.lc 380:61-380:62 V1 | 1563 | testdata/Prelude.lc 382:11-385:38 Float -> Float -> List Float | V0->V1 |
1600 | testdata/Prelude.lc 380:63-380:64 V1 | 1564 | testdata/Prelude.lc 382:20-382:25 Type |
1601 | testdata/Prelude.lc 383:1-383:6 Float -> VecS Float 4 -> VecS Float 4 | 1565 | testdata/Prelude.lc 382:20-382:36 Type |
1602 | testdata/Prelude.lc 383:13-383:14 V3 | 1566 | testdata/Prelude.lc 382:29-382:36 Type |
1603 | testdata/Prelude.lc 383:13-383:16 V2->V3 | 1567 | testdata/Prelude.lc 382:30-382:35 Type |
1604 | testdata/Prelude.lc 383:13-383:29 VecS Float 4 | 1568 | testdata/Prelude.lc 383:1-383:7 Float -> Float -> List Float |
1605 | testdata/Prelude.lc 383:15-383:16 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1569 | testdata/Prelude.lc 384:7-384:8 Float |
1606 | testdata/Prelude.lc 383:17-383:19 {a} -> a -> a -> a -> a -> VecS a 4 | 1570 | testdata/Prelude.lc 384:7-384:10 VecScalar 1 Float -> VecScalar 1 Bool |
1607 | testdata/Prelude.lc 383:17-383:21 V4 -> V5 -> V6 -> VecS V7 4 | 1571 | testdata/Prelude.lc 384:7-384:12 VecScalar 1 Bool |
1608 | testdata/Prelude.lc 383:17-383:23 V4 -> V5 -> VecS V6 4 | 1572 | testdata/Prelude.lc 384:7-385:38 Float -> Float -> List Float | Float -> List Float | List Float |
1609 | testdata/Prelude.lc 383:17-383:25 V4 -> VecS V5 4 | 1573 | testdata/Prelude.lc 384:9-384:10 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool |
1610 | testdata/Prelude.lc 383:17-383:29 VecS Float 4 | 1574 | testdata/Prelude.lc 384:11-384:12 Float |
1611 | testdata/Prelude.lc 383:20-383:21 V5 | 1575 | testdata/Prelude.lc 384:15-384:17 {a} -> List a |
1612 | testdata/Prelude.lc 383:22-383:23 V4 | 1576 | testdata/Prelude.lc 384:15-385:38 Bool -> List Float |
1613 | testdata/Prelude.lc 383:24-383:25 V4 | 1577 | testdata/Prelude.lc 385:7-385:16 Bool |
1614 | testdata/Prelude.lc 383:26-383:29 Float | 1578 | testdata/Prelude.lc 385:7-385:38 List Float |
1615 | testdata/Prelude.lc 385:11-385:16 Type | 1579 | testdata/Prelude.lc 385:19-385:20 Float |
1616 | testdata/Prelude.lc 385:11-388:38 Float -> Float -> List Float | V0->V1 | 1580 | testdata/Prelude.lc 385:19-385:21 List Float -> List Float |
1617 | testdata/Prelude.lc 385:20-385:25 Type | 1581 | testdata/Prelude.lc 385:19-385:38 List Float |
1618 | testdata/Prelude.lc 385:20-385:36 Type | 1582 | testdata/Prelude.lc 385:20-385:21 {a} -> a -> List a -> List a |
1619 | testdata/Prelude.lc 385:29-385:36 Type | 1583 | testdata/Prelude.lc 385:22-385:28 Float -> Float -> List Float |
1620 | testdata/Prelude.lc 385:30-385:35 Type | 1584 | testdata/Prelude.lc 385:22-385:36 Float -> List Float |
1621 | testdata/Prelude.lc 386:1-386:7 Float -> Float -> List Float | 1585 | testdata/Prelude.lc 385:22-385:38 List Float |
1622 | testdata/Prelude.lc 387:7-387:8 Float | 1586 | testdata/Prelude.lc 385:30-385:31 Float |
1623 | testdata/Prelude.lc 387:7-387:10 VecScalar 1 Float -> VecScalar 1 Bool | 1587 | testdata/Prelude.lc 385:30-385:33 Float->Float |
1624 | testdata/Prelude.lc 387:7-387:12 VecScalar 1 Bool | 1588 | testdata/Prelude.lc 385:30-385:35 Float |
1625 | testdata/Prelude.lc 387:7-388:38 Float -> Float -> List Float | Float -> List Float | List Float | 1589 | testdata/Prelude.lc 385:32-385:33 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1626 | testdata/Prelude.lc 387:9-387:10 {a:Nat} -> {b} -> {c : Num b} -> VecScalar a b -> VecScalar a b -> VecScalar a Bool | 1590 | testdata/Prelude.lc 385:34-385:35 V1 |
1627 | testdata/Prelude.lc 387:11-387:12 Float | 1591 | testdata/Prelude.lc 385:37-385:38 Float |
1628 | testdata/Prelude.lc 387:15-387:17 {a} -> List a | 1592 | testdata/Prelude.lc 387:9-387:24 Type |
1629 | testdata/Prelude.lc 387:15-388:38 Bool -> List Float | 1593 | testdata/Prelude.lc 387:9-389:30 V0->V1 | {a} -> List a -> Int->a |
1630 | testdata/Prelude.lc 388:7-388:16 Bool | 1594 | testdata/Prelude.lc 387:10-387:11 V1 |
1631 | testdata/Prelude.lc 388:7-388:38 List Float | 1595 | testdata/Prelude.lc 387:16-387:19 Type |
1632 | testdata/Prelude.lc 388:19-388:20 Float | 1596 | testdata/Prelude.lc 387:16-387:24 Type |
1633 | testdata/Prelude.lc 388:19-388:21 List Float -> List Float | 1597 | testdata/Prelude.lc 387:23-387:24 Type |
1634 | testdata/Prelude.lc 388:19-388:38 List Float | 1598 | testdata/Prelude.lc 388:4-388:5 List V2 |
1635 | testdata/Prelude.lc 388:20-388:21 {a} -> a -> List a -> List a | 1599 | testdata/Prelude.lc 388:4-389:30 Int->V2 | List V0 -> Int->V2 | V2 |
1636 | testdata/Prelude.lc 388:22-388:28 Float -> Float -> List Float | 1600 | testdata/Prelude.lc 388:10-388:12 {a} -> List a -> Int->a |
1637 | testdata/Prelude.lc 388:22-388:36 Float -> List Float | 1601 | testdata/Prelude.lc 388:19-388:20 V3 |
1638 | testdata/Prelude.lc 388:22-388:38 List Float | 1602 | testdata/Prelude.lc 388:19-389:30 Bool->V4 | List V2 -> V2 | V1 -> List V2 -> V2 | V2 |
1639 | testdata/Prelude.lc 388:30-388:31 Float | 1603 | testdata/Prelude.lc 389:19-389:21 List V5 |
1640 | testdata/Prelude.lc 388:30-388:33 Float->Float | 1604 | testdata/Prelude.lc 389:19-389:24 Int->V5 |
1641 | testdata/Prelude.lc 388:30-388:35 Float | 1605 | testdata/Prelude.lc 389:19-389:30 V3 |
1642 | testdata/Prelude.lc 388:32-388:33 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | 1606 | testdata/Prelude.lc 389:22-389:24 {a} -> List a -> Int->a |
1643 | testdata/Prelude.lc 388:34-388:35 V1 | 1607 | testdata/Prelude.lc 389:26-389:27 Int |
1644 | testdata/Prelude.lc 388:37-388:38 Float | 1608 | testdata/Prelude.lc 389:26-389:28 Int->Int |
1645 | testdata/Prelude.lc 390:9-390:24 Type | 1609 | testdata/Prelude.lc 389:26-389:29 Int |
1646 | testdata/Prelude.lc 390:9-392:30 V0->V1 | {a} -> List a -> Int->a | 1610 | testdata/Prelude.lc 389:27-389:28 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a |
1647 | testdata/Prelude.lc 390:10-390:11 V1 | 1611 | testdata/Prelude.lc 389:28-389:29 V1 |
1648 | testdata/Prelude.lc 390:16-390:19 Type | ||
1649 | testdata/Prelude.lc 390:16-390:24 Type | ||
1650 | testdata/Prelude.lc 390:23-390:24 Type | ||
1651 | testdata/Prelude.lc 391:4-391:5 List V2 | ||
1652 | testdata/Prelude.lc 391:4-392:30 Int->V2 | List V0 -> Int->V2 | V2 | ||
1653 | testdata/Prelude.lc 391:10-391:12 {a} -> List a -> Int->a | ||
1654 | testdata/Prelude.lc 391:19-391:20 V3 | ||
1655 | testdata/Prelude.lc 391:19-392:30 Bool->V4 | List V2 -> V2 | V1 -> List V2 -> V2 | V2 | ||
1656 | testdata/Prelude.lc 392:19-392:21 List V5 | ||
1657 | testdata/Prelude.lc 392:19-392:24 Int->V5 | ||
1658 | testdata/Prelude.lc 392:19-392:30 V3 | ||
1659 | testdata/Prelude.lc 392:22-392:24 {a} -> List a -> Int->a | ||
1660 | testdata/Prelude.lc 392:26-392:27 Int | ||
1661 | testdata/Prelude.lc 392:26-392:28 Int->Int | ||
1662 | testdata/Prelude.lc 392:26-392:29 Int | ||
1663 | testdata/Prelude.lc 392:27-392:28 {a} -> {b : Num (MatVecScalarElem a)} -> a -> a->a | ||
1664 | testdata/Prelude.lc 392:28-392:29 V1 | ||