diff options
Diffstat (limited to 'testdata')
41 files changed, 342 insertions, 342 deletions
diff --git a/testdata/Builtins.out b/testdata/Builtins.out index 4010c01b..96574724 100644 --- a/testdata/Builtins.out +++ b/testdata/Builtins.out | |||
@@ -5,7 +5,7 @@ data VecS (_ :: Type) :: Nat -> Type where | |||
5 | V3 :: forall b . b -> b -> b -> VecS b (fromInt 3) | 5 | V3 :: forall b . b -> b -> b -> VecS b (fromInt 3) |
6 | V4 :: forall c . c -> c -> c -> c -> VecS c (fromInt 4) | 6 | V4 :: forall c . c -> c -> c -> c -> VecS c (fromInt 4) |
7 | mapVec | 7 | mapVec |
8 | = (\(a :: _) (b :: _) -> 'VecSCase | 8 | = (\(a :: _) (b :: _) -> case'VecS |
9 | \_ -> \_ -> _ :: _ | 9 | \_ -> \_ -> _ :: _ |
10 | \(c :: _) (d :: _) -> _rhs (V2 (a c) (a d)) | 10 | \(c :: _) (d :: _) -> _rhs (V2 (a c) (a d)) |
11 | \(e :: _) (f :: _) (g :: _) -> _rhs (V3 (a e) (a f) (a g)) | 11 | \(e :: _) (f :: _) (g :: _) -> _rhs (V3 (a e) (a f) (a g)) |
@@ -14,10 +14,10 @@ mapVec | |||
14 | :: forall (l :: _) (m :: _) (n :: _) . (l -> m) -> VecS l n -> VecS m n | 14 | :: forall (l :: _) (m :: _) (n :: _) . (l -> m) -> VecS l n -> VecS m n |
15 | 'Vec = (\(a :: _) (b :: _) -> _rhs ('VecS b a)) :: Nat -> Type -> Type | 15 | 'Vec = (\(a :: _) (b :: _) -> _rhs ('VecS b a)) :: Nat -> Type -> Type |
16 | 'VecScalar | 16 | 'VecScalar |
17 | = (\(a :: _) (b :: _) -> 'NatCase | 17 | = (\(a :: _) (b :: _) -> case'Nat |
18 | \_ -> _ :: _ | 18 | \_ -> _ :: _ |
19 | undefined | 19 | undefined |
20 | \(c :: _) -> 'NatCase | 20 | \(c :: _) -> case'Nat |
21 | \_ -> _ :: _ | 21 | \_ -> _ :: _ |
22 | (_rhs b) | 22 | (_rhs b) |
23 | \(d :: _) -> _rhs ('Vec (Succ (Succ d)) b) | 23 | \(d :: _) -> _rhs ('Vec (Succ (Succ d)) b) |
@@ -108,19 +108,19 @@ data Mat :: Nat -> Nat -> Type -> Type where | |||
108 | \_ -> _ | 108 | \_ -> _ |
109 | \(b :: _) (c :: _) -> match'Float | 109 | \(b :: _) (c :: _) -> match'Float |
110 | \_ -> _ | 110 | \_ -> _ |
111 | ('NatCase | 111 | (case'Nat |
112 | \_ -> _ :: _ | 112 | \_ -> _ :: _ |
113 | (_rhs ('Empty "no instance of 'Component on ???")) | 113 | (_rhs ('Empty "no instance of 'Component on ???")) |
114 | \(d :: _) -> 'NatCase | 114 | \(d :: _) -> case'Nat |
115 | \_ -> _ :: _ | 115 | \_ -> _ :: _ |
116 | (_rhs ('Empty "no instance of 'Component on ???")) | 116 | (_rhs ('Empty "no instance of 'Component on ???")) |
117 | \(e :: _) -> 'NatCase | 117 | \(e :: _) -> case'Nat |
118 | \_ -> _ :: _ | 118 | \_ -> _ :: _ |
119 | (_rhs 'Unit) | 119 | (_rhs 'Unit) |
120 | \(f :: _) -> 'NatCase | 120 | \(f :: _) -> case'Nat |
121 | \_ -> _ :: _ | 121 | \_ -> _ :: _ |
122 | (_rhs 'Unit) | 122 | (_rhs 'Unit) |
123 | \(g :: _) -> 'NatCase | 123 | \(g :: _) -> case'Nat |
124 | \_ -> _ :: _ | 124 | \_ -> _ :: _ |
125 | (_rhs 'Unit) | 125 | (_rhs 'Unit) |
126 | \_ -> _rhs ('Empty "no instance of 'Component on ???") | 126 | \_ -> _rhs ('Empty "no instance of 'Component on ???") |
@@ -132,19 +132,19 @@ data Mat :: Nat -> Nat -> Type -> Type where | |||
132 | b | 132 | b |
133 | (match'Bool | 133 | (match'Bool |
134 | \_ -> _ | 134 | \_ -> _ |
135 | ('NatCase | 135 | (case'Nat |
136 | \_ -> _ :: _ | 136 | \_ -> _ :: _ |
137 | (_rhs ('Empty "no instance of 'Component on ???")) | 137 | (_rhs ('Empty "no instance of 'Component on ???")) |
138 | \(h :: _) -> 'NatCase | 138 | \(h :: _) -> case'Nat |
139 | \_ -> _ :: _ | 139 | \_ -> _ :: _ |
140 | (_rhs ('Empty "no instance of 'Component on ???")) | 140 | (_rhs ('Empty "no instance of 'Component on ???")) |
141 | \(i :: _) -> 'NatCase | 141 | \(i :: _) -> case'Nat |
142 | \_ -> _ :: _ | 142 | \_ -> _ :: _ |
143 | (_rhs 'Unit) | 143 | (_rhs 'Unit) |
144 | \(j :: _) -> 'NatCase | 144 | \(j :: _) -> case'Nat |
145 | \_ -> _ :: _ | 145 | \_ -> _ :: _ |
146 | (_rhs 'Unit) | 146 | (_rhs 'Unit) |
147 | \(k :: _) -> 'NatCase | 147 | \(k :: _) -> case'Nat |
148 | \_ -> _ :: _ | 148 | \_ -> _ :: _ |
149 | (_rhs 'Unit) | 149 | (_rhs 'Unit) |
150 | \_ -> _rhs ('Empty "no instance of 'Component on ???") | 150 | \_ -> _rhs ('Empty "no instance of 'Component on ???") |
@@ -179,19 +179,19 @@ zero | |||
179 | \_ -> _ | 179 | \_ -> _ |
180 | \(e :: _) (f :: _) -> match'Float | 180 | \(e :: _) (f :: _) -> match'Float |
181 | \_ -> _ | 181 | \_ -> _ |
182 | ('NatCase | 182 | (case'Nat |
183 | \_ -> _ :: _ | 183 | \_ -> _ :: _ |
184 | (_rhs undefined) | 184 | (_rhs undefined) |
185 | \(g :: _) -> 'NatCase | 185 | \(g :: _) -> case'Nat |
186 | \_ -> _ :: _ | 186 | \_ -> _ :: _ |
187 | (_rhs undefined) | 187 | (_rhs undefined) |
188 | \(h :: _) -> 'NatCase | 188 | \(h :: _) -> case'Nat |
189 | \_ -> _ :: _ | 189 | \_ -> _ :: _ |
190 | (_rhs \(i := _rhs (V2 0.0 0.0)) -> i) | 190 | (_rhs \(i := _rhs (V2 0.0 0.0)) -> i) |
191 | \(j :: _) -> 'NatCase | 191 | \(j :: _) -> case'Nat |
192 | \_ -> _ :: _ | 192 | \_ -> _ :: _ |
193 | (_rhs \(k := _rhs (V3 0.0 0.0 0.0)) -> k) | 193 | (_rhs \(k := _rhs (V3 0.0 0.0 0.0)) -> k) |
194 | \(l :: _) -> 'NatCase | 194 | \(l :: _) -> case'Nat |
195 | \_ -> _ :: _ | 195 | \_ -> _ :: _ |
196 | (_rhs \(m := _rhs (V4 0.0 0.0 0.0 0.0)) -> m) | 196 | (_rhs \(m := _rhs (V4 0.0 0.0 0.0 0.0)) -> m) |
197 | \_ -> _rhs undefined | 197 | \_ -> _rhs undefined |
@@ -203,19 +203,19 @@ zero | |||
203 | e | 203 | e |
204 | (match'Bool | 204 | (match'Bool |
205 | \_ -> _ | 205 | \_ -> _ |
206 | ('NatCase | 206 | (case'Nat |
207 | \_ -> _ :: _ | 207 | \_ -> _ :: _ |
208 | (_rhs undefined) | 208 | (_rhs undefined) |
209 | \(n :: _) -> 'NatCase | 209 | \(n :: _) -> case'Nat |
210 | \_ -> _ :: _ | 210 | \_ -> _ :: _ |
211 | (_rhs undefined) | 211 | (_rhs undefined) |
212 | \(o :: _) -> 'NatCase | 212 | \(o :: _) -> case'Nat |
213 | \_ -> _ :: _ | 213 | \_ -> _ :: _ |
214 | (_rhs \(p := _rhs (V2 False False)) -> p) | 214 | (_rhs \(p := _rhs (V2 False False)) -> p) |
215 | \(q :: _) -> 'NatCase | 215 | \(q :: _) -> case'Nat |
216 | \_ -> _ :: _ | 216 | \_ -> _ :: _ |
217 | (_rhs \(r := _rhs (V3 False False False)) -> r) | 217 | (_rhs \(r := _rhs (V3 False False False)) -> r) |
218 | \(s :: _) -> 'NatCase | 218 | \(s :: _) -> case'Nat |
219 | \_ -> _ :: _ | 219 | \_ -> _ :: _ |
220 | (_rhs \(t := _rhs (V4 False False False False)) -> t) | 220 | (_rhs \(t := _rhs (V4 False False False False)) -> t) |
221 | \_ -> _rhs undefined | 221 | \_ -> _rhs undefined |
@@ -246,19 +246,19 @@ one | |||
246 | \_ -> _ | 246 | \_ -> _ |
247 | \(e :: _) (f :: _) -> match'Float | 247 | \(e :: _) (f :: _) -> match'Float |
248 | \_ -> _ | 248 | \_ -> _ |
249 | ('NatCase | 249 | (case'Nat |
250 | \_ -> _ :: _ | 250 | \_ -> _ :: _ |
251 | (_rhs undefined) | 251 | (_rhs undefined) |
252 | \(g :: _) -> 'NatCase | 252 | \(g :: _) -> case'Nat |
253 | \_ -> _ :: _ | 253 | \_ -> _ :: _ |
254 | (_rhs undefined) | 254 | (_rhs undefined) |
255 | \(h :: _) -> 'NatCase | 255 | \(h :: _) -> case'Nat |
256 | \_ -> _ :: _ | 256 | \_ -> _ :: _ |
257 | (_rhs \(i := _rhs (V2 1.0 1.0)) -> i) | 257 | (_rhs \(i := _rhs (V2 1.0 1.0)) -> i) |
258 | \(j :: _) -> 'NatCase | 258 | \(j :: _) -> case'Nat |
259 | \_ -> _ :: _ | 259 | \_ -> _ :: _ |
260 | (_rhs \(k := _rhs (V3 1.0 1.0 1.0)) -> k) | 260 | (_rhs \(k := _rhs (V3 1.0 1.0 1.0)) -> k) |
261 | \(l :: _) -> 'NatCase | 261 | \(l :: _) -> case'Nat |
262 | \_ -> _ :: _ | 262 | \_ -> _ :: _ |
263 | (_rhs \(m := _rhs (V4 1.0 1.0 1.0 1.0)) -> m) | 263 | (_rhs \(m := _rhs (V4 1.0 1.0 1.0 1.0)) -> m) |
264 | \_ -> _rhs undefined | 264 | \_ -> _rhs undefined |
@@ -270,19 +270,19 @@ one | |||
270 | e | 270 | e |
271 | (match'Bool | 271 | (match'Bool |
272 | \_ -> _ | 272 | \_ -> _ |
273 | ('NatCase | 273 | (case'Nat |
274 | \_ -> _ :: _ | 274 | \_ -> _ :: _ |
275 | (_rhs undefined) | 275 | (_rhs undefined) |
276 | \(n :: _) -> 'NatCase | 276 | \(n :: _) -> case'Nat |
277 | \_ -> _ :: _ | 277 | \_ -> _ :: _ |
278 | (_rhs undefined) | 278 | (_rhs undefined) |
279 | \(o :: _) -> 'NatCase | 279 | \(o :: _) -> case'Nat |
280 | \_ -> _ :: _ | 280 | \_ -> _ :: _ |
281 | (_rhs \(p := _rhs (V2 True True)) -> p) | 281 | (_rhs \(p := _rhs (V2 True True)) -> p) |
282 | \(q :: _) -> 'NatCase | 282 | \(q :: _) -> case'Nat |
283 | \_ -> _ :: _ | 283 | \_ -> _ :: _ |
284 | (_rhs \(r := _rhs (V3 True True True)) -> r) | 284 | (_rhs \(r := _rhs (V3 True True True)) -> r) |
285 | \(s :: _) -> 'NatCase | 285 | \(s :: _) -> case'Nat |
286 | \_ -> _ :: _ | 286 | \_ -> _ :: _ |
287 | (_rhs \(t := _rhs (V4 True True True True)) -> t) | 287 | (_rhs \(t := _rhs (V4 True True True True)) -> t) |
288 | \_ -> _rhs undefined | 288 | \_ -> _rhs undefined |
@@ -316,19 +316,19 @@ one | |||
316 | \_ -> _ | 316 | \_ -> _ |
317 | \(b :: _) (c :: _) -> match'Float | 317 | \(b :: _) (c :: _) -> match'Float |
318 | \_ -> _ | 318 | \_ -> _ |
319 | ('NatCase | 319 | (case'Nat |
320 | \_ -> _ :: _ | 320 | \_ -> _ :: _ |
321 | (_rhs ('Empty "no instance of 'Floating on ???")) | 321 | (_rhs ('Empty "no instance of 'Floating on ???")) |
322 | \(d :: _) -> 'NatCase | 322 | \(d :: _) -> case'Nat |
323 | \_ -> _ :: _ | 323 | \_ -> _ :: _ |
324 | (_rhs ('Empty "no instance of 'Floating on ???")) | 324 | (_rhs ('Empty "no instance of 'Floating on ???")) |
325 | \(e :: _) -> 'NatCase | 325 | \(e :: _) -> case'Nat |
326 | \_ -> _ :: _ | 326 | \_ -> _ :: _ |
327 | (_rhs 'Unit) | 327 | (_rhs 'Unit) |
328 | \(f :: _) -> 'NatCase | 328 | \(f :: _) -> case'Nat |
329 | \_ -> _ :: _ | 329 | \_ -> _ :: _ |
330 | (_rhs 'Unit) | 330 | (_rhs 'Unit) |
331 | \(g :: _) -> 'NatCase | 331 | \(g :: _) -> case'Nat |
332 | \_ -> _ :: _ | 332 | \_ -> _ :: _ |
333 | (_rhs 'Unit) | 333 | (_rhs 'Unit) |
334 | \_ -> _rhs ('Empty "no instance of 'Floating on ???") | 334 | \_ -> _rhs ('Empty "no instance of 'Floating on ???") |
@@ -342,35 +342,35 @@ one | |||
342 | a | 342 | a |
343 | (match'Mat | 343 | (match'Mat |
344 | \_ -> _ | 344 | \_ -> _ |
345 | \(h :: _) (i :: _) (j :: _) -> 'NatCase | 345 | \(h :: _) (i :: _) (j :: _) -> case'Nat |
346 | \_ -> _ :: _ | 346 | \_ -> _ :: _ |
347 | (_rhs ('Empty "no instance of 'Floating on ???")) | 347 | (_rhs ('Empty "no instance of 'Floating on ???")) |
348 | \(k :: _) -> 'NatCase | 348 | \(k :: _) -> case'Nat |
349 | \_ -> _ :: _ | 349 | \_ -> _ :: _ |
350 | (_rhs ('Empty "no instance of 'Floating on ???")) | 350 | (_rhs ('Empty "no instance of 'Floating on ???")) |
351 | \(l :: _) -> 'NatCase | 351 | \(l :: _) -> case'Nat |
352 | \_ -> _ :: _ | 352 | \_ -> _ :: _ |
353 | ('NatCase | 353 | (case'Nat |
354 | \_ -> _ :: _ | 354 | \_ -> _ :: _ |
355 | (_rhs ('Empty "no instance of 'Floating on ???")) | 355 | (_rhs ('Empty "no instance of 'Floating on ???")) |
356 | \(m :: _) -> 'NatCase | 356 | \(m :: _) -> case'Nat |
357 | \_ -> _ :: _ | 357 | \_ -> _ :: _ |
358 | (_rhs ('Empty "no instance of 'Floating on ???")) | 358 | (_rhs ('Empty "no instance of 'Floating on ???")) |
359 | \(n :: _) -> 'NatCase | 359 | \(n :: _) -> case'Nat |
360 | \_ -> _ :: _ | 360 | \_ -> _ :: _ |
361 | (match'Float | 361 | (match'Float |
362 | \_ -> _ | 362 | \_ -> _ |
363 | (_rhs 'Unit) | 363 | (_rhs 'Unit) |
364 | j | 364 | j |
365 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 365 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
366 | \(o :: _) -> 'NatCase | 366 | \(o :: _) -> case'Nat |
367 | \_ -> _ :: _ | 367 | \_ -> _ :: _ |
368 | (match'Float | 368 | (match'Float |
369 | \_ -> _ | 369 | \_ -> _ |
370 | (_rhs 'Unit) | 370 | (_rhs 'Unit) |
371 | j | 371 | j |
372 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 372 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
373 | \(p :: _) -> 'NatCase | 373 | \(p :: _) -> case'Nat |
374 | \_ -> _ :: _ | 374 | \_ -> _ :: _ |
375 | (match'Float | 375 | (match'Float |
376 | \_ -> _ | 376 | \_ -> _ |
@@ -383,29 +383,29 @@ one | |||
383 | n | 383 | n |
384 | m | 384 | m |
385 | i) | 385 | i) |
386 | \(q :: _) -> 'NatCase | 386 | \(q :: _) -> case'Nat |
387 | \_ -> _ :: _ | 387 | \_ -> _ :: _ |
388 | ('NatCase | 388 | (case'Nat |
389 | \_ -> _ :: _ | 389 | \_ -> _ :: _ |
390 | (_rhs ('Empty "no instance of 'Floating on ???")) | 390 | (_rhs ('Empty "no instance of 'Floating on ???")) |
391 | \(r :: _) -> 'NatCase | 391 | \(r :: _) -> case'Nat |
392 | \_ -> _ :: _ | 392 | \_ -> _ :: _ |
393 | (_rhs ('Empty "no instance of 'Floating on ???")) | 393 | (_rhs ('Empty "no instance of 'Floating on ???")) |
394 | \(s :: _) -> 'NatCase | 394 | \(s :: _) -> case'Nat |
395 | \_ -> _ :: _ | 395 | \_ -> _ :: _ |
396 | (match'Float | 396 | (match'Float |
397 | \_ -> _ | 397 | \_ -> _ |
398 | (_rhs 'Unit) | 398 | (_rhs 'Unit) |
399 | j | 399 | j |
400 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 400 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
401 | \(t :: _) -> 'NatCase | 401 | \(t :: _) -> case'Nat |
402 | \_ -> _ :: _ | 402 | \_ -> _ :: _ |
403 | (match'Float | 403 | (match'Float |
404 | \_ -> _ | 404 | \_ -> _ |
405 | (_rhs 'Unit) | 405 | (_rhs 'Unit) |
406 | j | 406 | j |
407 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 407 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
408 | \(u :: _) -> 'NatCase | 408 | \(u :: _) -> case'Nat |
409 | \_ -> _ :: _ | 409 | \_ -> _ :: _ |
410 | (match'Float | 410 | (match'Float |
411 | \_ -> _ | 411 | \_ -> _ |
@@ -418,29 +418,29 @@ one | |||
418 | s | 418 | s |
419 | r | 419 | r |
420 | i) | 420 | i) |
421 | \(v :: _) -> 'NatCase | 421 | \(v :: _) -> case'Nat |
422 | \_ -> _ :: _ | 422 | \_ -> _ :: _ |
423 | ('NatCase | 423 | (case'Nat |
424 | \_ -> _ :: _ | 424 | \_ -> _ :: _ |
425 | (_rhs ('Empty "no instance of 'Floating on ???")) | 425 | (_rhs ('Empty "no instance of 'Floating on ???")) |
426 | \(w :: _) -> 'NatCase | 426 | \(w :: _) -> case'Nat |
427 | \_ -> _ :: _ | 427 | \_ -> _ :: _ |
428 | (_rhs ('Empty "no instance of 'Floating on ???")) | 428 | (_rhs ('Empty "no instance of 'Floating on ???")) |
429 | \(x :: _) -> 'NatCase | 429 | \(x :: _) -> case'Nat |
430 | \_ -> _ :: _ | 430 | \_ -> _ :: _ |
431 | (match'Float | 431 | (match'Float |
432 | \_ -> _ | 432 | \_ -> _ |
433 | (_rhs 'Unit) | 433 | (_rhs 'Unit) |
434 | j | 434 | j |
435 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 435 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
436 | \(y :: _) -> 'NatCase | 436 | \(y :: _) -> case'Nat |
437 | \_ -> _ :: _ | 437 | \_ -> _ :: _ |
438 | (match'Float | 438 | (match'Float |
439 | \_ -> _ | 439 | \_ -> _ |
440 | (_rhs 'Unit) | 440 | (_rhs 'Unit) |
441 | j | 441 | j |
442 | (_rhs ('Empty "no instance of 'Floating on ???"))) | 442 | (_rhs ('Empty "no instance of 'Floating on ???"))) |
443 | \(z :: _) -> 'NatCase | 443 | \(z :: _) -> case'Nat |
444 | \_ -> _ :: _ | 444 | \_ -> _ :: _ |
445 | (match'Float | 445 | (match'Float |
446 | \_ -> _ | 446 | \_ -> _ |
@@ -645,26 +645,26 @@ PrimNoise2 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 2) Float | |||
645 | PrimNoise3 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 3) Float | 645 | PrimNoise3 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 3) Float |
646 | PrimNoise4 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 4) Float | 646 | PrimNoise4 :: forall (a :: _) . VecScalar a Float -> Vec (fromInt 4) Float |
647 | head | 647 | head |
648 | = \(a :: _) -> 'ListCase | 648 | = \(a :: _) -> case'List |
649 | \_ -> _ :: _ | 649 | \_ -> _ :: _ |
650 | (_rhs undefined) | 650 | (_rhs undefined) |
651 | \(b :: _) -> \_ -> _rhs b | 651 | \(b :: _) -> \_ -> _rhs b |
652 | a | 652 | a |
653 | ++ | 653 | ++ |
654 | = \(a :: _) (b :: _) -> 'ListCase | 654 | = \(a :: _) (b :: _) -> case'List |
655 | \_ -> _ :: _ | 655 | \_ -> _ :: _ |
656 | (_rhs b) | 656 | (_rhs b) |
657 | \(c :: _) (d :: _) -> _rhs (c : d ++ b) | 657 | \(c :: _) (d :: _) -> _rhs (c : d ++ b) |
658 | a | 658 | a |
659 | foldr | 659 | foldr |
660 | = \(a :: _) (b :: _) (c :: _) -> 'ListCase | 660 | = \(a :: _) (b :: _) (c :: _) -> case'List |
661 | \_ -> _ :: _ | 661 | \_ -> _ :: _ |
662 | (_rhs b) | 662 | (_rhs b) |
663 | \(d :: _) (e :: _) -> _rhs (a d (foldr a b e)) | 663 | \(d :: _) (e :: _) -> _rhs (a d (foldr a b e)) |
664 | c | 664 | c |
665 | concat = _rhs (foldr ++ []) | 665 | concat = _rhs (foldr ++ []) |
666 | map | 666 | map |
667 | = \(a :: _) (b :: _) -> 'ListCase | 667 | = \(a :: _) (b :: _) -> case'List |
668 | \_ -> _ :: _ | 668 | \_ -> _ :: _ |
669 | (_rhs []) | 669 | (_rhs []) |
670 | \(c :: _) (d :: _) -> _rhs (a c : map a d) | 670 | \(c :: _) (d :: _) -> _rhs (a c : map a d) |
@@ -673,7 +673,7 @@ concatMap | |||
673 | = (\(a :: _) (b :: _) -> _rhs (concat (map a b))) | 673 | = (\(a :: _) (b :: _) -> _rhs (concat (map a b))) |
674 | :: forall (c :: _) (d :: _) . (c -> [d]) -> [c] -> [d] | 674 | :: forall (c :: _) (d :: _) . (c -> [d]) -> [c] -> [d] |
675 | len | 675 | len |
676 | = \(a :: _) -> 'ListCase | 676 | = \(a :: _) -> case'List |
677 | \_ -> _ :: _ | 677 | \_ -> _ :: _ |
678 | (_rhs (fromInt 0)) | 678 | (_rhs (fromInt 0)) |
679 | \_ (b :: _) -> _rhs (fromInt 1 `primAddInt` len b) | 679 | \_ (b :: _) -> _rhs (fromInt 1 `primAddInt` len b) |
@@ -718,9 +718,9 @@ data SimpleFragment (_ :: Type) :: Type where | |||
718 | SimpleFragment :: forall a . Vec (fromInt 3) Float -> a -> SimpleFragment a | 718 | SimpleFragment :: forall a . Vec (fromInt 3) Float -> a -> SimpleFragment a |
719 | 'Fragment = \(a :: _) (b :: _) -> _rhs ('Vector a ('Maybe ('SimpleFragment b))) | 719 | 'Fragment = \(a :: _) (b :: _) -> _rhs ('Vector a ('Maybe ('SimpleFragment b))) |
720 | sFragmentCoords | 720 | sFragmentCoords |
721 | = \(a :: _) -> 'SimpleFragmentCase \_ -> _ :: _ \(b :: _) -> \_ -> _rhs b a | 721 | = \(a :: _) -> case'SimpleFragment \_ -> _ :: _ \(b :: _) -> \_ -> _rhs b a |
722 | sFragmentValue | 722 | sFragmentValue |
723 | = \(a :: _) -> 'SimpleFragmentCase \_ -> _ :: _ \_ (b :: _) -> _rhs b a | 723 | = \(a :: _) -> case'SimpleFragment \_ -> _ :: _ \_ (b :: _) -> _rhs b a |
724 | 'FragmentStream = \(a :: _) (b :: _) -> _rhs ['Fragment a b] | 724 | 'FragmentStream = \(a :: _) (b :: _) -> _rhs ['Fragment a b] |
725 | customizeDepth | 725 | customizeDepth |
726 | :: forall (a :: _) (b :: _) . (a -> Float) -> Fragment b a -> Fragment b a | 726 | :: forall (a :: _) (b :: _) . (a -> Float) -> Fragment b a -> Fragment b a |
@@ -745,7 +745,7 @@ data ImageKind :: Type where | |||
745 | Depth :: ImageKind | 745 | Depth :: ImageKind |
746 | Stencil :: ImageKind | 746 | Stencil :: ImageKind |
747 | imageType | 747 | imageType |
748 | = (\(a :: _) -> 'ImageKindCase | 748 | = (\(a :: _) -> case'ImageKind |
749 | \_ -> _ :: _ | 749 | \_ -> _ :: _ |
750 | \(b :: _) -> _rhs b | 750 | \(b :: _) -> _rhs b |
751 | (_rhs 'Float) | 751 | (_rhs 'Float) |
@@ -767,23 +767,23 @@ data Swizz :: Type where | |||
767 | Sz :: Swizz | 767 | Sz :: Swizz |
768 | Sw :: Swizz | 768 | Sw :: Swizz |
769 | swizzscalar | 769 | swizzscalar |
770 | = (\(a :: _) (b :: _) -> 'VecSCase | 770 | = (\(a :: _) (b :: _) -> case'VecS |
771 | \_ -> \_ -> _ :: _ | 771 | \_ -> \_ -> _ :: _ |
772 | \(c :: _) (d :: _) -> 'SwizzCase | 772 | \(c :: _) (d :: _) -> case'Swizz |
773 | \_ -> _ :: _ | 773 | \_ -> _ :: _ |
774 | (_rhs c) | 774 | (_rhs c) |
775 | (_rhs d) | 775 | (_rhs d) |
776 | (_rhs undefined) | 776 | (_rhs undefined) |
777 | (_rhs undefined) | 777 | (_rhs undefined) |
778 | b | 778 | b |
779 | \(e :: _) (f :: _) (g :: _) -> 'SwizzCase | 779 | \(e :: _) (f :: _) (g :: _) -> case'Swizz |
780 | \_ -> _ :: _ | 780 | \_ -> _ :: _ |
781 | (_rhs e) | 781 | (_rhs e) |
782 | (_rhs f) | 782 | (_rhs f) |
783 | (_rhs g) | 783 | (_rhs g) |
784 | (_rhs undefined) | 784 | (_rhs undefined) |
785 | b | 785 | b |
786 | \(h :: _) (i :: _) (j :: _) (k :: _) -> 'SwizzCase | 786 | \(h :: _) (i :: _) (j :: _) (k :: _) -> case'Swizz |
787 | \_ -> _ :: _ | 787 | \_ -> _ :: _ |
788 | (_rhs h) | 788 | (_rhs h) |
789 | (_rhs i) | 789 | (_rhs i) |
@@ -793,7 +793,7 @@ swizzscalar | |||
793 | a) | 793 | a) |
794 | :: forall (l :: _) (m :: _) . Vec m l -> Swizz -> l | 794 | :: forall (l :: _) (m :: _) . Vec m l -> Swizz -> l |
795 | definedVec | 795 | definedVec |
796 | = (\(a :: _) -> 'VecSCase | 796 | = (\(a :: _) -> case'VecS |
797 | \_ -> \_ -> _ :: _ | 797 | \_ -> \_ -> _ :: _ |
798 | \_ -> \_ -> _rhs True | 798 | \_ -> \_ -> _rhs True |
799 | \_ -> \_ -> \_ -> _rhs True | 799 | \_ -> \_ -> \_ -> _rhs True |
@@ -801,7 +801,7 @@ definedVec | |||
801 | a) | 801 | a) |
802 | :: forall (b :: _) (c :: _) . Vec c b -> Bool | 802 | :: forall (b :: _) (c :: _) . Vec c b -> Bool |
803 | swizzvector | 803 | swizzvector |
804 | = (\(a :: _) (b :: _) -> 'BoolCase | 804 | = (\(a :: _) (b :: _) -> case'Bool |
805 | \_ -> _ :: _ | 805 | \_ -> _ :: _ |
806 | (_rhs undefined) | 806 | (_rhs undefined) |
807 | (_rhs (mapVec (swizzscalar a) b)) | 807 | (_rhs (mapVec (swizzscalar a) b)) |
@@ -932,10 +932,10 @@ rasterizePrimitives | |||
932 | = (\(a :: _) -> match'Image \_ -> _ \(b :: _) -> \_ -> _rhs b a undefined) | 932 | = (\(a :: _) -> match'Image \_ -> _ \(b :: _) -> \_ -> _rhs b a undefined) |
933 | :: Type -> Nat | 933 | :: Type -> Nat |
934 | allSame | 934 | allSame |
935 | = (\(a :: _) -> 'ListCase | 935 | = (\(a :: _) -> case'List |
936 | \_ -> _ :: _ | 936 | \_ -> _ :: _ |
937 | (_rhs 'Unit) | 937 | (_rhs 'Unit) |
938 | \(b :: _) (c :: _) -> 'ListCase | 938 | \(b :: _) (c :: _) -> case'List |
939 | \_ -> _ :: _ | 939 | \_ -> _ :: _ |
940 | (_rhs 'Unit) | 940 | (_rhs 'Unit) |
941 | \(d :: _) (e :: _) -> _rhs ('T2 (b ~ d) (allSame (d : e))) | 941 | \(d :: _) (e :: _) -> _rhs ('T2 (b ~ d) (allSame (d : e))) |
@@ -946,10 +946,10 @@ sameLayerCounts = \(a :: _) -> _rhs (allSame (map 'ImageLC a)) | |||
946 | data FrameBuffer (_ :: Nat) (_ :: [ImageKind]) :: Type where | 946 | data FrameBuffer (_ :: Nat) (_ :: [ImageKind]) :: Type where |
947 | 947 | ||
948 | imageType' | 948 | imageType' |
949 | = (\(a :: _) -> 'ListCase | 949 | = (\(a :: _) -> case'List |
950 | \_ -> _ :: _ | 950 | \_ -> _ :: _ |
951 | (_rhs (map imageType a)) | 951 | (_rhs (map imageType a)) |
952 | \(b :: _) (c :: _) -> 'ImageKindCase | 952 | \(b :: _) (c :: _) -> case'ImageKind |
953 | \_ -> _ :: _ | 953 | \_ -> _ :: _ |
954 | \_ -> _rhs (map imageType a) | 954 | \_ -> _rhs (map imageType a) |
955 | (_rhs (map imageType c)) | 955 | (_rhs (map imageType c)) |
@@ -1017,7 +1017,7 @@ id :: forall a . a -> a | |||
1017 | V2 :: forall a . a -> a -> VecS a 2 | 1017 | V2 :: forall a . a -> a -> VecS a 2 |
1018 | V3 :: forall a . a -> a -> a -> VecS a 3 | 1018 | V3 :: forall a . a -> a -> a -> VecS a 3 |
1019 | V4 :: forall a . a -> a -> a -> a -> VecS a 4 | 1019 | V4 :: forall a . a -> a -> a -> a -> VecS a 4 |
1020 | 'VecSCase | 1020 | case'VecS |
1021 | :: forall a | 1021 | :: forall a |
1022 | . forall (b :: forall (c :: Nat) -> VecS a c -> Type) | 1022 | . forall (b :: forall (c :: Nat) -> VecS a c -> Type) |
1023 | -> (forall (d :: a) (e :: a) -> b 2 ('V2 d e)) | 1023 | -> (forall (d :: a) (e :: a) -> b 2 ('V2 d e)) |
@@ -1043,7 +1043,7 @@ M34F | |||
1043 | :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 4 Float | 1043 | :: Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Vec 3 Float -> Mat 3 4 Float |
1044 | M44F | 1044 | M44F |
1045 | :: Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float | 1045 | :: Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Vec 4 Float -> Mat 4 4 Float |
1046 | 'MatCase | 1046 | case'Mat |
1047 | :: forall (a :: forall (b :: Nat) (c :: Nat) d -> Mat b c d -> Type) | 1047 | :: forall (a :: forall (b :: Nat) (c :: Nat) d -> Mat b c d -> Type) |
1048 | -> (forall (e :: Vec 2 Float) (f :: Vec 2 Float) -> a 2 2 Float ('M22F e f)) | 1048 | -> (forall (e :: Vec 2 Float) (f :: Vec 2 Float) -> a 2 2 Float ('M22F e f)) |
1049 | -> (forall (g :: Vec 3 Float) (h :: Vec 3 Float) -> a 3 2 Float ('M32F g h)) | 1049 | -> (forall (g :: Vec 3 Float) (h :: Vec 3 Float) -> a 3 2 Float ('M32F g h)) |
@@ -1233,7 +1233,7 @@ len :: forall a . [a] -> Int | |||
1233 | 'Maybe :: Type -> Type | 1233 | 'Maybe :: Type -> Type |
1234 | Nothing :: forall a . Maybe a | 1234 | Nothing :: forall a . Maybe a |
1235 | Just :: forall a . a -> Maybe a | 1235 | Just :: forall a . a -> Maybe a |
1236 | 'MaybeCase | 1236 | case'Maybe |
1237 | :: forall a | 1237 | :: forall a |
1238 | . forall (b :: Maybe a -> Type) | 1238 | . forall (b :: Maybe a -> Type) |
1239 | -> b 'Nothing | 1239 | -> b 'Nothing |
@@ -1242,7 +1242,7 @@ match'Maybe | |||
1242 | :: forall (a :: Type -> Type) | 1242 | :: forall (a :: Type -> Type) |
1243 | -> (forall b -> a (Maybe b)) -> forall c -> a c -> a c | 1243 | -> (forall b -> a (Maybe b)) -> forall c -> a c -> a c |
1244 | 'Vector :: Nat -> Type -> Type | 1244 | 'Vector :: Nat -> Type -> Type |
1245 | 'VectorCase | 1245 | case'Vector |
1246 | :: forall (a :: Nat) b | 1246 | :: forall (a :: Nat) b |
1247 | . forall (c :: Vector a b -> Type) (d :: Vector a b) -> c d | 1247 | . forall (c :: Vector a b -> Type) (d :: Vector a b) -> c d |
1248 | match'Vector | 1248 | match'Vector |
@@ -1254,7 +1254,7 @@ Line :: PrimitiveType | |||
1254 | Point :: PrimitiveType | 1254 | Point :: PrimitiveType |
1255 | TriangleAdjacency :: PrimitiveType | 1255 | TriangleAdjacency :: PrimitiveType |
1256 | LineAdjacency :: PrimitiveType | 1256 | LineAdjacency :: PrimitiveType |
1257 | 'PrimitiveTypeCase | 1257 | case'PrimitiveType |
1258 | :: forall (a :: PrimitiveType -> Type) | 1258 | :: forall (a :: PrimitiveType -> Type) |
1259 | -> a 'Triangle | 1259 | -> a 'Triangle |
1260 | -> a 'Line | 1260 | -> a 'Line |
@@ -1267,7 +1267,7 @@ match'PrimitiveType | |||
1267 | PrimPoint :: forall a . a -> Primitive a 'Point | 1267 | PrimPoint :: forall a . a -> Primitive a 'Point |
1268 | PrimLine :: forall a . a -> a -> Primitive a 'Line | 1268 | PrimLine :: forall a . a -> a -> Primitive a 'Line |
1269 | PrimTriangle :: forall a . a -> a -> a -> Primitive a 'Triangle | 1269 | PrimTriangle :: forall a . a -> a -> a -> Primitive a 'Triangle |
1270 | 'PrimitiveCase | 1270 | case'Primitive |
1271 | :: forall a | 1271 | :: forall a |
1272 | . forall (b :: forall (c :: PrimitiveType) -> Primitive a c -> Type) | 1272 | . forall (b :: forall (c :: PrimitiveType) -> Primitive a c -> Type) |
1273 | -> (forall (d :: a) -> b 'Point ('PrimPoint d)) | 1273 | -> (forall (d :: a) -> b 'Point ('PrimPoint d)) |
@@ -1299,7 +1299,7 @@ fetchStream | |||
1299 | -> (len String c ~ len Type b) => PrimitiveStream a (HList b) | 1299 | -> (len String c ~ len Type b) => PrimitiveStream a (HList b) |
1300 | 'SimpleFragment :: Type -> Type | 1300 | 'SimpleFragment :: Type -> Type |
1301 | SimpleFragment :: forall a . Vec 3 Float -> a -> SimpleFragment a | 1301 | SimpleFragment :: forall a . Vec 3 Float -> a -> SimpleFragment a |
1302 | 'SimpleFragmentCase | 1302 | case'SimpleFragment |
1303 | :: forall a | 1303 | :: forall a |
1304 | . forall (b :: SimpleFragment a -> Type) | 1304 | . forall (b :: SimpleFragment a -> Type) |
1305 | -> (forall (c :: Vec 3 Float) (d :: a) -> b ('SimpleFragment c d)) | 1305 | -> (forall (c :: Vec 3 Float) (d :: a) -> b ('SimpleFragment c d)) |
@@ -1335,7 +1335,7 @@ mapFragments | |||
1335 | Color :: Type -> ImageKind | 1335 | Color :: Type -> ImageKind |
1336 | Depth :: ImageKind | 1336 | Depth :: ImageKind |
1337 | Stencil :: ImageKind | 1337 | Stencil :: ImageKind |
1338 | 'ImageKindCase | 1338 | case'ImageKind |
1339 | :: forall (a :: ImageKind -> Type) | 1339 | :: forall (a :: ImageKind -> Type) |
1340 | -> (forall b -> a ('Color b)) | 1340 | -> (forall b -> a ('Color b)) |
1341 | -> a 'Depth -> a 'Stencil -> forall (c :: ImageKind) -> a c | 1341 | -> a 'Depth -> a 'Stencil -> forall (c :: ImageKind) -> a c |
@@ -1343,7 +1343,7 @@ match'ImageKind | |||
1343 | :: forall (a :: Type -> Type) -> a ImageKind -> forall b -> a b -> a b | 1343 | :: forall (a :: Type -> Type) -> a ImageKind -> forall b -> a b -> a b |
1344 | imageType :: ImageKind -> Type | 1344 | imageType :: ImageKind -> Type |
1345 | 'Image :: Nat -> ImageKind -> Type | 1345 | 'Image :: Nat -> ImageKind -> Type |
1346 | 'ImageCase | 1346 | case'Image |
1347 | :: forall (a :: Nat) (b :: ImageKind) | 1347 | :: forall (a :: Nat) (b :: ImageKind) |
1348 | . forall (c :: Image a b -> Type) (d :: Image a b) -> c d | 1348 | . forall (c :: Image a b -> Type) (d :: Image a b) -> c d |
1349 | match'Image | 1349 | match'Image |
@@ -1363,7 +1363,7 @@ Sx :: Swizz | |||
1363 | Sy :: Swizz | 1363 | Sy :: Swizz |
1364 | Sz :: Swizz | 1364 | Sz :: Swizz |
1365 | Sw :: Swizz | 1365 | Sw :: Swizz |
1366 | 'SwizzCase | 1366 | case'Swizz |
1367 | :: forall (a :: Swizz -> Type) | 1367 | :: forall (a :: Swizz -> Type) |
1368 | -> a 'Sx -> a 'Sy -> a 'Sz -> a 'Sw -> forall (b :: Swizz) -> a b | 1368 | -> a 'Sx -> a 'Sy -> a 'Sz -> a 'Sw -> forall (b :: Swizz) -> a b |
1369 | match'Swizz :: forall (a :: Type -> Type) -> a Swizz -> forall b -> a b -> a b | 1369 | match'Swizz :: forall (a :: Type -> Type) -> a Swizz -> forall b -> a b -> a b |
@@ -1387,7 +1387,7 @@ OneMinusConstantColor :: BlendingFactor | |||
1387 | ConstantAlpha :: BlendingFactor | 1387 | ConstantAlpha :: BlendingFactor |
1388 | OneMinusConstantAlpha :: BlendingFactor | 1388 | OneMinusConstantAlpha :: BlendingFactor |
1389 | SrcAlphaSaturate :: BlendingFactor | 1389 | SrcAlphaSaturate :: BlendingFactor |
1390 | 'BlendingFactorCase | 1390 | case'BlendingFactor |
1391 | :: forall (a :: BlendingFactor -> Type) | 1391 | :: forall (a :: BlendingFactor -> Type) |
1392 | -> a 'ZeroBF | 1392 | -> a 'ZeroBF |
1393 | -> a 'OneBF | 1393 | -> a 'OneBF |
@@ -1412,7 +1412,7 @@ FuncSubtract :: BlendEquation | |||
1412 | FuncReverseSubtract :: BlendEquation | 1412 | FuncReverseSubtract :: BlendEquation |
1413 | Min :: BlendEquation | 1413 | Min :: BlendEquation |
1414 | Max :: BlendEquation | 1414 | Max :: BlendEquation |
1415 | 'BlendEquationCase | 1415 | case'BlendEquation |
1416 | :: forall (a :: BlendEquation -> Type) | 1416 | :: forall (a :: BlendEquation -> Type) |
1417 | -> a 'FuncAdd | 1417 | -> a 'FuncAdd |
1418 | -> a 'FuncSubtract | 1418 | -> a 'FuncSubtract |
@@ -1437,7 +1437,7 @@ CopyInverted :: LogicOperation | |||
1437 | OrInverted :: LogicOperation | 1437 | OrInverted :: LogicOperation |
1438 | Nand :: LogicOperation | 1438 | Nand :: LogicOperation |
1439 | Set :: LogicOperation | 1439 | Set :: LogicOperation |
1440 | 'LogicOperationCase | 1440 | case'LogicOperation |
1441 | :: forall (a :: LogicOperation -> Type) | 1441 | :: forall (a :: LogicOperation -> Type) |
1442 | -> a 'Clear | 1442 | -> a 'Clear |
1443 | -> a 'And | 1443 | -> a 'And |
@@ -1464,7 +1464,7 @@ OpIncrWrap :: StencilOperation | |||
1464 | OpDecr :: StencilOperation | 1464 | OpDecr :: StencilOperation |
1465 | OpDecrWrap :: StencilOperation | 1465 | OpDecrWrap :: StencilOperation |
1466 | OpInvert :: StencilOperation | 1466 | OpInvert :: StencilOperation |
1467 | 'StencilOperationCase | 1467 | case'StencilOperation |
1468 | :: forall (a :: StencilOperation -> Type) | 1468 | :: forall (a :: StencilOperation -> Type) |
1469 | -> a 'OpZero | 1469 | -> a 'OpZero |
1470 | -> a 'OpKeep | 1470 | -> a 'OpKeep |
@@ -1484,7 +1484,7 @@ Greater :: ComparisonFunction | |||
1484 | Notequal :: ComparisonFunction | 1484 | Notequal :: ComparisonFunction |
1485 | Gequal :: ComparisonFunction | 1485 | Gequal :: ComparisonFunction |
1486 | Always :: ComparisonFunction | 1486 | Always :: ComparisonFunction |
1487 | 'ComparisonFunctionCase | 1487 | case'ComparisonFunction |
1488 | :: forall (a :: ComparisonFunction -> Type) | 1488 | :: forall (a :: ComparisonFunction -> Type) |
1489 | -> a 'Never | 1489 | -> a 'Never |
1490 | -> a 'Less | 1490 | -> a 'Less |
@@ -1498,7 +1498,7 @@ match'ComparisonFunction | |||
1498 | 'ProvokingVertex :: Type | 1498 | 'ProvokingVertex :: Type |
1499 | LastVertex :: ProvokingVertex | 1499 | LastVertex :: ProvokingVertex |
1500 | FirstVertex :: ProvokingVertex | 1500 | FirstVertex :: ProvokingVertex |
1501 | 'ProvokingVertexCase | 1501 | case'ProvokingVertex |
1502 | :: forall (a :: ProvokingVertex -> Type) | 1502 | :: forall (a :: ProvokingVertex -> Type) |
1503 | -> a 'LastVertex -> a 'FirstVertex -> forall (b :: ProvokingVertex) -> a b | 1503 | -> a 'LastVertex -> a 'FirstVertex -> forall (b :: ProvokingVertex) -> a b |
1504 | match'ProvokingVertex | 1504 | match'ProvokingVertex |
@@ -1507,7 +1507,7 @@ match'ProvokingVertex | |||
1507 | CullFront :: CullMode | 1507 | CullFront :: CullMode |
1508 | CullBack :: CullMode | 1508 | CullBack :: CullMode |
1509 | CullNone :: CullMode | 1509 | CullNone :: CullMode |
1510 | 'CullModeCase | 1510 | case'CullMode |
1511 | :: forall (a :: CullMode -> Type) | 1511 | :: forall (a :: CullMode -> Type) |
1512 | -> a 'CullFront -> a 'CullBack -> a 'CullNone -> forall (b :: CullMode) -> a b | 1512 | -> a 'CullFront -> a 'CullBack -> a 'CullNone -> forall (b :: CullMode) -> a b |
1513 | match'CullMode | 1513 | match'CullMode |
@@ -1515,7 +1515,7 @@ match'CullMode | |||
1515 | 'PointSize :: Type -> Type | 1515 | 'PointSize :: Type -> Type |
1516 | PointSize :: forall a . Float -> PointSize a | 1516 | PointSize :: forall a . Float -> PointSize a |
1517 | ProgramPointSize :: forall a . (a -> Float) -> PointSize a | 1517 | ProgramPointSize :: forall a . (a -> Float) -> PointSize a |
1518 | 'PointSizeCase | 1518 | case'PointSize |
1519 | :: forall a | 1519 | :: forall a |
1520 | . forall (b :: PointSize a -> Type) | 1520 | . forall (b :: PointSize a -> Type) |
1521 | -> (forall (c :: Float) -> b ('PointSize c)) | 1521 | -> (forall (c :: Float) -> b ('PointSize c)) |
@@ -1528,7 +1528,7 @@ match'PointSize | |||
1528 | PolygonFill :: forall a . PolygonMode a | 1528 | PolygonFill :: forall a . PolygonMode a |
1529 | PolygonPoint :: forall a . PointSize a -> PolygonMode a | 1529 | PolygonPoint :: forall a . PointSize a -> PolygonMode a |
1530 | PolygonLine :: forall a . Float -> PolygonMode a | 1530 | PolygonLine :: forall a . Float -> PolygonMode a |
1531 | 'PolygonModeCase | 1531 | case'PolygonMode |
1532 | :: forall a | 1532 | :: forall a |
1533 | . forall (b :: PolygonMode a -> Type) | 1533 | . forall (b :: PolygonMode a -> Type) |
1534 | -> b 'PolygonFill | 1534 | -> b 'PolygonFill |
@@ -1541,7 +1541,7 @@ match'PolygonMode | |||
1541 | 'PolygonOffset :: Type | 1541 | 'PolygonOffset :: Type |
1542 | NoOffset :: PolygonOffset | 1542 | NoOffset :: PolygonOffset |
1543 | Offset :: Float -> Float -> PolygonOffset | 1543 | Offset :: Float -> Float -> PolygonOffset |
1544 | 'PolygonOffsetCase | 1544 | case'PolygonOffset |
1545 | :: forall (a :: PolygonOffset -> Type) | 1545 | :: forall (a :: PolygonOffset -> Type) |
1546 | -> a 'NoOffset | 1546 | -> a 'NoOffset |
1547 | -> (forall (b :: Float) (c :: Float) -> a ('Offset b c)) | 1547 | -> (forall (b :: Float) (c :: Float) -> a ('Offset b c)) |
@@ -1551,7 +1551,7 @@ match'PolygonOffset | |||
1551 | 'PointSpriteCoordOrigin :: Type | 1551 | 'PointSpriteCoordOrigin :: Type |
1552 | LowerLeft :: PointSpriteCoordOrigin | 1552 | LowerLeft :: PointSpriteCoordOrigin |
1553 | UpperLeft :: PointSpriteCoordOrigin | 1553 | UpperLeft :: PointSpriteCoordOrigin |
1554 | 'PointSpriteCoordOriginCase | 1554 | case'PointSpriteCoordOrigin |
1555 | :: forall (a :: PointSpriteCoordOrigin -> Type) | 1555 | :: forall (a :: PointSpriteCoordOrigin -> Type) |
1556 | -> a 'LowerLeft -> a 'UpperLeft -> forall (b :: PointSpriteCoordOrigin) -> a b | 1556 | -> a 'LowerLeft -> a 'UpperLeft -> forall (b :: PointSpriteCoordOrigin) -> a b |
1557 | match'PointSpriteCoordOrigin | 1557 | match'PointSpriteCoordOrigin |
@@ -1569,7 +1569,7 @@ PointCtx | |||
1569 | :: forall a | 1569 | :: forall a |
1570 | . PointSize a -> Float -> PointSpriteCoordOrigin -> RasterContext a 'Point | 1570 | . PointSize a -> Float -> PointSpriteCoordOrigin -> RasterContext a 'Point |
1571 | LineCtx :: forall a . Float -> ProvokingVertex -> RasterContext a 'Line | 1571 | LineCtx :: forall a . Float -> ProvokingVertex -> RasterContext a 'Line |
1572 | 'RasterContextCase | 1572 | case'RasterContext |
1573 | :: forall a | 1573 | :: forall a |
1574 | . forall (b :: forall (c :: PrimitiveType) -> RasterContext a c -> Type) | 1574 | . forall (b :: forall (c :: PrimitiveType) -> RasterContext a c -> Type) |
1575 | -> (forall (d :: CullMode) | 1575 | -> (forall (d :: CullMode) |
@@ -1590,7 +1590,7 @@ Blend | |||
1590 | :: (BlendEquation, BlendEquation) | 1590 | :: (BlendEquation, BlendEquation) |
1591 | -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) | 1591 | -> ((BlendingFactor, BlendingFactor), (BlendingFactor, BlendingFactor)) |
1592 | -> Vec 4 Float -> Blending Float | 1592 | -> Vec 4 Float -> Blending Float |
1593 | 'BlendingCase | 1593 | case'Blending |
1594 | :: forall (a :: forall b -> Blending b -> Type) | 1594 | :: forall (a :: forall b -> Blending b -> Type) |
1595 | -> (forall c . a c ('NoBlending c)) | 1595 | -> (forall c . a c ('NoBlending c)) |
1596 | -> (forall d (e :: Integral d) | 1596 | -> (forall d (e :: Integral d) |
@@ -1604,12 +1604,12 @@ match'Blending | |||
1604 | :: forall (a :: Type -> Type) | 1604 | :: forall (a :: Type -> Type) |
1605 | -> (forall b -> a (Blending b)) -> forall c -> a c -> a c | 1605 | -> (forall b -> a (Blending b)) -> forall c -> a c -> a c |
1606 | 'StencilTests :: Type | 1606 | 'StencilTests :: Type |
1607 | 'StencilTestsCase | 1607 | case'StencilTests |
1608 | :: forall (a :: StencilTests -> Type) (b :: StencilTests) -> a b | 1608 | :: forall (a :: StencilTests -> Type) (b :: StencilTests) -> a b |
1609 | match'StencilTests | 1609 | match'StencilTests |
1610 | :: forall (a :: Type -> Type) -> a StencilTests -> forall b -> a b -> a b | 1610 | :: forall (a :: Type -> Type) -> a StencilTests -> forall b -> a b -> a b |
1611 | 'StencilOps :: Type | 1611 | 'StencilOps :: Type |
1612 | 'StencilOpsCase :: forall (a :: StencilOps -> Type) (b :: StencilOps) -> a b | 1612 | case'StencilOps :: forall (a :: StencilOps -> Type) (b :: StencilOps) -> a b |
1613 | match'StencilOps | 1613 | match'StencilOps |
1614 | :: forall (a :: Type -> Type) -> a StencilOps -> forall b -> a b -> a b | 1614 | :: forall (a :: Type -> Type) -> a StencilOps -> forall b -> a b -> a b |
1615 | 'FragmentOperation :: ImageKind -> Type | 1615 | 'FragmentOperation :: ImageKind -> Type |
@@ -1620,7 +1620,7 @@ ColorOp | |||
1620 | DepthOp :: ComparisonFunction -> Bool -> FragmentOperation 'Depth | 1620 | DepthOp :: ComparisonFunction -> Bool -> FragmentOperation 'Depth |
1621 | StencilOp | 1621 | StencilOp |
1622 | :: StencilTests -> StencilOps -> StencilOps -> FragmentOperation 'Stencil | 1622 | :: StencilTests -> StencilOps -> StencilOps -> FragmentOperation 'Stencil |
1623 | 'FragmentOperationCase | 1623 | case'FragmentOperation |
1624 | :: forall (a :: forall (b :: ImageKind) -> FragmentOperation b -> Type) | 1624 | :: forall (a :: forall (b :: ImageKind) -> FragmentOperation b -> Type) |
1625 | -> (forall c (d :: Nat) (e :: Num c) | 1625 | -> (forall c (d :: Nat) (e :: Num c) |
1626 | . forall (f :: Blending c) (g :: VecScalar d Bool) | 1626 | . forall (f :: Blending c) (g :: VecScalar d Bool) |
@@ -1637,7 +1637,7 @@ match'FragmentOperation | |||
1637 | Smooth :: forall a . Floating a => Interpolated a | 1637 | Smooth :: forall a . Floating a => Interpolated a |
1638 | NoPerspective :: forall a . Floating a => Interpolated a | 1638 | NoPerspective :: forall a . Floating a => Interpolated a |
1639 | Flat :: forall a . Interpolated a | 1639 | Flat :: forall a . Interpolated a |
1640 | 'InterpolatedCase | 1640 | case'Interpolated |
1641 | :: forall a | 1641 | :: forall a |
1642 | . forall (b :: Interpolated a -> Type) | 1642 | . forall (b :: Interpolated a -> Type) |
1643 | -> (forall (c :: Floating a) . b ('Smooth c)) | 1643 | -> (forall (c :: Floating a) . b ('Smooth c)) |
@@ -1662,7 +1662,7 @@ rasterizePrimitives | |||
1662 | allSame :: forall a . [a] -> Type | 1662 | allSame :: forall a . [a] -> Type |
1663 | sameLayerCounts :: [Type] -> Type | 1663 | sameLayerCounts :: [Type] -> Type |
1664 | 'FrameBuffer :: Nat -> [ImageKind] -> Type | 1664 | 'FrameBuffer :: Nat -> [ImageKind] -> Type |
1665 | 'FrameBufferCase | 1665 | case'FrameBuffer |
1666 | :: forall (a :: Nat) (b :: [ImageKind]) | 1666 | :: forall (a :: Nat) (b :: [ImageKind]) |
1667 | . forall (c :: FrameBuffer a b -> Type) (d :: FrameBuffer a b) -> c d | 1667 | . forall (c :: FrameBuffer a b -> Type) (d :: FrameBuffer a b) -> c d |
1668 | match'FrameBuffer | 1668 | match'FrameBuffer |
@@ -1708,7 +1708,7 @@ PrjImageColor | |||
1708 | -> Image 1 ('Color (Vec 4 Float)) | 1708 | -> Image 1 ('Color (Vec 4 Float)) |
1709 | 'Output :: Type | 1709 | 'Output :: Type |
1710 | ScreenOut :: forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output | 1710 | ScreenOut :: forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output |
1711 | 'OutputCase | 1711 | case'Output |
1712 | :: forall (a :: Output -> Type) | 1712 | :: forall (a :: Output -> Type) |
1713 | -> (forall (b :: Nat) (c :: [ImageKind]) | 1713 | -> (forall (b :: Nat) (c :: [ImageKind]) |
1714 | . forall (d :: FrameBuffer b c) -> a ('ScreenOut b c d)) | 1714 | . forall (d :: FrameBuffer b c) -> a ('ScreenOut b c d)) |
@@ -1718,7 +1718,7 @@ renderFrame :: forall (a :: Nat) (b :: [ImageKind]) . FrameBuffer a b -> Output | |||
1718 | 'Texture :: Type | 1718 | 'Texture :: Type |
1719 | Texture2DSlot :: String -> Texture | 1719 | Texture2DSlot :: String -> Texture |
1720 | Texture2D :: Vec 2 Int -> Image 1 ('Color (Vec 4 Float)) -> Texture | 1720 | Texture2D :: Vec 2 Int -> Image 1 ('Color (Vec 4 Float)) -> Texture |
1721 | 'TextureCase | 1721 | case'Texture |
1722 | :: forall (a :: Texture -> Type) | 1722 | :: forall (a :: Texture -> Type) |
1723 | -> (forall (b :: String) -> a ('Texture2DSlot b)) | 1723 | -> (forall (b :: String) -> a ('Texture2DSlot b)) |
1724 | -> (forall (c :: Vec 2 Int) (d :: Image 1 ('Color (Vec 4 Float))) | 1724 | -> (forall (c :: Vec 2 Int) (d :: Image 1 ('Color (Vec 4 Float))) |
@@ -1729,7 +1729,7 @@ match'Texture | |||
1729 | 'Filter :: Type | 1729 | 'Filter :: Type |
1730 | PointFilter :: Filter | 1730 | PointFilter :: Filter |
1731 | LinearFilter :: Filter | 1731 | LinearFilter :: Filter |
1732 | 'FilterCase | 1732 | case'Filter |
1733 | :: forall (a :: Filter -> Type) | 1733 | :: forall (a :: Filter -> Type) |
1734 | -> a 'PointFilter -> a 'LinearFilter -> forall (b :: Filter) -> a b | 1734 | -> a 'PointFilter -> a 'LinearFilter -> forall (b :: Filter) -> a b |
1735 | match'Filter :: forall (a :: Type -> Type) -> a Filter -> forall b -> a b -> a b | 1735 | match'Filter :: forall (a :: Type -> Type) -> a Filter -> forall b -> a b -> a b |
@@ -1737,7 +1737,7 @@ match'Filter :: forall (a :: Type -> Type) -> a Filter -> forall b -> a b -> a b | |||
1737 | Repeat :: EdgeMode | 1737 | Repeat :: EdgeMode |
1738 | MirroredRepeat :: EdgeMode | 1738 | MirroredRepeat :: EdgeMode |
1739 | ClampToEdge :: EdgeMode | 1739 | ClampToEdge :: EdgeMode |
1740 | 'EdgeModeCase | 1740 | case'EdgeMode |
1741 | :: forall (a :: EdgeMode -> Type) | 1741 | :: forall (a :: EdgeMode -> Type) |
1742 | -> a 'Repeat | 1742 | -> a 'Repeat |
1743 | -> a 'MirroredRepeat -> a 'ClampToEdge -> forall (b :: EdgeMode) -> a b | 1743 | -> a 'MirroredRepeat -> a 'ClampToEdge -> forall (b :: EdgeMode) -> a b |
@@ -1745,7 +1745,7 @@ match'EdgeMode | |||
1745 | :: forall (a :: Type -> Type) -> a EdgeMode -> forall b -> a b -> a b | 1745 | :: forall (a :: Type -> Type) -> a EdgeMode -> forall b -> a b -> a b |
1746 | 'Sampler :: Type | 1746 | 'Sampler :: Type |
1747 | Sampler :: Filter -> EdgeMode -> Texture -> Sampler | 1747 | Sampler :: Filter -> EdgeMode -> Texture -> Sampler |
1748 | 'SamplerCase | 1748 | case'Sampler |
1749 | :: forall (a :: Sampler -> Type) | 1749 | :: forall (a :: Sampler -> Type) |
1750 | -> (forall (b :: Filter) (c :: EdgeMode) (d :: Texture) -> a ('Sampler b c d)) | 1750 | -> (forall (b :: Filter) (c :: EdgeMode) (d :: Texture) -> a ('Sampler b c d)) |
1751 | -> forall (e :: Sampler) -> a e | 1751 | -> forall (e :: Sampler) -> a e |
diff --git a/testdata/Internals.out b/testdata/Internals.out index d89f0fb7..cf9fb31e 100644 --- a/testdata/Internals.out +++ b/testdata/Internals.out | |||
@@ -51,10 +51,10 @@ primModInt :: Int -> Int -> Int | |||
51 | primSqrtFloat :: Float -> Float | 51 | primSqrtFloat :: Float -> Float |
52 | primRound :: Float -> Int | 52 | primRound :: Float -> Int |
53 | primIfThenElse | 53 | primIfThenElse |
54 | = (\(a :: _) (b :: _) (c :: _) -> 'BoolCase \_ -> _ :: _ (_rhs c) (_rhs b) a) | 54 | = (\(a :: _) (b :: _) (c :: _) -> case'Bool \_ -> _ :: _ (_rhs c) (_rhs b) a) |
55 | :: forall (d :: _) . Bool -> d -> d -> d | 55 | :: forall (d :: _) . Bool -> d -> d -> d |
56 | isEQ | 56 | isEQ |
57 | = \(a :: _) -> 'OrderingCase | 57 | = \(a :: _) -> case'Ordering |
58 | \_ -> _ :: _ | 58 | \_ -> _ :: _ |
59 | (_rhs False) | 59 | (_rhs False) |
60 | (_rhs True) | 60 | (_rhs True) |
@@ -172,20 +172,20 @@ negate | |||
172 | \_ -> _ | 172 | \_ -> _ |
173 | (_rhs | 173 | (_rhs |
174 | \(n | 174 | \(n |
175 | := \(o :: _) (p :: _) -> 'BoolCase | 175 | := \(o :: _) (p :: _) -> case'Bool |
176 | \_ -> _ :: _ | 176 | \_ -> _ :: _ |
177 | ('BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) p) | 177 | (case'Bool \_ -> _ :: _ (_rhs True) (_rhs False) p) |
178 | ('BoolCase \_ -> _ :: _ (_rhs False) (_rhs True) p) | 178 | (case'Bool \_ -> _ :: _ (_rhs False) (_rhs True) p) |
179 | o) -> n) | 179 | o) -> n) |
180 | a | 180 | a |
181 | (match'Nat | 181 | (match'Nat |
182 | \_ -> _ | 182 | \_ -> _ |
183 | (_rhs | 183 | (_rhs |
184 | \(q | 184 | \(q |
185 | := \(r :: _) (s :: _) -> 'NatCase | 185 | := \(r :: _) (s :: _) -> case'Nat |
186 | \_ -> _ :: _ | 186 | \_ -> _ :: _ |
187 | ('NatCase \_ -> _ :: _ (_rhs True) \_ -> _rhs False s) | 187 | (case'Nat \_ -> _ :: _ (_rhs True) \_ -> _rhs False s) |
188 | \(t :: _) -> 'NatCase \_ -> _ :: _ (_rhs False) \(u :: _) -> _rhs (t == u) s | 188 | \(t :: _) -> case'Nat \_ -> _ :: _ (_rhs False) \(u :: _) -> _rhs (t == u) s |
189 | r) -> q) | 189 | r) -> q) |
190 | a | 190 | a |
191 | (_rhs undefined))))))) | 191 | (_rhs undefined))))))) |
@@ -210,13 +210,13 @@ undefined :: forall a . a | |||
210 | primFix :: forall a . (a -> a) -> a | 210 | primFix :: forall a . (a -> a) -> a |
211 | 'Unit :: Type | 211 | 'Unit :: Type |
212 | TT :: Unit | 212 | TT :: Unit |
213 | 'UnitCase :: forall (a :: Unit -> Type) -> a 'TT -> forall (b :: Unit) -> a b | 213 | case'Unit :: forall (a :: Unit -> Type) -> a 'TT -> forall (b :: Unit) -> a b |
214 | match'Unit :: forall (a :: Type -> Type) -> a Unit -> forall b -> a b -> a b | 214 | match'Unit :: forall (a :: Type -> Type) -> a Unit -> forall b -> a b -> a b |
215 | 'String :: Type | 215 | 'String :: Type |
216 | 'StringCase :: forall (a :: String -> Type) (b :: String) -> a b | 216 | case'String :: forall (a :: String -> Type) (b :: String) -> a b |
217 | match'String :: forall (a :: Type -> Type) -> a String -> forall b -> a b -> a b | 217 | match'String :: forall (a :: Type -> Type) -> a String -> forall b -> a b -> a b |
218 | 'Empty :: String -> Type | 218 | 'Empty :: String -> Type |
219 | 'EmptyCase | 219 | case'Empty |
220 | :: forall (a :: String) . forall (b :: Empty a -> Type) (c :: Empty a) -> b c | 220 | :: forall (a :: String) . forall (b :: Empty a -> Type) (c :: Empty a) -> b c |
221 | match'Empty | 221 | match'Empty |
222 | :: forall (a :: Type -> Type) | 222 | :: forall (a :: Type -> Type) |
@@ -229,21 +229,21 @@ match'Type :: forall (a :: Type -> Type) -> a Type -> forall b -> a b -> a b | |||
229 | 'EqCTt :: forall a . a -> a -> Type | 229 | 'EqCTt :: forall a . a -> a -> Type |
230 | t2C :: Unit -> Unit -> Unit | 230 | t2C :: Unit -> Unit -> Unit |
231 | 'Int :: Type | 231 | 'Int :: Type |
232 | 'IntCase :: forall (a :: Int -> Type) (b :: Int) -> a b | 232 | case'Int :: forall (a :: Int -> Type) (b :: Int) -> a b |
233 | match'Int :: forall (a :: Type -> Type) -> a Int -> forall b -> a b -> a b | 233 | match'Int :: forall (a :: Type -> Type) -> a Int -> forall b -> a b -> a b |
234 | 'Word :: Type | 234 | 'Word :: Type |
235 | 'WordCase :: forall (a :: Word -> Type) (b :: Word) -> a b | 235 | case'Word :: forall (a :: Word -> Type) (b :: Word) -> a b |
236 | match'Word :: forall (a :: Type -> Type) -> a Word -> forall b -> a b -> a b | 236 | match'Word :: forall (a :: Type -> Type) -> a Word -> forall b -> a b -> a b |
237 | 'Float :: Type | 237 | 'Float :: Type |
238 | 'FloatCase :: forall (a :: Float -> Type) (b :: Float) -> a b | 238 | case'Float :: forall (a :: Float -> Type) (b :: Float) -> a b |
239 | match'Float :: forall (a :: Type -> Type) -> a Float -> forall b -> a b -> a b | 239 | match'Float :: forall (a :: Type -> Type) -> a Float -> forall b -> a b -> a b |
240 | 'Char :: Type | 240 | 'Char :: Type |
241 | 'CharCase :: forall (a :: Char -> Type) (b :: Char) -> a b | 241 | case'Char :: forall (a :: Char -> Type) (b :: Char) -> a b |
242 | match'Char :: forall (a :: Type -> Type) -> a Char -> forall b -> a b -> a b | 242 | match'Char :: forall (a :: Type -> Type) -> a Char -> forall b -> a b -> a b |
243 | 'Bool :: Type | 243 | 'Bool :: Type |
244 | False :: Bool | 244 | False :: Bool |
245 | True :: Bool | 245 | True :: Bool |
246 | 'BoolCase | 246 | case'Bool |
247 | :: forall (a :: Bool -> Type) | 247 | :: forall (a :: Bool -> Type) |
248 | -> a 'False -> a 'True -> forall (b :: Bool) -> a b | 248 | -> a 'False -> a 'True -> forall (b :: Bool) -> a b |
249 | match'Bool :: forall (a :: Type -> Type) -> a Bool -> forall b -> a b -> a b | 249 | match'Bool :: forall (a :: Type -> Type) -> a Bool -> forall b -> a b -> a b |
@@ -251,7 +251,7 @@ match'Bool :: forall (a :: Type -> Type) -> a Bool -> forall b -> a b -> a b | |||
251 | LT :: Ordering | 251 | LT :: Ordering |
252 | EQ :: Ordering | 252 | EQ :: Ordering |
253 | GT :: Ordering | 253 | GT :: Ordering |
254 | 'OrderingCase | 254 | case'Ordering |
255 | :: forall (a :: Ordering -> Type) | 255 | :: forall (a :: Ordering -> Type) |
256 | -> a 'LT -> a 'EQ -> a 'GT -> forall (b :: Ordering) -> a b | 256 | -> a 'LT -> a 'EQ -> a 'GT -> forall (b :: Ordering) -> a b |
257 | match'Ordering | 257 | match'Ordering |
@@ -259,7 +259,7 @@ match'Ordering | |||
259 | 'Nat :: Type | 259 | 'Nat :: Type |
260 | Zero :: Nat | 260 | Zero :: Nat |
261 | Succ :: Nat -> Nat | 261 | Succ :: Nat -> Nat |
262 | 'NatCase | 262 | case'Nat |
263 | :: forall (a :: Nat -> Type) | 263 | :: forall (a :: Nat -> Type) |
264 | -> a 0 -> (forall (b :: Nat) -> a ('Succ b)) -> forall (c :: Nat) -> a c | 264 | -> a 0 -> (forall (b :: Nat) -> a ('Succ b)) -> forall (c :: Nat) -> a c |
265 | match'Nat :: forall (a :: Type -> Type) -> a Nat -> forall b -> a b -> a b | 265 | match'Nat :: forall (a :: Type -> Type) -> a Nat -> forall b -> a b -> a b |
@@ -290,7 +290,7 @@ negate :: forall a . Num a => a -> a | |||
290 | 'List :: Type -> Type | 290 | 'List :: Type -> Type |
291 | [] :: forall a . [a] | 291 | [] :: forall a . [a] |
292 | (:) :: forall a . a -> [a] -> [a] | 292 | (:) :: forall a . a -> [a] -> [a] |
293 | 'ListCase | 293 | case'List |
294 | :: forall a | 294 | :: forall a |
295 | . forall (b :: [a] -> Type) | 295 | . forall (b :: [a] -> Type) |
296 | -> b '[] | 296 | -> b '[] |
@@ -300,7 +300,7 @@ match'List | |||
300 | 'HList :: [Type] -> Type | 300 | 'HList :: [Type] -> Type |
301 | HNil :: () | 301 | HNil :: () |
302 | HCons :: forall a (b :: [Type]) . a -> HList b -> HList (: a b) | 302 | HCons :: forall a (b :: [Type]) . a -> HList b -> HList (: a b) |
303 | 'HListCase | 303 | case'HList |
304 | :: forall (a :: forall (b :: [Type]) -> HList b -> Type) | 304 | :: forall (a :: forall (b :: [Type]) -> HList b -> Type) |
305 | -> a '[] () | 305 | -> a '[] () |
306 | -> (forall c (d :: [Type]) | 306 | -> (forall c (d :: [Type]) |
diff --git a/testdata/Material.out b/testdata/Material.out index 41e812e0..9f503a21 100644 --- a/testdata/Material.out +++ b/testdata/Material.out | |||
@@ -6,13 +6,13 @@ data Entity :: Type where | |||
6 | -> Vec (fromInt 4) Float | 6 | -> Vec (fromInt 4) Float |
7 | -> Vec (fromInt 3) Float -> Vec (fromInt 4) Float -> Entity | 7 | -> Vec (fromInt 3) Float -> Vec (fromInt 4) Float -> Entity |
8 | eAmbientLight | 8 | eAmbientLight |
9 | = \(a :: _) -> 'EntityCase \_ -> _ :: _ \(b :: _) -> \_ -> \_ -> \_ -> _rhs b a | 9 | = \(a :: _) -> case'Entity \_ -> _ :: _ \(b :: _) -> \_ -> \_ -> \_ -> _rhs b a |
10 | eDirectedLight | 10 | eDirectedLight |
11 | = \(a :: _) -> 'EntityCase \_ -> _ :: _ \_ (b :: _) -> \_ -> \_ -> _rhs b a | 11 | = \(a :: _) -> case'Entity \_ -> _ :: _ \_ (b :: _) -> \_ -> \_ -> _rhs b a |
12 | eLightDir | 12 | eLightDir |
13 | = \(a :: _) -> 'EntityCase \_ -> _ :: _ \_ -> \_ (b :: _) -> \_ -> _rhs b a | 13 | = \(a :: _) -> case'Entity \_ -> _ :: _ \_ -> \_ (b :: _) -> \_ -> _rhs b a |
14 | eShaderRGBA | 14 | eShaderRGBA |
15 | = \(a :: _) -> 'EntityCase \_ -> _ :: _ \_ -> \_ -> \_ (b :: _) -> _rhs b a | 15 | = \(a :: _) -> case'Entity \_ -> _ :: _ \_ -> \_ -> \_ (b :: _) -> _rhs b a |
16 | data WaveType :: Type where | 16 | data WaveType :: Type where |
17 | WT_Sin :: WaveType | 17 | WT_Sin :: WaveType |
18 | WT_Triangle :: WaveType | 18 | WT_Triangle :: WaveType |
@@ -113,57 +113,57 @@ data StageAttrs :: Type where | |||
113 | -> StageTexture | 113 | -> StageTexture |
114 | -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs | 114 | -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs |
115 | saBlend | 115 | saBlend |
116 | = \(a :: _) -> 'StageAttrsCase | 116 | = \(a :: _) -> case'StageAttrs |
117 | \_ -> _ :: _ | 117 | \_ -> _ :: _ |
118 | \(b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 118 | \(b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
119 | a | 119 | a |
120 | saRGBGen | 120 | saRGBGen |
121 | = \(a :: _) -> 'StageAttrsCase | 121 | = \(a :: _) -> case'StageAttrs |
122 | \_ -> _ :: _ | 122 | \_ -> _ :: _ |
123 | \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 123 | \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
124 | a | 124 | a |
125 | saAlphaGen | 125 | saAlphaGen |
126 | = \(a :: _) -> 'StageAttrsCase | 126 | = \(a :: _) -> case'StageAttrs |
127 | \_ -> _ :: _ | 127 | \_ -> _ :: _ |
128 | \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 128 | \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
129 | a | 129 | a |
130 | saTCGen | 130 | saTCGen |
131 | = \(a :: _) -> 'StageAttrsCase | 131 | = \(a :: _) -> case'StageAttrs |
132 | \_ -> _ :: _ | 132 | \_ -> _ :: _ |
133 | \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 133 | \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
134 | a | 134 | a |
135 | saTCMod | 135 | saTCMod |
136 | = \(a :: _) -> 'StageAttrsCase | 136 | = \(a :: _) -> case'StageAttrs |
137 | \_ -> _ :: _ | 137 | \_ -> _ :: _ |
138 | \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 138 | \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
139 | a | 139 | a |
140 | saTexture | 140 | saTexture |
141 | = \(a :: _) -> 'StageAttrsCase | 141 | = \(a :: _) -> case'StageAttrs |
142 | \_ -> _ :: _ | 142 | \_ -> _ :: _ |
143 | \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 143 | \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
144 | a | 144 | a |
145 | saDepthWrite | 145 | saDepthWrite |
146 | = \(a :: _) -> 'StageAttrsCase | 146 | = \(a :: _) -> case'StageAttrs |
147 | \_ -> _ :: _ | 147 | \_ -> _ :: _ |
148 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> _rhs b | 148 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> _rhs b |
149 | a | 149 | a |
150 | saDepthFunc | 150 | saDepthFunc |
151 | = \(a :: _) -> 'StageAttrsCase | 151 | = \(a :: _) -> case'StageAttrs |
152 | \_ -> _ :: _ | 152 | \_ -> _ :: _ |
153 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> _rhs b | 153 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> _rhs b |
154 | a | 154 | a |
155 | saAlphaFunc | 155 | saAlphaFunc |
156 | = \(a :: _) -> 'StageAttrsCase | 156 | = \(a :: _) -> case'StageAttrs |
157 | \_ -> _ :: _ | 157 | \_ -> _ :: _ |
158 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> _rhs b | 158 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> _rhs b |
159 | a | 159 | a |
160 | saDepthMaskExplicit | 160 | saDepthMaskExplicit |
161 | = \(a :: _) -> 'StageAttrsCase | 161 | = \(a :: _) -> case'StageAttrs |
162 | \_ -> _ :: _ | 162 | \_ -> _ :: _ |
163 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> _rhs b | 163 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> _rhs b |
164 | a | 164 | a |
165 | saTextureUniform | 165 | saTextureUniform |
166 | = \(a :: _) -> 'StageAttrsCase | 166 | = \(a :: _) -> case'StageAttrs |
167 | \_ -> _ :: _ | 167 | \_ -> _ :: _ |
168 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> _rhs b | 168 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> _rhs b |
169 | a | 169 | a |
@@ -192,74 +192,74 @@ data CommonAttrs :: Type where | |||
192 | -> Bool | 192 | -> Bool |
193 | -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs | 193 | -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs |
194 | caSkyParms | 194 | caSkyParms |
195 | = \(a :: _) -> 'CommonAttrsCase | 195 | = \(a :: _) -> case'CommonAttrs |
196 | \_ -> _ :: _ | 196 | \_ -> _ :: _ |
197 | \(b | 197 | \(b |
198 | :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 198 | :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
199 | b | 199 | b |
200 | a | 200 | a |
201 | caFogParms | 201 | caFogParms |
202 | = \(a :: _) -> 'CommonAttrsCase | 202 | = \(a :: _) -> case'CommonAttrs |
203 | \_ -> _ :: _ | 203 | \_ -> _ :: _ |
204 | \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 204 | \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
205 | b | 205 | b |
206 | a | 206 | a |
207 | caPortal | 207 | caPortal |
208 | = \(a :: _) -> 'CommonAttrsCase | 208 | = \(a :: _) -> case'CommonAttrs |
209 | \_ -> _ :: _ | 209 | \_ -> _ :: _ |
210 | \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 210 | \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
211 | b | 211 | b |
212 | a | 212 | a |
213 | caSort | 213 | caSort |
214 | = \(a :: _) -> 'CommonAttrsCase | 214 | = \(a :: _) -> case'CommonAttrs |
215 | \_ -> _ :: _ | 215 | \_ -> _ :: _ |
216 | \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 216 | \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
217 | b | 217 | b |
218 | a | 218 | a |
219 | caEntityMergable | 219 | caEntityMergable |
220 | = \(a :: _) -> 'CommonAttrsCase | 220 | = \(a :: _) -> case'CommonAttrs |
221 | \_ -> _ :: _ | 221 | \_ -> _ :: _ |
222 | \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 222 | \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
223 | b | 223 | b |
224 | a | 224 | a |
225 | caFogOnly | 225 | caFogOnly |
226 | = \(a :: _) -> 'CommonAttrsCase | 226 | = \(a :: _) -> case'CommonAttrs |
227 | \_ -> _ :: _ | 227 | \_ -> _ :: _ |
228 | \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 228 | \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
229 | b | 229 | b |
230 | a | 230 | a |
231 | caCull | 231 | caCull |
232 | = \(a :: _) -> 'CommonAttrsCase | 232 | = \(a :: _) -> case'CommonAttrs |
233 | \_ -> _ :: _ | 233 | \_ -> _ :: _ |
234 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 234 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
235 | b | 235 | b |
236 | a | 236 | a |
237 | caDeformVertexes | 237 | caDeformVertexes |
238 | = \(a :: _) -> 'CommonAttrsCase | 238 | = \(a :: _) -> case'CommonAttrs |
239 | \_ -> _ :: _ | 239 | \_ -> _ :: _ |
240 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> _rhs | 240 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> _rhs |
241 | b | 241 | b |
242 | a | 242 | a |
243 | caNoMipMaps | 243 | caNoMipMaps |
244 | = \(a :: _) -> 'CommonAttrsCase | 244 | = \(a :: _) -> case'CommonAttrs |
245 | \_ -> _ :: _ | 245 | \_ -> _ :: _ |
246 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> _rhs | 246 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> _rhs |
247 | b | 247 | b |
248 | a | 248 | a |
249 | caPolygonOffset | 249 | caPolygonOffset |
250 | = \(a :: _) -> 'CommonAttrsCase | 250 | = \(a :: _) -> case'CommonAttrs |
251 | \_ -> _ :: _ | 251 | \_ -> _ :: _ |
252 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> _rhs | 252 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> _rhs |
253 | b | 253 | b |
254 | a | 254 | a |
255 | caStages | 255 | caStages |
256 | = \(a :: _) -> 'CommonAttrsCase | 256 | = \(a :: _) -> case'CommonAttrs |
257 | \_ -> _ :: _ | 257 | \_ -> _ :: _ |
258 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> _rhs | 258 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> _rhs |
259 | b | 259 | b |
260 | a | 260 | a |
261 | caIsSky | 261 | caIsSky |
262 | = \(a :: _) -> 'CommonAttrsCase | 262 | = \(a :: _) -> case'CommonAttrs |
263 | \_ -> _ :: _ | 263 | \_ -> _ :: _ |
264 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> _rhs | 264 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> _rhs |
265 | b | 265 | b |
@@ -285,7 +285,7 @@ main is not found | |||
285 | identityLight :: Float | 285 | identityLight :: Float |
286 | 'Entity :: Type | 286 | 'Entity :: Type |
287 | Entity :: Vec 4 Float -> Vec 4 Float -> Vec 3 Float -> Vec 4 Float -> Entity | 287 | Entity :: Vec 4 Float -> Vec 4 Float -> Vec 3 Float -> Vec 4 Float -> Entity |
288 | 'EntityCase | 288 | case'Entity |
289 | :: forall (a :: Entity -> Type) | 289 | :: forall (a :: Entity -> Type) |
290 | -> (forall (b :: Vec 4 Float) | 290 | -> (forall (b :: Vec 4 Float) |
291 | (c :: Vec 4 Float) (d :: Vec 3 Float) (e :: Vec 4 Float) | 291 | (c :: Vec 4 Float) (d :: Vec 3 Float) (e :: Vec 4 Float) |
@@ -303,7 +303,7 @@ WT_Square :: WaveType | |||
303 | WT_Sawtooth :: WaveType | 303 | WT_Sawtooth :: WaveType |
304 | WT_InverseSawtooth :: WaveType | 304 | WT_InverseSawtooth :: WaveType |
305 | WT_Noise :: WaveType | 305 | WT_Noise :: WaveType |
306 | 'WaveTypeCase | 306 | case'WaveType |
307 | :: forall (a :: WaveType -> Type) | 307 | :: forall (a :: WaveType -> Type) |
308 | -> a 'WT_Sin | 308 | -> a 'WT_Sin |
309 | -> a 'WT_Triangle | 309 | -> a 'WT_Triangle |
@@ -314,7 +314,7 @@ match'WaveType | |||
314 | :: forall (a :: Type -> Type) -> a WaveType -> forall b -> a b -> a b | 314 | :: forall (a :: Type -> Type) -> a WaveType -> forall b -> a b -> a b |
315 | 'Wave :: Type | 315 | 'Wave :: Type |
316 | Wave :: WaveType -> Float -> Float -> Float -> Float -> Wave | 316 | Wave :: WaveType -> Float -> Float -> Float -> Float -> Wave |
317 | 'WaveCase | 317 | case'Wave |
318 | :: forall (a :: Wave -> Type) | 318 | :: forall (a :: Wave -> Type) |
319 | -> (forall (b :: WaveType) (c :: Float) (d :: Float) (e :: Float) (f :: Float) | 319 | -> (forall (b :: WaveType) (c :: Float) (d :: Float) (e :: Float) (f :: Float) |
320 | -> a ('Wave b c d e f)) | 320 | -> a ('Wave b c d e f)) |
@@ -336,7 +336,7 @@ D_Text5 :: Deform | |||
336 | D_Text6 :: Deform | 336 | D_Text6 :: Deform |
337 | D_Text7 :: Deform | 337 | D_Text7 :: Deform |
338 | D_Wave :: Float -> Wave -> Deform | 338 | D_Wave :: Float -> Wave -> Deform |
339 | 'DeformCase | 339 | case'Deform |
340 | :: forall (a :: Deform -> Type) | 340 | :: forall (a :: Deform -> Type) |
341 | -> a 'D_AutoSprite | 341 | -> a 'D_AutoSprite |
342 | -> a 'D_AutoSprite2 | 342 | -> a 'D_AutoSprite2 |
@@ -359,7 +359,7 @@ match'Deform :: forall (a :: Type -> Type) -> a Deform -> forall b -> a b -> a b | |||
359 | CT_FrontSided :: CullType | 359 | CT_FrontSided :: CullType |
360 | CT_BackSided :: CullType | 360 | CT_BackSided :: CullType |
361 | CT_TwoSided :: CullType | 361 | CT_TwoSided :: CullType |
362 | 'CullTypeCase | 362 | case'CullType |
363 | :: forall (a :: CullType -> Type) | 363 | :: forall (a :: CullType -> Type) |
364 | -> a 'CT_FrontSided | 364 | -> a 'CT_FrontSided |
365 | -> a 'CT_BackSided -> a 'CT_TwoSided -> forall (b :: CullType) -> a b | 365 | -> a 'CT_BackSided -> a 'CT_TwoSided -> forall (b :: CullType) -> a b |
@@ -377,7 +377,7 @@ B_SrcAlpha :: Blending' | |||
377 | B_SrcAlphaSaturate :: Blending' | 377 | B_SrcAlphaSaturate :: Blending' |
378 | B_SrcColor :: Blending' | 378 | B_SrcColor :: Blending' |
379 | B_Zero :: Blending' | 379 | B_Zero :: Blending' |
380 | 'Blending'Case | 380 | case'Blending' |
381 | :: forall (a :: Blending' -> Type) | 381 | :: forall (a :: Blending' -> Type) |
382 | -> a 'B_DstAlpha | 382 | -> a 'B_DstAlpha |
383 | -> a 'B_DstColor | 383 | -> a 'B_DstColor |
@@ -403,7 +403,7 @@ RGB_Vertex :: RGBGen | |||
403 | RGB_LightingDiffuse :: RGBGen | 403 | RGB_LightingDiffuse :: RGBGen |
404 | RGB_OneMinusVertex :: RGBGen | 404 | RGB_OneMinusVertex :: RGBGen |
405 | RGB_Undefined :: RGBGen | 405 | RGB_Undefined :: RGBGen |
406 | 'RGBGenCase | 406 | case'RGBGen |
407 | :: forall (a :: RGBGen -> Type) | 407 | :: forall (a :: RGBGen -> Type) |
408 | -> (forall (b :: Wave) -> a ('RGB_Wave b)) | 408 | -> (forall (b :: Wave) -> a ('RGB_Wave b)) |
409 | -> (forall (c :: Float) (d :: Float) (e :: Float) -> a ('RGB_Const c d e)) | 409 | -> (forall (c :: Float) (d :: Float) (e :: Float) -> a ('RGB_Const c d e)) |
@@ -426,7 +426,7 @@ A_OneMinusEntity :: AlphaGen | |||
426 | A_Vertex :: AlphaGen | 426 | A_Vertex :: AlphaGen |
427 | A_LightingSpecular :: AlphaGen | 427 | A_LightingSpecular :: AlphaGen |
428 | A_OneMinusVertex :: AlphaGen | 428 | A_OneMinusVertex :: AlphaGen |
429 | 'AlphaGenCase | 429 | case'AlphaGen |
430 | :: forall (a :: AlphaGen -> Type) | 430 | :: forall (a :: AlphaGen -> Type) |
431 | -> (forall (b :: Wave) -> a ('A_Wave b)) | 431 | -> (forall (b :: Wave) -> a ('A_Wave b)) |
432 | -> (forall (c :: Float) -> a ('A_Const c)) | 432 | -> (forall (c :: Float) -> a ('A_Const c)) |
@@ -444,7 +444,7 @@ TG_Lightmap :: TCGen | |||
444 | TG_Environment :: TCGen | 444 | TG_Environment :: TCGen |
445 | TG_Vector :: Vec 3 Float -> Vec 3 Float -> TCGen | 445 | TG_Vector :: Vec 3 Float -> Vec 3 Float -> TCGen |
446 | TG_Undefined :: TCGen | 446 | TG_Undefined :: TCGen |
447 | 'TCGenCase | 447 | case'TCGen |
448 | :: forall (a :: TCGen -> Type) | 448 | :: forall (a :: TCGen -> Type) |
449 | -> a 'TG_Base | 449 | -> a 'TG_Base |
450 | -> a 'TG_Lightmap | 450 | -> a 'TG_Lightmap |
@@ -460,7 +460,7 @@ TM_Scale :: Float -> Float -> TCMod | |||
460 | TM_Stretch :: Wave -> TCMod | 460 | TM_Stretch :: Wave -> TCMod |
461 | TM_Transform :: Float -> Float -> Float -> Float -> Float -> Float -> TCMod | 461 | TM_Transform :: Float -> Float -> Float -> Float -> Float -> Float -> TCMod |
462 | TM_Turb :: Float -> Float -> Float -> Float -> TCMod | 462 | TM_Turb :: Float -> Float -> Float -> Float -> TCMod |
463 | 'TCModCase | 463 | case'TCMod |
464 | :: forall (a :: TCMod -> Type) | 464 | :: forall (a :: TCMod -> Type) |
465 | -> a 'TM_EntityTranslate | 465 | -> a 'TM_EntityTranslate |
466 | -> (forall (b :: Float) -> a ('TM_Rotate b)) | 466 | -> (forall (b :: Float) -> a ('TM_Rotate b)) |
@@ -480,7 +480,7 @@ ST_ClampMap :: String -> StageTexture | |||
480 | ST_AnimMap :: Float -> [String] -> StageTexture | 480 | ST_AnimMap :: Float -> [String] -> StageTexture |
481 | ST_Lightmap :: StageTexture | 481 | ST_Lightmap :: StageTexture |
482 | ST_WhiteImage :: StageTexture | 482 | ST_WhiteImage :: StageTexture |
483 | 'StageTextureCase | 483 | case'StageTexture |
484 | :: forall (a :: StageTexture -> Type) | 484 | :: forall (a :: StageTexture -> Type) |
485 | -> (forall (b :: String) -> a ('ST_Map b)) | 485 | -> (forall (b :: String) -> a ('ST_Map b)) |
486 | -> (forall (c :: String) -> a ('ST_ClampMap c)) | 486 | -> (forall (c :: String) -> a ('ST_ClampMap c)) |
@@ -492,7 +492,7 @@ match'StageTexture | |||
492 | A_Gt0 :: AlphaFunction | 492 | A_Gt0 :: AlphaFunction |
493 | A_Lt128 :: AlphaFunction | 493 | A_Lt128 :: AlphaFunction |
494 | A_Ge128 :: AlphaFunction | 494 | A_Ge128 :: AlphaFunction |
495 | 'AlphaFunctionCase | 495 | case'AlphaFunction |
496 | :: forall (a :: AlphaFunction -> Type) | 496 | :: forall (a :: AlphaFunction -> Type) |
497 | -> a 'A_Gt0 -> a 'A_Lt128 -> a 'A_Ge128 -> forall (b :: AlphaFunction) -> a b | 497 | -> a 'A_Gt0 -> a 'A_Lt128 -> a 'A_Ge128 -> forall (b :: AlphaFunction) -> a b |
498 | match'AlphaFunction | 498 | match'AlphaFunction |
@@ -500,7 +500,7 @@ match'AlphaFunction | |||
500 | 'DepthFunction :: Type | 500 | 'DepthFunction :: Type |
501 | D_Equal :: DepthFunction | 501 | D_Equal :: DepthFunction |
502 | D_Lequal :: DepthFunction | 502 | D_Lequal :: DepthFunction |
503 | 'DepthFunctionCase | 503 | case'DepthFunction |
504 | :: forall (a :: DepthFunction -> Type) | 504 | :: forall (a :: DepthFunction -> Type) |
505 | -> a 'D_Equal -> a 'D_Lequal -> forall (b :: DepthFunction) -> a b | 505 | -> a 'D_Equal -> a 'D_Lequal -> forall (b :: DepthFunction) -> a b |
506 | match'DepthFunction | 506 | match'DepthFunction |
@@ -514,7 +514,7 @@ StageAttrs | |||
514 | -> [TCMod] | 514 | -> [TCMod] |
515 | -> StageTexture | 515 | -> StageTexture |
516 | -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs | 516 | -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs |
517 | 'StageAttrsCase | 517 | case'StageAttrs |
518 | :: forall (a :: StageAttrs -> Type) | 518 | :: forall (a :: StageAttrs -> Type) |
519 | -> (forall (b :: Maybe (Blending', Blending')) | 519 | -> (forall (b :: Maybe (Blending', Blending')) |
520 | (c :: RGBGen) | 520 | (c :: RGBGen) |
@@ -549,7 +549,7 @@ CommonAttrs | |||
549 | -> Bool | 549 | -> Bool |
550 | -> Bool | 550 | -> Bool |
551 | -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs | 551 | -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs |
552 | 'CommonAttrsCase | 552 | case'CommonAttrs |
553 | :: forall (a :: CommonAttrs -> Type) | 553 | :: forall (a :: CommonAttrs -> Type) |
554 | -> (forall (b :: ()) | 554 | -> (forall (b :: ()) |
555 | (c :: ()) | 555 | (c :: ()) |
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index 6e3f4bf9..ead20303 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -31,10 +31,10 @@ uncurry | |||
31 | c | 31 | c |
32 | pi = _rhs 3.141592653589793 | 32 | pi = _rhs 3.141592653589793 |
33 | zip | 33 | zip |
34 | = (\(a :: _) (b :: _) -> 'ListCase | 34 | = (\(a :: _) (b :: _) -> case'List |
35 | \_ -> _ :: _ | 35 | \_ -> _ :: _ |
36 | (_rhs []) | 36 | (_rhs []) |
37 | \(c :: _) (d :: _) -> 'ListCase | 37 | \(c :: _) (d :: _) -> case'List |
38 | \_ -> _ :: _ | 38 | \_ -> _ :: _ |
39 | (_rhs []) | 39 | (_rhs []) |
40 | \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip d f) | 40 | \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip d f) |
@@ -42,7 +42,7 @@ zip | |||
42 | a) | 42 | a) |
43 | :: forall (g :: _) (h :: _) . [g] -> [h] -> [HList (g : h : '[])] | 43 | :: forall (g :: _) (h :: _) . [g] -> [h] -> [HList (g : h : '[])] |
44 | unzip | 44 | unzip |
45 | = (\(a :: _) -> 'ListCase | 45 | = (\(a :: _) -> case'List |
46 | \_ -> _ :: _ | 46 | \_ -> _ :: _ |
47 | (_rhs (HCons [] (HCons [] HNil))) | 47 | (_rhs (HCons [] (HCons [] HNil))) |
48 | \(b :: _) (c :: _) -> hlistConsCase | 48 | \(b :: _) (c :: _) -> hlistConsCase |
@@ -79,32 +79,32 @@ unzip | |||
79 | a) | 79 | a) |
80 | :: forall (s :: _) (t :: _) . [HList (s : t : '[])] -> HList ([s] : [t] : '[]) | 80 | :: forall (s :: _) (t :: _) . [HList (s : t : '[])] -> HList ([s] : [t] : '[]) |
81 | filter | 81 | filter |
82 | = \(a :: _) (b :: _) -> 'ListCase | 82 | = \(a :: _) (b :: _) -> case'List |
83 | \_ -> _ :: _ | 83 | \_ -> _ :: _ |
84 | (_rhs []) | 84 | (_rhs []) |
85 | \(c :: _) (d :: _) -> _rhs | 85 | \(c :: _) (d :: _) -> _rhs |
86 | ((\(e :: _) -> 'BoolCase \_ -> _ :: _ (filter a d) (c : filter a d) e) (a c)) | 86 | ((\(e :: _) -> case'Bool \_ -> _ :: _ (filter a d) (c : filter a d) e) (a c)) |
87 | b | 87 | b |
88 | tail | 88 | tail |
89 | = (\(a :: _) -> 'ListCase \_ -> _ :: _ (_rhs undefined) \_ (b :: _) -> _rhs b a) | 89 | = (\(a :: _) -> case'List \_ -> _ :: _ (_rhs undefined) \_ (b :: _) -> _rhs b a) |
90 | :: forall (c :: _) . [c] -> [c] | 90 | :: forall (c :: _) . [c] -> [c] |
91 | pairs | 91 | pairs |
92 | = (\(a :: _) -> _rhs (zip a (tail a))) | 92 | = (\(a :: _) -> _rhs (zip a (tail a))) |
93 | :: forall (b :: _) . [b] -> [HList (b : b : '[])] | 93 | :: forall (b :: _) . [b] -> [HList (b : b : '[])] |
94 | foldl' | 94 | foldl' |
95 | = \(a :: _) (b :: _) (c :: _) -> 'ListCase | 95 | = \(a :: _) (b :: _) (c :: _) -> case'List |
96 | \_ -> _ :: _ | 96 | \_ -> _ :: _ |
97 | (_rhs b) | 97 | (_rhs b) |
98 | \(d :: _) (e :: _) -> _rhs (foldl' a (a b d) e) | 98 | \(d :: _) (e :: _) -> _rhs (foldl' a (a b d) e) |
99 | c | 99 | c |
100 | foldr1 | 100 | foldr1 |
101 | = \(a :: _) (b :: _) -> 'ListCase | 101 | = \(a :: _) (b :: _) -> case'List |
102 | \_ -> _ :: _ | 102 | \_ -> _ :: _ |
103 | (_rhs undefined) | 103 | (_rhs undefined) |
104 | \(c :: _) (d :: _) -> _rhs (foldr a c d) | 104 | \(c :: _) (d :: _) -> _rhs (foldr a c d) |
105 | b | 105 | b |
106 | split | 106 | split |
107 | = \(a :: _) -> 'ListCase | 107 | = \(a :: _) -> case'List |
108 | \_ -> _ :: _ | 108 | \_ -> _ :: _ |
109 | (_rhs (HCons [] (HCons [] HNil))) | 109 | (_rhs (HCons [] (HCons [] HNil))) |
110 | \(b :: _) (c :: _) -> _rhs | 110 | \(b :: _) (c :: _) -> _rhs |
@@ -131,14 +131,14 @@ split | |||
131 | d)) -> HCons (b : e) (HCons f HNil) | 131 | d)) -> HCons (b : e) (HCons f HNil) |
132 | a | 132 | a |
133 | mergeBy | 133 | mergeBy |
134 | = \(a :: _) (b :: _) (c :: _) -> 'ListCase | 134 | = \(a :: _) (b :: _) (c :: _) -> case'List |
135 | \_ -> _ :: _ | 135 | \_ -> _ :: _ |
136 | (_rhs c) | 136 | (_rhs c) |
137 | \(d :: _) (e :: _) -> 'ListCase | 137 | \(d :: _) (e :: _) -> case'List |
138 | \_ -> _ :: _ | 138 | \_ -> _ :: _ |
139 | (_rhs b) | 139 | (_rhs b) |
140 | \(f :: _) (g :: _) -> _rhs | 140 | \(f :: _) (g :: _) -> _rhs |
141 | ((\(h :: _) -> 'OrderingCase | 141 | ((\(h :: _) -> case'Ordering |
142 | \_ -> _ :: _ | 142 | \_ -> _ :: _ |
143 | (d : mergeBy a e (f : g)) | 143 | (d : mergeBy a e (f : g)) |
144 | (f : mergeBy a (d : e) g) | 144 | (f : mergeBy a (d : e) g) |
@@ -148,10 +148,10 @@ mergeBy | |||
148 | c | 148 | c |
149 | b | 149 | b |
150 | sortBy | 150 | sortBy |
151 | = \(a :: _) (b :: _) -> 'ListCase | 151 | = \(a :: _) (b :: _) -> case'List |
152 | \_ -> _ :: _ | 152 | \_ -> _ :: _ |
153 | (_rhs []) | 153 | (_rhs []) |
154 | \(c :: _) (d :: _) -> 'ListCase | 154 | \(c :: _) (d :: _) -> case'List |
155 | \_ -> _ :: _ | 155 | \_ -> _ :: _ |
156 | (_rhs (c : [])) | 156 | (_rhs (c : [])) |
157 | \_ -> \_ -> _rhs (uncurry (mergeBy a) ((sortBy a *** sortBy a) (split b))) | 157 | \_ -> \_ -> _rhs (uncurry (mergeBy a) ((sortBy a *** sortBy a) (split b))) |
@@ -176,20 +176,20 @@ snd | |||
176 | \(c :: _) (d :: _) -> hlistNilCase (_ :: _) (_rhs c) d | 176 | \(c :: _) (d :: _) -> hlistNilCase (_ :: _) (_rhs c) d |
177 | b | 177 | b |
178 | a | 178 | a |
179 | ||| = \(a :: _) (b :: _) -> 'BoolCase \_ -> _ :: _ (_rhs b) (_rhs True) a | 179 | ||| = \(a :: _) (b :: _) -> case'Bool \_ -> _ :: _ (_rhs b) (_rhs True) a |
180 | infixr 2 ||| | 180 | infixr 2 ||| |
181 | &&& = \(a :: _) (b :: _) -> 'BoolCase \_ -> _ :: _ (_rhs False) (_rhs b) a | 181 | &&& = \(a :: _) (b :: _) -> case'Bool \_ -> _ :: _ (_rhs False) (_rhs b) a |
182 | infixr 3 &&& | 182 | infixr 3 &&& |
183 | data RecItem :: Type where | 183 | data RecItem :: Type where |
184 | RecItem :: String -> Type -> RecItem | 184 | RecItem :: String -> Type -> RecItem |
185 | recItemType = \(a :: _) -> 'RecItemCase \_ -> _ :: _ \_ (b :: _) -> _rhs b a | 185 | recItemType = \(a :: _) -> case'RecItem \_ -> _ :: _ \_ (b :: _) -> _rhs b a |
186 | data RecordC (_ :: [RecItem]) :: Type where | 186 | data RecordC (_ :: [RecItem]) :: Type where |
187 | RecordCons :: forall (a :: [RecItem]) . HList (map recItemType a) -> RecordC a | 187 | RecordCons :: forall (a :: [RecItem]) . HList (map recItemType a) -> RecordC a |
188 | isKeyC | 188 | isKeyC |
189 | = \(a :: _) (b :: _) (c :: _) -> 'ListCase | 189 | = \(a :: _) (b :: _) (c :: _) -> case'List |
190 | \_ -> _ :: _ | 190 | \_ -> _ :: _ |
191 | (_rhs ('Empty "")) | 191 | (_rhs ('Empty "")) |
192 | \(d :: _) (e :: _) -> 'RecItemCase | 192 | \(d :: _) (e :: _) -> case'RecItem |
193 | \_ -> _ :: _ | 193 | \_ -> _ :: _ |
194 | \(f :: _) (g :: _) -> _rhs (primIfThenElse (a == f) (b ~ g) (isKeyC a b e)) | 194 | \(f :: _) (g :: _) -> _rhs (primIfThenElse (a == f) (b ~ g) (isKeyC a b e)) |
195 | d | 195 | d |
@@ -197,14 +197,14 @@ isKeyC | |||
197 | fstTup = _rhs (hlistConsCase (_ :: _) \(a :: _) -> \_ -> a) | 197 | fstTup = _rhs (hlistConsCase (_ :: _) \(a :: _) -> \_ -> a) |
198 | sndTup = _rhs (hlistConsCase (_ :: _) \_ (a :: _) -> a) | 198 | sndTup = _rhs (hlistConsCase (_ :: _) \_ (a :: _) -> a) |
199 | project | 199 | project |
200 | = (\ @(a :: _) @(b :: _) (c :: _) -> \ @_ (d :: _) -> 'ListCase | 200 | = (\ @(a :: _) @(b :: _) (c :: _) -> \ @_ (d :: _) -> case'List |
201 | \_ -> _ :: _ | 201 | \_ -> _ :: _ |
202 | (_rhs undefined) | 202 | (_rhs undefined) |
203 | \(e :: _) (f :: _) -> 'RecItemCase | 203 | \(e :: _) (f :: _) -> case'RecItem |
204 | \_ -> _ :: _ | 204 | \_ -> _ :: _ |
205 | \(g :: _) -> \_ -> 'RecordCCase | 205 | \(g :: _) -> \_ -> case'RecordC |
206 | \_ -> _ :: _ | 206 | \_ -> _ :: _ |
207 | \(h :: _) -> 'BoolCase | 207 | \(h :: _) -> case'Bool |
208 | \_ -> _ :: _ | 208 | \_ -> _ :: _ |
209 | (_rhs | 209 | (_rhs |
210 | (project | 210 | (project |
@@ -448,17 +448,17 @@ lookat | |||
448 | -> Vec (fromInt 3) Float -> Mat (fromInt 4) (fromInt 4) Float | 448 | -> Vec (fromInt 3) Float -> Mat (fromInt 4) (fromInt 4) Float |
449 | scale = \(a :: _) (b :: _) -> _rhs (b * V4 a a a 1.0) | 449 | scale = \(a :: _) (b :: _) -> _rhs (b * V4 a a a 1.0) |
450 | fromTo | 450 | fromTo |
451 | = (\(a :: _) (b :: _) -> 'BoolCase | 451 | = (\(a :: _) (b :: _) -> case'Bool |
452 | \_ -> _ :: _ | 452 | \_ -> _ :: _ |
453 | (_rhs (a : fromTo (a + fromInt 1) b)) | 453 | (_rhs (a : fromTo (a + fromInt 1) b)) |
454 | (_rhs []) | 454 | (_rhs []) |
455 | (a > b)) | 455 | (a > b)) |
456 | :: Float -> Float -> [Float] | 456 | :: Float -> Float -> [Float] |
457 | !! | 457 | !! |
458 | = (\(a :: _) (b :: _) -> 'ListCase | 458 | = (\(a :: _) (b :: _) -> case'List |
459 | \_ -> _ :: _ | 459 | \_ -> _ :: _ |
460 | (_rhs undefined) | 460 | (_rhs undefined) |
461 | \(c :: _) (d :: _) -> 'BoolCase | 461 | \(c :: _) (d :: _) -> case'Bool |
462 | \_ -> _ :: _ | 462 | \_ -> _ :: _ |
463 | (_rhs (d !! (b - fromInt 1))) | 463 | (_rhs (d !! (b - fromInt 1))) |
464 | (_rhs c) | 464 | (_rhs c) |
@@ -492,7 +492,7 @@ snd :: forall a b . (a, b) -> b | |||
492 | &&& :: Bool -> Bool -> Bool | 492 | &&& :: Bool -> Bool -> Bool |
493 | 'RecItem :: Type | 493 | 'RecItem :: Type |
494 | RecItem :: String -> Type -> RecItem | 494 | RecItem :: String -> Type -> RecItem |
495 | 'RecItemCase | 495 | case'RecItem |
496 | :: forall (a :: RecItem -> Type) | 496 | :: forall (a :: RecItem -> Type) |
497 | -> (forall (b :: String) c -> a ('RecItem b c)) -> forall (d :: RecItem) -> a d | 497 | -> (forall (b :: String) c -> a ('RecItem b c)) -> forall (d :: RecItem) -> a d |
498 | match'RecItem | 498 | match'RecItem |
@@ -501,7 +501,7 @@ recItemType :: RecItem -> Type | |||
501 | 'RecordC :: [RecItem] -> Type | 501 | 'RecordC :: [RecItem] -> Type |
502 | RecordCons | 502 | RecordCons |
503 | :: forall (a :: [RecItem]) . HList (map RecItem Type recItemType a) -> RecordC a | 503 | :: forall (a :: [RecItem]) . HList (map RecItem Type recItemType a) -> RecordC a |
504 | 'RecordCCase | 504 | case'RecordC |
505 | :: forall (a :: [RecItem]) | 505 | :: forall (a :: [RecItem]) |
506 | . forall (b :: RecordC a -> Type) | 506 | . forall (b :: RecordC a -> Type) |
507 | -> (forall (c :: HList (map RecItem Type recItemType a)) -> b ('RecordCons c)) | 507 | -> (forall (c :: HList (map RecItem Type recItemType a)) -> b ('RecordCons c)) |
diff --git a/testdata/adhoc.reject.out b/testdata/adhoc.reject.out index 8bfe623e..36501d29 100644 --- a/testdata/adhoc.reject.out +++ b/testdata/adhoc.reject.out | |||
@@ -5,7 +5,7 @@ x = one :: Vec 4 A | |||
5 | ------------ trace | 5 | ------------ trace |
6 | 'A :: Type | 6 | 'A :: Type |
7 | A :: A | 7 | A :: A |
8 | 'ACase :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b | 8 | case'A :: forall (a :: A -> Type) -> a 'A -> forall (b :: A) -> a b |
9 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b | 9 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b |
10 | !type error: no instance of 'Component on ??? | 10 | !type error: no instance of 'Component on ??? |
11 | in testdata/adhoc.reject.lc:4:5: | 11 | in testdata/adhoc.reject.lc:4:5: |
diff --git a/testdata/complex.out b/testdata/complex.out index 6139432e..f6727829 100644 --- a/testdata/complex.out +++ b/testdata/complex.out | |||
@@ -10,17 +10,17 @@ normal | |||
10 | polar | 10 | polar |
11 | = (\(a :: _) (b :: _) -> _rhs (Complex a b)) :: Float -> Float -> Complex Polar | 11 | = (\(a :: _) (b :: _) -> _rhs (Complex a b)) :: Float -> Float -> Complex Polar |
12 | cabs | 12 | cabs |
13 | = (\ @(a :: _) (b :: _) -> 'ReprCase | 13 | = (\ @(a :: _) (b :: _) -> case'Repr |
14 | \_ -> _ :: _ | 14 | \_ -> _ :: _ |
15 | ('ComplexCase | 15 | (case'Complex |
16 | \_ -> \_ -> _ :: _ | 16 | \_ -> \_ -> _ :: _ |
17 | \(c :: _) (d :: _) -> _rhs (sqrt (c * c + d * d)) | 17 | \(c :: _) (d :: _) -> _rhs (sqrt (c * c + d * d)) |
18 | b) | 18 | b) |
19 | ('ComplexCase \_ -> \_ -> _ :: _ \(e :: _) -> \_ -> _rhs e b) | 19 | (case'Complex \_ -> \_ -> _ :: _ \(e :: _) -> \_ -> _rhs e b) |
20 | a) | 20 | a) |
21 | :: forall (f :: _) . Complex f -> Float | 21 | :: forall (f :: _) . Complex f -> Float |
22 | toPolar | 22 | toPolar |
23 | = (\(a :: _) -> 'ComplexCase | 23 | = (\(a :: _) -> case'Complex |
24 | \_ -> \_ -> _ :: _ | 24 | \_ -> \_ -> _ :: _ |
25 | \(b :: _) (c :: _) -> _rhs | 25 | \(b :: _) (c :: _) -> _rhs |
26 | \(d := _rhs (sqrt (b * b + c * c))) -> primIfThenElse | 26 | \(d := _rhs (sqrt (b * b + c * c))) -> primIfThenElse |
@@ -42,21 +42,21 @@ toPolar | |||
42 | a) | 42 | a) |
43 | :: Complex Normal -> Complex Polar | 43 | :: Complex Normal -> Complex Polar |
44 | toNormal | 44 | toNormal |
45 | = (\(a :: _) -> 'ComplexCase | 45 | = (\(a :: _) -> case'Complex |
46 | \_ -> \_ -> _ :: _ | 46 | \_ -> \_ -> _ :: _ |
47 | \(b :: _) (c :: _) -> _rhs (Complex (b * cos c) (b * sin c)) | 47 | \(b :: _) (c :: _) -> _rhs (Complex (b * cos c) (b * sin c)) |
48 | a) | 48 | a) |
49 | :: Complex Polar -> Complex Normal | 49 | :: Complex Polar -> Complex Normal |
50 | it_should_fail | 50 | it_should_fail |
51 | = \(a :: _) -> 'ComplexCase \_ -> \_ -> _ :: _ \(b :: _) -> \_ -> _rhs b a | 51 | = \(a :: _) -> case'Complex \_ -> \_ -> _ :: _ \(b :: _) -> \_ -> _rhs b a |
52 | add | 52 | add |
53 | = (\ @(a :: _) @(b :: _) (c :: _) (d :: _) -> 'ReprCase | 53 | = (\ @(a :: _) @(b :: _) (c :: _) (d :: _) -> case'Repr |
54 | \_ -> _ :: _ | 54 | \_ -> _ :: _ |
55 | ('ReprCase | 55 | (case'Repr |
56 | \_ -> _ :: _ | 56 | \_ -> _ :: _ |
57 | ('ComplexCase | 57 | (case'Complex |
58 | \_ -> \_ -> _ :: _ | 58 | \_ -> \_ -> _ :: _ |
59 | \(e :: _) (f :: _) -> 'ComplexCase | 59 | \(e :: _) (f :: _) -> case'Complex |
60 | \_ -> \_ -> _ :: _ | 60 | \_ -> \_ -> _ :: _ |
61 | \(g :: _) (h :: _) -> _rhs (Complex (e + g) (f + h)) | 61 | \(g :: _) (h :: _) -> _rhs (Complex (e + g) (f + h)) |
62 | d | 62 | d |
@@ -67,13 +67,13 @@ add | |||
67 | a) | 67 | a) |
68 | :: forall (i :: _) (j :: _) . Complex i -> Complex j -> Complex i | 68 | :: forall (i :: _) (j :: _) . Complex i -> Complex j -> Complex i |
69 | mul | 69 | mul |
70 | = (\ @(a :: _) @(b :: _) (c :: _) (d :: _) -> 'ReprCase | 70 | = (\ @(a :: _) @(b :: _) (c :: _) (d :: _) -> case'Repr |
71 | \_ -> _ :: _ | 71 | \_ -> _ :: _ |
72 | ('ReprCase | 72 | (case'Repr |
73 | \_ -> _ :: _ | 73 | \_ -> _ :: _ |
74 | ('ComplexCase | 74 | (case'Complex |
75 | \_ -> \_ -> _ :: _ | 75 | \_ -> \_ -> _ :: _ |
76 | \(e :: _) (f :: _) -> 'ComplexCase | 76 | \(e :: _) (f :: _) -> case'Complex |
77 | \_ -> \_ -> _ :: _ | 77 | \_ -> \_ -> _ :: _ |
78 | \(g :: _) (h :: _) -> _rhs (Complex (e * g - f * h) (f * g + e * h)) | 78 | \(g :: _) (h :: _) -> _rhs (Complex (e * g - f * h) (f * g + e * h)) |
79 | d | 79 | d |
@@ -94,13 +94,13 @@ main is not found | |||
94 | 'Repr :: Type | 94 | 'Repr :: Type |
95 | Normal :: Repr | 95 | Normal :: Repr |
96 | Polar :: Repr | 96 | Polar :: Repr |
97 | 'ReprCase | 97 | case'Repr |
98 | :: forall (a :: Repr -> Type) | 98 | :: forall (a :: Repr -> Type) |
99 | -> a 'Normal -> a 'Polar -> forall (b :: Repr) -> a b | 99 | -> a 'Normal -> a 'Polar -> forall (b :: Repr) -> a b |
100 | match'Repr :: forall (a :: Type -> Type) -> a Repr -> forall b -> a b -> a b | 100 | match'Repr :: forall (a :: Type -> Type) -> a Repr -> forall b -> a b -> a b |
101 | 'Complex :: Repr -> Type | 101 | 'Complex :: Repr -> Type |
102 | Complex :: forall (a :: Repr) . Float -> Float -> Complex a | 102 | Complex :: forall (a :: Repr) . Float -> Float -> Complex a |
103 | 'ComplexCase | 103 | case'Complex |
104 | :: forall (a :: forall (b :: Repr) -> Complex b -> Type) | 104 | :: forall (a :: forall (b :: Repr) -> Complex b -> Type) |
105 | -> (forall (c :: Repr) | 105 | -> (forall (c :: Repr) |
106 | . forall (d :: Float) (e :: Float) -> a c ('Complex c d e)) | 106 | . forall (d :: Float) (e :: Float) -> a c ('Complex c d e)) |
diff --git a/testdata/data.out b/testdata/data.out index 615a5361..3951ff90 100644 --- a/testdata/data.out +++ b/testdata/data.out | |||
@@ -9,7 +9,7 @@ data Data2 :: Type where | |||
9 | Data23 :: Int -> Data2 | 9 | Data23 :: Int -> Data2 |
10 | Data24 :: Data2 | 10 | Data24 :: Data2 |
11 | x | 11 | x |
12 | = \(a :: _) -> 'Data2Case | 12 | = \(a :: _) -> case'Data2 |
13 | \_ -> _ :: _ | 13 | \_ -> _ :: _ |
14 | \_ -> _rhs undefined | 14 | \_ -> _rhs undefined |
15 | \(b :: _) -> \_ -> _rhs b | 15 | \(b :: _) -> \_ -> _rhs b |
@@ -17,7 +17,7 @@ x | |||
17 | (_rhs undefined) | 17 | (_rhs undefined) |
18 | a | 18 | a |
19 | y | 19 | y |
20 | = \(a :: _) -> 'Data2Case | 20 | = \(a :: _) -> case'Data2 |
21 | \_ -> _ :: _ | 21 | \_ -> _ :: _ |
22 | \_ -> _rhs undefined | 22 | \_ -> _rhs undefined |
23 | \_ (b :: _) -> _rhs b | 23 | \_ (b :: _) -> _rhs b |
@@ -29,21 +29,21 @@ data Data5 (_ :: Type) (_ :: Type) (_ :: Type) :: Type where | |||
29 | Data52 :: forall d e f . d -> e -> f -> Data5 d e f | 29 | Data52 :: forall d e f . d -> e -> f -> Data5 d e f |
30 | Data53 :: forall g h i . Int -> g -> Float -> h -> i -> Data5 g h i | 30 | Data53 :: forall g h i . Int -> g -> Float -> h -> i -> Data5 g h i |
31 | a5 | 31 | a5 |
32 | = \(a :: _) -> 'Data5Case | 32 | = \(a :: _) -> case'Data5 |
33 | \_ -> _ :: _ | 33 | \_ -> _ :: _ |
34 | \(b :: _) -> _rhs b | 34 | \(b :: _) -> _rhs b |
35 | \(c :: _) -> \_ -> \_ -> _rhs c | 35 | \(c :: _) -> \_ -> \_ -> _rhs c |
36 | \_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined | 36 | \_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined |
37 | a | 37 | a |
38 | b5 | 38 | b5 |
39 | = \(a :: _) -> 'Data5Case | 39 | = \(a :: _) -> case'Data5 |
40 | \_ -> _ :: _ | 40 | \_ -> _ :: _ |
41 | \_ -> _rhs undefined | 41 | \_ -> _rhs undefined |
42 | \_ (b :: _) -> \_ -> _rhs b | 42 | \_ (b :: _) -> \_ -> _rhs b |
43 | \_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined | 43 | \_ -> \_ -> \_ -> \_ -> \_ -> _rhs undefined |
44 | a | 44 | a |
45 | c5 | 45 | c5 |
46 | = \(a :: _) -> 'Data5Case | 46 | = \(a :: _) -> case'Data5 |
47 | \_ -> _ :: _ | 47 | \_ -> _ :: _ |
48 | \_ -> _rhs undefined | 48 | \_ -> _rhs undefined |
49 | \_ -> \_ (b :: _) -> _rhs b | 49 | \_ -> \_ (b :: _) -> _rhs b |
@@ -53,12 +53,12 @@ main is not found | |||
53 | ------------ trace | 53 | ------------ trace |
54 | 'Data0 :: Type | 54 | 'Data0 :: Type |
55 | Data0 :: Data0 | 55 | Data0 :: Data0 |
56 | 'Data0Case | 56 | case'Data0 |
57 | :: forall (a :: Data0 -> Type) -> a 'Data0 -> forall (b :: Data0) -> a b | 57 | :: forall (a :: Data0 -> Type) -> a 'Data0 -> forall (b :: Data0) -> a b |
58 | match'Data0 :: forall (a :: Type -> Type) -> a Data0 -> forall b -> a b -> a b | 58 | match'Data0 :: forall (a :: Type -> Type) -> a Data0 -> forall b -> a b -> a b |
59 | 'Data1 :: Type -> Type -> Type -> Type | 59 | 'Data1 :: Type -> Type -> Type -> Type |
60 | Data1 :: forall a b c . a -> b -> c -> Data1 a b c | 60 | Data1 :: forall a b c . a -> b -> c -> Data1 a b c |
61 | 'Data1Case | 61 | case'Data1 |
62 | :: forall a b c | 62 | :: forall a b c |
63 | . forall (d :: Data1 a b c -> Type) | 63 | . forall (d :: Data1 a b c -> Type) |
64 | -> (forall (e :: a) (f :: b) (g :: c) -> d ('Data1 e f g)) | 64 | -> (forall (e :: a) (f :: b) (g :: c) -> d ('Data1 e f g)) |
@@ -71,7 +71,7 @@ Data21 :: Int -> Data2 | |||
71 | Data22 :: Int -> Int -> Data2 | 71 | Data22 :: Int -> Int -> Data2 |
72 | Data23 :: Int -> Data2 | 72 | Data23 :: Int -> Data2 |
73 | Data24 :: Data2 | 73 | Data24 :: Data2 |
74 | 'Data2Case | 74 | case'Data2 |
75 | :: forall (a :: Data2 -> Type) | 75 | :: forall (a :: Data2 -> Type) |
76 | -> (forall (b :: Int) -> a ('Data21 b)) | 76 | -> (forall (b :: Int) -> a ('Data21 b)) |
77 | -> (forall (c :: Int) (d :: Int) -> a ('Data22 c d)) | 77 | -> (forall (c :: Int) (d :: Int) -> a ('Data22 c d)) |
@@ -84,7 +84,7 @@ y :: Data2 -> Int | |||
84 | Data51 :: forall a b c . a -> Data5 a b c | 84 | Data51 :: forall a b c . a -> Data5 a b c |
85 | Data52 :: forall a b c . a -> b -> c -> Data5 a b c | 85 | Data52 :: forall a b c . a -> b -> c -> Data5 a b c |
86 | Data53 :: forall a b c . Int -> a -> Float -> b -> c -> Data5 a b c | 86 | Data53 :: forall a b c . Int -> a -> Float -> b -> c -> Data5 a b c |
87 | 'Data5Case | 87 | case'Data5 |
88 | :: forall a b c | 88 | :: forall a b c |
89 | . forall (d :: Data5 a b c -> Type) | 89 | . forall (d :: Data5 a b c -> Type) |
90 | -> (forall (e :: a) -> d ('Data51 e)) | 90 | -> (forall (e :: a) -> d ('Data51 e)) |
diff --git a/testdata/empty.out b/testdata/empty.out index 03f47f97..41c61ca7 100644 --- a/testdata/empty.out +++ b/testdata/empty.out | |||
@@ -4,7 +4,7 @@ data Empty :: Type where | |||
4 | main is not found | 4 | main is not found |
5 | ------------ trace | 5 | ------------ trace |
6 | 'Empty :: Type | 6 | 'Empty :: Type |
7 | 'EmptyCase :: forall (a :: Empty -> Type) (b :: Empty) -> a b | 7 | case'Empty :: forall (a :: Empty -> Type) (b :: Empty) -> a b |
8 | match'Empty :: forall (a :: Type -> Type) -> a Empty -> forall b -> a b -> a b | 8 | match'Empty :: forall (a :: Type -> Type) -> a Empty -> forall b -> a b -> a b |
9 | ------------ tooltips | 9 | ------------ tooltips |
10 | testdata/empty.lc 3:6-3:11 | 10 | testdata/empty.lc 3:6-3:11 |
diff --git a/testdata/language-features/adt/adt02.reject.out b/testdata/language-features/adt/adt02.reject.out index 0b4b0ba4..155444a2 100644 --- a/testdata/language-features/adt/adt02.reject.out +++ b/testdata/language-features/adt/adt02.reject.out | |||
@@ -8,7 +8,7 @@ in proj | |||
8 | 'Data3 :: Type | 8 | 'Data3 :: Type |
9 | Data3 :: Bool -> Char -> Bool -> Data3 | 9 | Data3 :: Bool -> Char -> Bool -> Data3 |
10 | Data31 :: Int -> String -> Int -> Data3 | 10 | Data31 :: Int -> String -> Int -> Data3 |
11 | 'Data3Case | 11 | case'Data3 |
12 | :: forall (a :: Data3 -> Type) | 12 | :: forall (a :: Data3 -> Type) |
13 | -> (forall (b :: Bool) (c :: Char) (d :: Bool) -> a ('Data3 b c d)) | 13 | -> (forall (b :: Bool) (c :: Char) (d :: Bool) -> a ('Data3 b c d)) |
14 | -> (forall (e :: Int) (f :: String) (g :: Int) -> a ('Data31 e f g)) | 14 | -> (forall (e :: Int) (f :: String) (g :: Int) -> a ('Data31 e f g)) |
diff --git a/testdata/language-features/adt/gadt03.reject.out b/testdata/language-features/adt/gadt03.reject.out index 38a50a8a..617050b6 100644 --- a/testdata/language-features/adt/gadt03.reject.out +++ b/testdata/language-features/adt/gadt03.reject.out | |||
@@ -2,7 +2,7 @@ illegal data definition (parameters are not uniform) | |||
2 | ------------ trace | 2 | ------------ trace |
3 | 'M2 :: Type -> String -> Type | 3 | 'M2 :: Type -> String -> Type |
4 | Value2 :: forall a . a -> forall (b :: String) . M2 a b | 4 | Value2 :: forall a . a -> forall (b :: String) . M2 a b |
5 | 'M2Case | 5 | case'M2 |
6 | :: forall a | 6 | :: forall a |
7 | . forall (b :: forall (c :: String) -> M2 a c -> Type) | 7 | . forall (b :: forall (c :: String) -> M2 a c -> Type) |
8 | -> (forall (d :: a) -> forall (e :: String) . b e ('Value2 d e)) | 8 | -> (forall (d :: a) -> forall (e :: String) . b e ('Value2 d e)) |
diff --git a/testdata/language-features/adt/gadt04.reject.out b/testdata/language-features/adt/gadt04.reject.out index 0d911620..7d351f15 100644 --- a/testdata/language-features/adt/gadt04.reject.out +++ b/testdata/language-features/adt/gadt04.reject.out | |||
@@ -7,7 +7,7 @@ and at testdata/language-features/adt/gadt04.reject.lc:3:3: | |||
7 | ------------ trace | 7 | ------------ trace |
8 | 'M :: Type -> String -> Type | 8 | 'M :: Type -> String -> Type |
9 | Value :: forall a . a -> forall (b :: String) . M a b | 9 | Value :: forall a . a -> forall (b :: String) . M a b |
10 | 'MCase | 10 | case'M |
11 | :: forall (a :: forall b (c :: String) -> M b c -> Type) | 11 | :: forall (a :: forall b (c :: String) -> M b c -> Type) |
12 | -> (forall d . forall (e :: d) -> forall (f :: String) . a d f ('Value d e f)) | 12 | -> (forall d . forall (e :: d) -> forall (f :: String) . a d f ('Value d e f)) |
13 | -> forall g (h :: String) . forall (i :: M g h) -> a g h i | 13 | -> forall g (h :: String) . forall (i :: M g h) -> a g h i |
diff --git a/testdata/language-features/basic-values/case02.out b/testdata/language-features/basic-values/case02.out index 0a13ee00..15412d74 100644 --- a/testdata/language-features/basic-values/case02.out +++ b/testdata/language-features/basic-values/case02.out | |||
@@ -1,12 +1,12 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value1 | 2 | value1 |
3 | = _rhs | 3 | = _rhs |
4 | ((\(a :: _) -> 'BoolCase \_ -> _ :: _ HNil HNil (fromInt 1 == a)) (fromInt 1)) | 4 | ((\(a :: _) -> case'Bool \_ -> _ :: _ HNil HNil (fromInt 1 == a)) (fromInt 1)) |
5 | value2 | 5 | value2 |
6 | = _rhs | 6 | = _rhs |
7 | ((\(a :: _) -> 'BoolCase | 7 | ((\(a :: _) -> case'Bool |
8 | \_ -> _ :: _ | 8 | \_ -> _ :: _ |
9 | ('BoolCase \_ -> _ :: _ "_" "2" (fromInt 2 == a)) | 9 | (case'Bool \_ -> _ :: _ "_" "2" (fromInt 2 == a)) |
10 | "1" | 10 | "1" |
11 | (fromInt 1 == a)) | 11 | (fromInt 1 == a)) |
12 | (fromInt 2)) | 12 | (fromInt 2)) |
diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out index 8eb9ef70..0cbaf1ce 100644 --- a/testdata/language-features/basic-values/case05.out +++ b/testdata/language-features/basic-values/case05.out | |||
@@ -1,7 +1,7 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value | 2 | value |
3 | = \(a :: _) -> _rhs | 3 | = \(a :: _) -> _rhs |
4 | ((\(b :: _) -> 'BoolCase \_ -> _ :: _ undefined '1' (fromInt 1 == b)) a) | 4 | ((\(b :: _) -> case'Bool \_ -> _ :: _ undefined '1' (fromInt 1 == b)) a) |
5 | main is not found | 5 | main is not found |
6 | ------------ trace | 6 | ------------ trace |
7 | value :: forall a . (Eq a, Num a) => a -> Char | 7 | value :: forall a . (Eq a, Num a) => a -> Char |
diff --git a/testdata/language-features/basic-values/case06.out b/testdata/language-features/basic-values/case06.out index 0ebb8113..3fb83b8c 100644 --- a/testdata/language-features/basic-values/case06.out +++ b/testdata/language-features/basic-values/case06.out | |||
@@ -1,7 +1,7 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value | 2 | value |
3 | = \(a :: _) -> _rhs | 3 | = \(a :: _) -> _rhs |
4 | ((\(b :: _) -> 'BoolCase \_ -> _ :: _ '_' '1' (fromInt 1 == b)) a) | 4 | ((\(b :: _) -> case'Bool \_ -> _ :: _ '_' '1' (fromInt 1 == b)) a) |
5 | main is not found | 5 | main is not found |
6 | ------------ trace | 6 | ------------ trace |
7 | value :: forall a . (Eq a, Num a) => a -> Char | 7 | value :: forall a . (Eq a, Num a) => a -> Char |
diff --git a/testdata/language-features/basic-values/data01.out b/testdata/language-features/basic-values/data01.out index f1d99bf2..7845cf0a 100644 --- a/testdata/language-features/basic-values/data01.out +++ b/testdata/language-features/basic-values/data01.out | |||
@@ -17,14 +17,14 @@ main is not found | |||
17 | B :: A | 17 | B :: A |
18 | C :: A | 18 | C :: A |
19 | D :: A | 19 | D :: A |
20 | 'ACase | 20 | case'A |
21 | :: forall (a :: A -> Type) -> a 'B -> a 'C -> a 'D -> forall (b :: A) -> a b | 21 | :: forall (a :: A -> Type) -> a 'B -> a 'C -> a 'D -> forall (b :: A) -> a b |
22 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b | 22 | match'A :: forall (a :: Type -> Type) -> a A -> forall b -> a b -> a b |
23 | 'E :: Type | 23 | 'E :: Type |
24 | F :: E | 24 | F :: E |
25 | G :: () -> E | 25 | G :: () -> E |
26 | H :: E | 26 | H :: E |
27 | 'ECase | 27 | case'E |
28 | :: forall (a :: E -> Type) | 28 | :: forall (a :: E -> Type) |
29 | -> a 'F -> (forall (b :: ()) -> a ('G b)) -> a 'H -> forall (c :: E) -> a c | 29 | -> a 'F -> (forall (b :: ()) -> a ('G b)) -> a 'H -> forall (c :: E) -> a c |
30 | match'E :: forall (a :: Type -> Type) -> a E -> forall b -> a b -> a b | 30 | match'E :: forall (a :: Type -> Type) -> a E -> forall b -> a b -> a b |
@@ -32,7 +32,7 @@ match'E :: forall (a :: Type -> Type) -> a E -> forall b -> a b -> a b | |||
32 | C1 :: D1 | 32 | C1 :: D1 |
33 | C2 :: () -> D1 | 33 | C2 :: () -> D1 |
34 | C3 :: D1 | 34 | C3 :: D1 |
35 | 'D1Case | 35 | case'D1 |
36 | :: forall (a :: D1 -> Type) | 36 | :: forall (a :: D1 -> Type) |
37 | -> a 'C1 -> (forall (b :: ()) -> a ('C2 b)) -> a 'C3 -> forall (c :: D1) -> a c | 37 | -> a 'C1 -> (forall (b :: ()) -> a ('C2 b)) -> a 'C3 -> forall (c :: D1) -> a c |
38 | match'D1 :: forall (a :: Type -> Type) -> a D1 -> forall b -> a b -> a b | 38 | match'D1 :: forall (a :: Type -> Type) -> a D1 -> forall b -> a b -> a b |
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out index 63aa727f..f9a8d629 100644 --- a/testdata/language-features/basic-values/def03.out +++ b/testdata/language-features/basic-values/def03.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | fun | 2 | fun |
3 | = \(a :: _) -> 'BoolCase | 3 | = \(a :: _) -> case'Bool |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs '2') (fromInt 2 == a)) | 5 | (case'Bool \_ -> _ :: _ (_rhs undefined) (_rhs '2') (fromInt 2 == a)) |
6 | (_rhs '1') | 6 | (_rhs '1') |
7 | (fromInt 1 == a) | 7 | (fromInt 1 == a) |
8 | main is not found | 8 | main is not found |
diff --git a/testdata/language-features/basic-values/def04.out b/testdata/language-features/basic-values/def04.out index a7f42118..de7336c1 100644 --- a/testdata/language-features/basic-values/def04.out +++ b/testdata/language-features/basic-values/def04.out | |||
@@ -1,14 +1,14 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | fun | 2 | fun |
3 | = \(a :: _) -> 'BoolCase | 3 | = \(a :: _) -> case'Bool |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | ('BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '2') (fromInt 2 == a)) | 5 | (case'Bool \_ -> _ :: _ (_rhs '_') (_rhs '2') (fromInt 2 == a)) |
6 | (_rhs '1') | 6 | (_rhs '1') |
7 | (fromInt 1 == a) | 7 | (fromInt 1 == a) |
8 | fun2 | 8 | fun2 |
9 | = \(a :: _) -> \_ -> 'BoolCase | 9 | = \(a :: _) -> \_ -> case'Bool |
10 | \_ -> _ :: _ | 10 | \_ -> _ :: _ |
11 | ('BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '2') (fromInt 2 == a)) | 11 | (case'Bool \_ -> _ :: _ (_rhs '_') (_rhs '2') (fromInt 2 == a)) |
12 | (_rhs '1') | 12 | (_rhs '1') |
13 | (fromInt 1 == a) | 13 | (fromInt 1 == a) |
14 | main is not found | 14 | main is not found |
diff --git a/testdata/language-features/basic-values/infix03.out b/testdata/language-features/basic-values/infix03.out index 8c85e0c4..81521b91 100644 --- a/testdata/language-features/basic-values/infix03.out +++ b/testdata/language-features/basic-values/infix03.out | |||
@@ -9,7 +9,7 @@ main is not found | |||
9 | 'D :: Type | 9 | 'D :: Type |
10 | D2 :: () -> () -> D | 10 | D2 :: () -> () -> D |
11 | D3 :: () -> () -> () -> D | 11 | D3 :: () -> () -> () -> D |
12 | 'DCase | 12 | case'D |
13 | :: forall (a :: D -> Type) | 13 | :: forall (a :: D -> Type) |
14 | -> (forall (b :: ()) (c :: ()) -> a ('D2 b c)) | 14 | -> (forall (b :: ()) (c :: ()) -> a ('D2 b c)) |
15 | -> (forall (d :: ()) (e :: ()) (f :: ()) -> a ('D3 d e f)) | 15 | -> (forall (d :: ()) (e :: ()) (f :: ()) -> a ('D3 d e f)) |
diff --git a/testdata/language-features/basic-values/where05.out b/testdata/language-features/basic-values/where05.out index a16b9c91..8f5ef0e0 100644 --- a/testdata/language-features/basic-values/where05.out +++ b/testdata/language-features/basic-values/where05.out | |||
@@ -1,7 +1,7 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value1 | 2 | value1 |
3 | = _rhs | 3 | = _rhs |
4 | ((\(a :: _) -> 'BoolCase | 4 | ((\(a :: _) -> case'Bool |
5 | \_ -> _ :: _ | 5 | \_ -> _ :: _ |
6 | HNil | 6 | HNil |
7 | \(b := _rhs HNil) -> b | 7 | \(b := _rhs HNil) -> b |
@@ -9,7 +9,7 @@ value1 | |||
9 | (fromInt 1)) | 9 | (fromInt 1)) |
10 | value2 | 10 | value2 |
11 | = _rhs | 11 | = _rhs |
12 | ((\(a :: _) -> 'BoolCase | 12 | ((\(a :: _) -> case'Bool |
13 | \_ -> _ :: _ | 13 | \_ -> _ :: _ |
14 | HNil | 14 | HNil |
15 | \(b := _rhs HNil) -> b | 15 | \(b := _rhs HNil) -> b |
@@ -17,7 +17,7 @@ value2 | |||
17 | (fromInt 1)) | 17 | (fromInt 1)) |
18 | value3 | 18 | value3 |
19 | = _rhs | 19 | = _rhs |
20 | ((\(a :: _) -> 'BoolCase | 20 | ((\(a :: _) -> case'Bool |
21 | \_ -> _ :: _ | 21 | \_ -> _ :: _ |
22 | HNil | 22 | HNil |
23 | \(b := _rhs HNil) -> b | 23 | \(b := _rhs HNil) -> b |
@@ -25,7 +25,7 @@ value3 | |||
25 | (fromInt 1)) | 25 | (fromInt 1)) |
26 | value4 | 26 | value4 |
27 | = _rhs | 27 | = _rhs |
28 | \(a := _rhs HNil) -> (\(b :: _) -> 'BoolCase | 28 | \(a := _rhs HNil) -> (\(b :: _) -> case'Bool |
29 | \_ -> _ :: _ | 29 | \_ -> _ :: _ |
30 | HNil | 30 | HNil |
31 | a | 31 | a |
diff --git a/testdata/language-features/guard/guard01.out b/testdata/language-features/guard/guard01.out index 2024e439..7979b597 100644 --- a/testdata/language-features/guard/guard01.out +++ b/testdata/language-features/guard/guard01.out | |||
@@ -1,5 +1,5 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value = 'BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs HNil) True | 2 | value = case'Bool \_ -> _ :: _ (_rhs undefined) (_rhs HNil) True |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: () | 5 | value :: () |
diff --git a/testdata/language-features/guard/guard03.out b/testdata/language-features/guard/guard03.out index f6d6fde2..d872a41a 100644 --- a/testdata/language-features/guard/guard03.out +++ b/testdata/language-features/guard/guard03.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value | 2 | value |
3 | = 'BoolCase | 3 | = case'Bool |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False) | 5 | (case'Bool \_ -> _ :: _ (_rhs undefined) (_rhs "False") False) |
6 | (_rhs "True") | 6 | (_rhs "True") |
7 | True | 7 | True |
8 | main is not found | 8 | main is not found |
diff --git a/testdata/language-features/guard/guard04.out b/testdata/language-features/guard/guard04.out index 71c66618..67f97310 100644 --- a/testdata/language-features/guard/guard04.out +++ b/testdata/language-features/guard/guard04.out | |||
@@ -1,5 +1,5 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value = 'BoolCase \_ -> _ :: _ (_rhs "False") (_rhs "True") True | 2 | value = case'Bool \_ -> _ :: _ (_rhs "False") (_rhs "True") True |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: String | 5 | value :: String |
diff --git a/testdata/language-features/guard/guard07.out b/testdata/language-features/guard/guard07.out index f138742f..d53bdc00 100644 --- a/testdata/language-features/guard/guard07.out +++ b/testdata/language-features/guard/guard07.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value | 2 | value |
3 | = 'BoolCase | 3 | = case'Bool |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False) | 5 | (case'Bool \_ -> _ :: _ (_rhs undefined) (_rhs "False") False) |
6 | (_rhs "True") | 6 | (_rhs "True") |
7 | True | 7 | True |
8 | main is not found | 8 | main is not found |
diff --git a/testdata/language-features/guard/guard08.out b/testdata/language-features/guard/guard08.out index c963ddf3..76334bcf 100644 --- a/testdata/language-features/guard/guard08.out +++ b/testdata/language-features/guard/guard08.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value | 2 | value |
3 | = 'BoolCase | 3 | = case'Bool |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False) | 5 | (case'Bool \_ -> _ :: _ (_rhs undefined) (_rhs "False") False) |
6 | (_rhs "True") | 6 | (_rhs "True") |
7 | True | 7 | True |
8 | main is not found | 8 | main is not found |
diff --git a/testdata/language-features/guard/guard09.out b/testdata/language-features/guard/guard09.out index 4519075e..8b562ed0 100644 --- a/testdata/language-features/guard/guard09.out +++ b/testdata/language-features/guard/guard09.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value | 2 | value |
3 | = 'BoolCase | 3 | = case'Bool |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs "False") False) | 5 | (case'Bool \_ -> _ :: _ (_rhs undefined) (_rhs "False") False) |
6 | (_rhs "True") | 6 | (_rhs "True") |
7 | True | 7 | True |
8 | main is not found | 8 | main is not found |
diff --git a/testdata/language-features/guard/guard11.out b/testdata/language-features/guard/guard11.out index de87d5ea..087cb504 100644 --- a/testdata/language-features/guard/guard11.out +++ b/testdata/language-features/guard/guard11.out | |||
@@ -1,5 +1,5 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | fun = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs "False") (_rhs "True") a | 2 | fun = \(a :: _) -> case'Bool \_ -> _ :: _ (_rhs "False") (_rhs "True") a |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | fun :: Bool -> String | 5 | fun :: Bool -> String |
diff --git a/testdata/language-features/guard/guard13.out b/testdata/language-features/guard/guard13.out index 47d31f9a..9a470a2c 100644 --- a/testdata/language-features/guard/guard13.out +++ b/testdata/language-features/guard/guard13.out | |||
@@ -1,5 +1,5 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | fun = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) a | 2 | fun = \(a :: _) -> case'Bool \_ -> _ :: _ (_rhs HNil) (_rhs HNil) a |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | fun :: Bool -> () | 5 | fun :: Bool -> () |
diff --git a/testdata/language-features/guard/guard14.out b/testdata/language-features/guard/guard14.out index 901fe596..46612e86 100644 --- a/testdata/language-features/guard/guard14.out +++ b/testdata/language-features/guard/guard14.out | |||
@@ -1,5 +1,5 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value = _rhs \(a := 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) True) -> HNil | 2 | value = _rhs \(a := case'Bool \_ -> _ :: _ (_rhs HNil) (_rhs HNil) True) -> HNil |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: () | 5 | value :: () |
diff --git a/testdata/language-features/guard/guard15.out b/testdata/language-features/guard/guard15.out index 5938370b..39a1d1e6 100644 --- a/testdata/language-features/guard/guard15.out +++ b/testdata/language-features/guard/guard15.out | |||
@@ -1,5 +1,5 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value = _rhs \(a := 'BoolCase \_ -> _ :: _ (_rhs HNil) (_rhs HNil) True) -> HNil | 2 | value = _rhs \(a := case'Bool \_ -> _ :: _ (_rhs HNil) (_rhs HNil) True) -> HNil |
3 | main is not found | 3 | main is not found |
4 | ------------ trace | 4 | ------------ trace |
5 | value :: () | 5 | value :: () |
diff --git a/testdata/language-features/guard/guard16.out b/testdata/language-features/guard/guard16.out index f90d684f..d31ed4ff 100644 --- a/testdata/language-features/guard/guard16.out +++ b/testdata/language-features/guard/guard16.out | |||
@@ -1,10 +1,10 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | value | 2 | value |
3 | = _rhs | 3 | = _rhs |
4 | ((\(a :: _) -> 'BoolCase | 4 | ((\(a :: _) -> case'Bool |
5 | \_ -> _ :: _ | 5 | \_ -> _ :: _ |
6 | HNil | 6 | HNil |
7 | ('BoolCase \_ -> _ :: _ HNil HNil True) | 7 | (case'Bool \_ -> _ :: _ HNil HNil True) |
8 | (fromInt 1 == a)) | 8 | (fromInt 1 == a)) |
9 | (fromInt 1)) | 9 | (fromInt 1)) |
10 | main is not found | 10 | main is not found |
diff --git a/testdata/language-features/pattern/pattern01.out b/testdata/language-features/pattern/pattern01.out index 82bc15bb..6a62a1e1 100644 --- a/testdata/language-features/pattern/pattern01.out +++ b/testdata/language-features/pattern/pattern01.out | |||
@@ -1,8 +1,8 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | fun1 | 2 | fun1 |
3 | = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') (fromInt 0 == a) | 3 | = \(a :: _) -> case'Bool \_ -> _ :: _ (_rhs '_') (_rhs '0') (fromInt 0 == a) |
4 | fun2 = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') ("0" == a) | 4 | fun2 = \(a :: _) -> case'Bool \_ -> _ :: _ (_rhs '_') (_rhs '0') ("0" == a) |
5 | fun3 = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs '_') (_rhs '0') ('0' == a) | 5 | fun3 = \(a :: _) -> case'Bool \_ -> _ :: _ (_rhs '_') (_rhs '0') ('0' == a) |
6 | fun4 = \(a :: _) -> hlistNilCase (_ :: _) (_rhs '0') a | 6 | fun4 = \(a :: _) -> hlistNilCase (_ :: _) (_rhs '0') a |
7 | main is not found | 7 | main is not found |
8 | ------------ trace | 8 | ------------ trace |
diff --git a/testdata/language-features/pattern/uncovered.out b/testdata/language-features/pattern/uncovered.out index 9cf9ef79..79b234a6 100644 --- a/testdata/language-features/pattern/uncovered.out +++ b/testdata/language-features/pattern/uncovered.out | |||
@@ -1,37 +1,37 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | f | 2 | f |
3 | = \(a :: _) (b :: _) (c :: _) -> 'BoolCase | 3 | = \(a :: _) (b :: _) (c :: _) -> case'Bool |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | ('BoolCase | 5 | (case'Bool |
6 | \_ -> _ :: _ | 6 | \_ -> _ :: _ |
7 | ('BoolCase \_ -> _ :: _ (_rhs undefined) (_rhs (fromInt 1)) c) | 7 | (case'Bool \_ -> _ :: _ (_rhs undefined) (_rhs (fromInt 1)) c) |
8 | (_rhs (fromInt 2)) | 8 | (_rhs (fromInt 2)) |
9 | a) | 9 | a) |
10 | ('BoolCase | 10 | (case'Bool |
11 | \_ -> _ :: _ | 11 | \_ -> _ :: _ |
12 | (_rhs (fromInt 0)) | 12 | (_rhs (fromInt 0)) |
13 | ('BoolCase \_ -> _ :: _ (_rhs (fromInt 1)) (_rhs undefined) a) | 13 | (case'Bool \_ -> _ :: _ (_rhs (fromInt 1)) (_rhs undefined) a) |
14 | c) | 14 | c) |
15 | b | 15 | b |
16 | g | 16 | g |
17 | = \(a :: _) -> 'ListCase | 17 | = \(a :: _) -> case'List |
18 | \_ -> _ :: _ | 18 | \_ -> _ :: _ |
19 | (_rhs undefined) | 19 | (_rhs undefined) |
20 | \(b :: _) (c :: _) -> 'BoolCase | 20 | \(b :: _) (c :: _) -> case'Bool |
21 | \_ -> _ :: _ | 21 | \_ -> _ :: _ |
22 | (_rhs undefined) | 22 | (_rhs undefined) |
23 | ('ListCase | 23 | (case'List |
24 | \_ -> _ :: _ | 24 | \_ -> _ :: _ |
25 | (_rhs undefined) | 25 | (_rhs undefined) |
26 | \(d :: _) (e :: _) -> 'BoolCase | 26 | \(d :: _) (e :: _) -> case'Bool |
27 | \_ -> _ :: _ | 27 | \_ -> _ :: _ |
28 | ('ListCase | 28 | (case'List |
29 | \_ -> _ :: _ | 29 | \_ -> _ :: _ |
30 | (_rhs undefined) | 30 | (_rhs undefined) |
31 | \(f :: _) (g :: _) -> 'BoolCase | 31 | \(f :: _) (g :: _) -> case'Bool |
32 | \_ -> _ :: _ | 32 | \_ -> _ :: _ |
33 | (_rhs undefined) | 33 | (_rhs undefined) |
34 | ('ListCase \_ -> _ :: _ (_rhs False) \_ -> \_ -> _rhs undefined g) | 34 | (case'List \_ -> _ :: _ (_rhs False) \_ -> \_ -> _rhs undefined g) |
35 | f | 35 | f |
36 | e) | 36 | e) |
37 | (_rhs undefined) | 37 | (_rhs undefined) |
@@ -40,28 +40,28 @@ g | |||
40 | b | 40 | b |
41 | a | 41 | a |
42 | h | 42 | h |
43 | = \(a :: _) -> 'ListCase | 43 | = \(a :: _) -> case'List |
44 | \_ -> _ :: _ | 44 | \_ -> _ :: _ |
45 | (_rhs undefined) | 45 | (_rhs undefined) |
46 | \(b :: _) (c :: _) -> 'ListCase | 46 | \(b :: _) (c :: _) -> case'List |
47 | \_ -> _ :: _ | 47 | \_ -> _ :: _ |
48 | (_rhs undefined) | 48 | (_rhs undefined) |
49 | \(d :: _) (e :: _) -> 'BoolCase | 49 | \(d :: _) (e :: _) -> case'Bool |
50 | \_ -> _ :: _ | 50 | \_ -> _ :: _ |
51 | (_rhs undefined) | 51 | (_rhs undefined) |
52 | ('ListCase | 52 | (case'List |
53 | \_ -> _ :: _ | 53 | \_ -> _ :: _ |
54 | ('ListCase | 54 | (case'List |
55 | \_ -> _ :: _ | 55 | \_ -> _ :: _ |
56 | (_rhs undefined) | 56 | (_rhs undefined) |
57 | \(f :: _) (g :: _) -> 'ListCase | 57 | \(f :: _) (g :: _) -> case'List |
58 | \_ -> _ :: _ | 58 | \_ -> _ :: _ |
59 | (_rhs undefined) | 59 | (_rhs undefined) |
60 | \(h :: _) (i :: _) -> 'BoolCase | 60 | \(h :: _) (i :: _) -> case'Bool |
61 | \_ -> _ :: _ | 61 | \_ -> _ :: _ |
62 | ('ListCase | 62 | (case'List |
63 | \_ -> _ :: _ | 63 | \_ -> _ :: _ |
64 | ('ListCase \_ -> _ :: _ (_rhs True) \_ -> \_ -> _rhs undefined g) | 64 | (case'List \_ -> _ :: _ (_rhs True) \_ -> \_ -> _rhs undefined g) |
65 | \_ -> \_ -> _rhs undefined | 65 | \_ -> \_ -> _rhs undefined |
66 | i) | 66 | i) |
67 | (_rhs undefined) | 67 | (_rhs undefined) |
diff --git a/testdata/language-features/recursion/simplerec01.out b/testdata/language-features/recursion/simplerec01.out index f46727b7..8b26638c 100644 --- a/testdata/language-features/recursion/simplerec01.out +++ b/testdata/language-features/recursion/simplerec01.out | |||
@@ -1,6 +1,6 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | fun | 2 | fun |
3 | = \(a :: _) -> 'BoolCase | 3 | = \(a :: _) -> case'Bool |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | (_rhs (fun (fromInt 0))) | 5 | (_rhs (fun (fromInt 0))) |
6 | (_rhs 'a') | 6 | (_rhs 'a') |
diff --git a/testdata/language-features/recursion/simplerec02.out b/testdata/language-features/recursion/simplerec02.out index becc3390..785ea0a0 100644 --- a/testdata/language-features/recursion/simplerec02.out +++ b/testdata/language-features/recursion/simplerec02.out | |||
@@ -3,7 +3,7 @@ value | |||
3 | = _rhs | 3 | = _rhs |
4 | \(a | 4 | \(a |
5 | := primFix | 5 | := primFix |
6 | \(b :: _) (c :: _) -> 'BoolCase | 6 | \(b :: _) (c :: _) -> case'Bool |
7 | \_ -> _ :: _ | 7 | \_ -> _ :: _ |
8 | (_rhs (b (fromInt 0))) | 8 | (_rhs (b (fromInt 0))) |
9 | (_rhs 'a') | 9 | (_rhs 'a') |
diff --git a/testdata/language-features/recursion/simplerec03.out b/testdata/language-features/recursion/simplerec03.out index 51fac6c9..273791dd 100644 --- a/testdata/language-features/recursion/simplerec03.out +++ b/testdata/language-features/recursion/simplerec03.out | |||
@@ -3,7 +3,7 @@ value | |||
3 | = _rhs | 3 | = _rhs |
4 | \(a | 4 | \(a |
5 | := primFix | 5 | := primFix |
6 | \(b :: _) (c :: _) -> 'BoolCase | 6 | \(b :: _) (c :: _) -> case'Bool |
7 | \_ -> _ :: _ | 7 | \_ -> _ :: _ |
8 | (_rhs (b (fromInt 0))) | 8 | (_rhs (b (fromInt 0))) |
9 | (_rhs 'a') | 9 | (_rhs 'a') |
diff --git a/testdata/performance/Material.out b/testdata/performance/Material.out index 604cf0fd..510d3b92 100644 --- a/testdata/performance/Material.out +++ b/testdata/performance/Material.out | |||
@@ -6,13 +6,13 @@ data Entity :: Type where | |||
6 | -> Vec (fromInt 4) Float | 6 | -> Vec (fromInt 4) Float |
7 | -> Vec (fromInt 3) Float -> Vec (fromInt 4) Float -> Entity | 7 | -> Vec (fromInt 3) Float -> Vec (fromInt 4) Float -> Entity |
8 | eAmbientLight | 8 | eAmbientLight |
9 | = \(a :: _) -> 'EntityCase \_ -> _ :: _ \(b :: _) -> \_ -> \_ -> \_ -> _rhs b a | 9 | = \(a :: _) -> case'Entity \_ -> _ :: _ \(b :: _) -> \_ -> \_ -> \_ -> _rhs b a |
10 | eDirectedLight | 10 | eDirectedLight |
11 | = \(a :: _) -> 'EntityCase \_ -> _ :: _ \_ (b :: _) -> \_ -> \_ -> _rhs b a | 11 | = \(a :: _) -> case'Entity \_ -> _ :: _ \_ (b :: _) -> \_ -> \_ -> _rhs b a |
12 | eLightDir | 12 | eLightDir |
13 | = \(a :: _) -> 'EntityCase \_ -> _ :: _ \_ -> \_ (b :: _) -> \_ -> _rhs b a | 13 | = \(a :: _) -> case'Entity \_ -> _ :: _ \_ -> \_ (b :: _) -> \_ -> _rhs b a |
14 | eShaderRGBA | 14 | eShaderRGBA |
15 | = \(a :: _) -> 'EntityCase \_ -> _ :: _ \_ -> \_ -> \_ (b :: _) -> _rhs b a | 15 | = \(a :: _) -> case'Entity \_ -> _ :: _ \_ -> \_ -> \_ (b :: _) -> _rhs b a |
16 | data WaveType :: Type where | 16 | data WaveType :: Type where |
17 | WT_Sin :: WaveType | 17 | WT_Sin :: WaveType |
18 | WT_Triangle :: WaveType | 18 | WT_Triangle :: WaveType |
@@ -113,57 +113,57 @@ data StageAttrs :: Type where | |||
113 | -> StageTexture | 113 | -> StageTexture |
114 | -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs | 114 | -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs |
115 | saBlend | 115 | saBlend |
116 | = \(a :: _) -> 'StageAttrsCase | 116 | = \(a :: _) -> case'StageAttrs |
117 | \_ -> _ :: _ | 117 | \_ -> _ :: _ |
118 | \(b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 118 | \(b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
119 | a | 119 | a |
120 | saRGBGen | 120 | saRGBGen |
121 | = \(a :: _) -> 'StageAttrsCase | 121 | = \(a :: _) -> case'StageAttrs |
122 | \_ -> _ :: _ | 122 | \_ -> _ :: _ |
123 | \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 123 | \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
124 | a | 124 | a |
125 | saAlphaGen | 125 | saAlphaGen |
126 | = \(a :: _) -> 'StageAttrsCase | 126 | = \(a :: _) -> case'StageAttrs |
127 | \_ -> _ :: _ | 127 | \_ -> _ :: _ |
128 | \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 128 | \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
129 | a | 129 | a |
130 | saTCGen | 130 | saTCGen |
131 | = \(a :: _) -> 'StageAttrsCase | 131 | = \(a :: _) -> case'StageAttrs |
132 | \_ -> _ :: _ | 132 | \_ -> _ :: _ |
133 | \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 133 | \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
134 | a | 134 | a |
135 | saTCMod | 135 | saTCMod |
136 | = \(a :: _) -> 'StageAttrsCase | 136 | = \(a :: _) -> case'StageAttrs |
137 | \_ -> _ :: _ | 137 | \_ -> _ :: _ |
138 | \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 138 | \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
139 | a | 139 | a |
140 | saTexture | 140 | saTexture |
141 | = \(a :: _) -> 'StageAttrsCase | 141 | = \(a :: _) -> case'StageAttrs |
142 | \_ -> _ :: _ | 142 | \_ -> _ :: _ |
143 | \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b | 143 | \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs b |
144 | a | 144 | a |
145 | saDepthWrite | 145 | saDepthWrite |
146 | = \(a :: _) -> 'StageAttrsCase | 146 | = \(a :: _) -> case'StageAttrs |
147 | \_ -> _ :: _ | 147 | \_ -> _ :: _ |
148 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> _rhs b | 148 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> _rhs b |
149 | a | 149 | a |
150 | saDepthFunc | 150 | saDepthFunc |
151 | = \(a :: _) -> 'StageAttrsCase | 151 | = \(a :: _) -> case'StageAttrs |
152 | \_ -> _ :: _ | 152 | \_ -> _ :: _ |
153 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> _rhs b | 153 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> _rhs b |
154 | a | 154 | a |
155 | saAlphaFunc | 155 | saAlphaFunc |
156 | = \(a :: _) -> 'StageAttrsCase | 156 | = \(a :: _) -> case'StageAttrs |
157 | \_ -> _ :: _ | 157 | \_ -> _ :: _ |
158 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> _rhs b | 158 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> _rhs b |
159 | a | 159 | a |
160 | saDepthMaskExplicit | 160 | saDepthMaskExplicit |
161 | = \(a :: _) -> 'StageAttrsCase | 161 | = \(a :: _) -> case'StageAttrs |
162 | \_ -> _ :: _ | 162 | \_ -> _ :: _ |
163 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> _rhs b | 163 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> _rhs b |
164 | a | 164 | a |
165 | saTextureUniform | 165 | saTextureUniform |
166 | = \(a :: _) -> 'StageAttrsCase | 166 | = \(a :: _) -> case'StageAttrs |
167 | \_ -> _ :: _ | 167 | \_ -> _ :: _ |
168 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> _rhs b | 168 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> _rhs b |
169 | a | 169 | a |
@@ -192,74 +192,74 @@ data CommonAttrs :: Type where | |||
192 | -> Bool | 192 | -> Bool |
193 | -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs | 193 | -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs |
194 | caSkyParms | 194 | caSkyParms |
195 | = \(a :: _) -> 'CommonAttrsCase | 195 | = \(a :: _) -> case'CommonAttrs |
196 | \_ -> _ :: _ | 196 | \_ -> _ :: _ |
197 | \(b | 197 | \(b |
198 | :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 198 | :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
199 | b | 199 | b |
200 | a | 200 | a |
201 | caFogParms | 201 | caFogParms |
202 | = \(a :: _) -> 'CommonAttrsCase | 202 | = \(a :: _) -> case'CommonAttrs |
203 | \_ -> _ :: _ | 203 | \_ -> _ :: _ |
204 | \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 204 | \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
205 | b | 205 | b |
206 | a | 206 | a |
207 | caPortal | 207 | caPortal |
208 | = \(a :: _) -> 'CommonAttrsCase | 208 | = \(a :: _) -> case'CommonAttrs |
209 | \_ -> _ :: _ | 209 | \_ -> _ :: _ |
210 | \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 210 | \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
211 | b | 211 | b |
212 | a | 212 | a |
213 | caSort | 213 | caSort |
214 | = \(a :: _) -> 'CommonAttrsCase | 214 | = \(a :: _) -> case'CommonAttrs |
215 | \_ -> _ :: _ | 215 | \_ -> _ :: _ |
216 | \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 216 | \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
217 | b | 217 | b |
218 | a | 218 | a |
219 | caEntityMergable | 219 | caEntityMergable |
220 | = \(a :: _) -> 'CommonAttrsCase | 220 | = \(a :: _) -> case'CommonAttrs |
221 | \_ -> _ :: _ | 221 | \_ -> _ :: _ |
222 | \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 222 | \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
223 | b | 223 | b |
224 | a | 224 | a |
225 | caFogOnly | 225 | caFogOnly |
226 | = \(a :: _) -> 'CommonAttrsCase | 226 | = \(a :: _) -> case'CommonAttrs |
227 | \_ -> _ :: _ | 227 | \_ -> _ :: _ |
228 | \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 228 | \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
229 | b | 229 | b |
230 | a | 230 | a |
231 | caCull | 231 | caCull |
232 | = \(a :: _) -> 'CommonAttrsCase | 232 | = \(a :: _) -> case'CommonAttrs |
233 | \_ -> _ :: _ | 233 | \_ -> _ :: _ |
234 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs | 234 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> \_ -> _rhs |
235 | b | 235 | b |
236 | a | 236 | a |
237 | caDeformVertexes | 237 | caDeformVertexes |
238 | = \(a :: _) -> 'CommonAttrsCase | 238 | = \(a :: _) -> case'CommonAttrs |
239 | \_ -> _ :: _ | 239 | \_ -> _ :: _ |
240 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> _rhs | 240 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> \_ -> _rhs |
241 | b | 241 | b |
242 | a | 242 | a |
243 | caNoMipMaps | 243 | caNoMipMaps |
244 | = \(a :: _) -> 'CommonAttrsCase | 244 | = \(a :: _) -> case'CommonAttrs |
245 | \_ -> _ :: _ | 245 | \_ -> _ :: _ |
246 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> _rhs | 246 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> \_ -> _rhs |
247 | b | 247 | b |
248 | a | 248 | a |
249 | caPolygonOffset | 249 | caPolygonOffset |
250 | = \(a :: _) -> 'CommonAttrsCase | 250 | = \(a :: _) -> case'CommonAttrs |
251 | \_ -> _ :: _ | 251 | \_ -> _ :: _ |
252 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> _rhs | 252 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> \_ -> _rhs |
253 | b | 253 | b |
254 | a | 254 | a |
255 | caStages | 255 | caStages |
256 | = \(a :: _) -> 'CommonAttrsCase | 256 | = \(a :: _) -> case'CommonAttrs |
257 | \_ -> _ :: _ | 257 | \_ -> _ :: _ |
258 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> _rhs | 258 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> \_ -> _rhs |
259 | b | 259 | b |
260 | a | 260 | a |
261 | caIsSky | 261 | caIsSky |
262 | = \(a :: _) -> 'CommonAttrsCase | 262 | = \(a :: _) -> case'CommonAttrs |
263 | \_ -> _ :: _ | 263 | \_ -> _ :: _ |
264 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> _rhs | 264 | \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ -> \_ (b :: _) -> _rhs |
265 | b | 265 | b |
@@ -285,7 +285,7 @@ main is not found | |||
285 | identityLight :: Float | 285 | identityLight :: Float |
286 | 'Entity :: Type | 286 | 'Entity :: Type |
287 | Entity :: Vec 4 Float -> Vec 4 Float -> Vec 3 Float -> Vec 4 Float -> Entity | 287 | Entity :: Vec 4 Float -> Vec 4 Float -> Vec 3 Float -> Vec 4 Float -> Entity |
288 | 'EntityCase | 288 | case'Entity |
289 | :: forall (a :: Entity -> Type) | 289 | :: forall (a :: Entity -> Type) |
290 | -> (forall (b :: Vec 4 Float) | 290 | -> (forall (b :: Vec 4 Float) |
291 | (c :: Vec 4 Float) (d :: Vec 3 Float) (e :: Vec 4 Float) | 291 | (c :: Vec 4 Float) (d :: Vec 3 Float) (e :: Vec 4 Float) |
@@ -303,7 +303,7 @@ WT_Square :: WaveType | |||
303 | WT_Sawtooth :: WaveType | 303 | WT_Sawtooth :: WaveType |
304 | WT_InverseSawtooth :: WaveType | 304 | WT_InverseSawtooth :: WaveType |
305 | WT_Noise :: WaveType | 305 | WT_Noise :: WaveType |
306 | 'WaveTypeCase | 306 | case'WaveType |
307 | :: forall (a :: WaveType -> Type) | 307 | :: forall (a :: WaveType -> Type) |
308 | -> a 'WT_Sin | 308 | -> a 'WT_Sin |
309 | -> a 'WT_Triangle | 309 | -> a 'WT_Triangle |
@@ -314,7 +314,7 @@ match'WaveType | |||
314 | :: forall (a :: Type -> Type) -> a WaveType -> forall b -> a b -> a b | 314 | :: forall (a :: Type -> Type) -> a WaveType -> forall b -> a b -> a b |
315 | 'Wave :: Type | 315 | 'Wave :: Type |
316 | Wave :: WaveType -> Float -> Float -> Float -> Float -> Wave | 316 | Wave :: WaveType -> Float -> Float -> Float -> Float -> Wave |
317 | 'WaveCase | 317 | case'Wave |
318 | :: forall (a :: Wave -> Type) | 318 | :: forall (a :: Wave -> Type) |
319 | -> (forall (b :: WaveType) (c :: Float) (d :: Float) (e :: Float) (f :: Float) | 319 | -> (forall (b :: WaveType) (c :: Float) (d :: Float) (e :: Float) (f :: Float) |
320 | -> a ('Wave b c d e f)) | 320 | -> a ('Wave b c d e f)) |
@@ -336,7 +336,7 @@ D_Text5 :: Deform | |||
336 | D_Text6 :: Deform | 336 | D_Text6 :: Deform |
337 | D_Text7 :: Deform | 337 | D_Text7 :: Deform |
338 | D_Wave :: Float -> Wave -> Deform | 338 | D_Wave :: Float -> Wave -> Deform |
339 | 'DeformCase | 339 | case'Deform |
340 | :: forall (a :: Deform -> Type) | 340 | :: forall (a :: Deform -> Type) |
341 | -> a 'D_AutoSprite | 341 | -> a 'D_AutoSprite |
342 | -> a 'D_AutoSprite2 | 342 | -> a 'D_AutoSprite2 |
@@ -359,7 +359,7 @@ match'Deform :: forall (a :: Type -> Type) -> a Deform -> forall b -> a b -> a b | |||
359 | CT_FrontSided :: CullType | 359 | CT_FrontSided :: CullType |
360 | CT_BackSided :: CullType | 360 | CT_BackSided :: CullType |
361 | CT_TwoSided :: CullType | 361 | CT_TwoSided :: CullType |
362 | 'CullTypeCase | 362 | case'CullType |
363 | :: forall (a :: CullType -> Type) | 363 | :: forall (a :: CullType -> Type) |
364 | -> a 'CT_FrontSided | 364 | -> a 'CT_FrontSided |
365 | -> a 'CT_BackSided -> a 'CT_TwoSided -> forall (b :: CullType) -> a b | 365 | -> a 'CT_BackSided -> a 'CT_TwoSided -> forall (b :: CullType) -> a b |
@@ -377,7 +377,7 @@ B_SrcAlpha :: Blending' | |||
377 | B_SrcAlphaSaturate :: Blending' | 377 | B_SrcAlphaSaturate :: Blending' |
378 | B_SrcColor :: Blending' | 378 | B_SrcColor :: Blending' |
379 | B_Zero :: Blending' | 379 | B_Zero :: Blending' |
380 | 'Blending'Case | 380 | case'Blending' |
381 | :: forall (a :: Blending' -> Type) | 381 | :: forall (a :: Blending' -> Type) |
382 | -> a 'B_DstAlpha | 382 | -> a 'B_DstAlpha |
383 | -> a 'B_DstColor | 383 | -> a 'B_DstColor |
@@ -403,7 +403,7 @@ RGB_Vertex :: RGBGen | |||
403 | RGB_LightingDiffuse :: RGBGen | 403 | RGB_LightingDiffuse :: RGBGen |
404 | RGB_OneMinusVertex :: RGBGen | 404 | RGB_OneMinusVertex :: RGBGen |
405 | RGB_Undefined :: RGBGen | 405 | RGB_Undefined :: RGBGen |
406 | 'RGBGenCase | 406 | case'RGBGen |
407 | :: forall (a :: RGBGen -> Type) | 407 | :: forall (a :: RGBGen -> Type) |
408 | -> (forall (b :: Wave) -> a ('RGB_Wave b)) | 408 | -> (forall (b :: Wave) -> a ('RGB_Wave b)) |
409 | -> (forall (c :: Float) (d :: Float) (e :: Float) -> a ('RGB_Const c d e)) | 409 | -> (forall (c :: Float) (d :: Float) (e :: Float) -> a ('RGB_Const c d e)) |
@@ -426,7 +426,7 @@ A_OneMinusEntity :: AlphaGen | |||
426 | A_Vertex :: AlphaGen | 426 | A_Vertex :: AlphaGen |
427 | A_LightingSpecular :: AlphaGen | 427 | A_LightingSpecular :: AlphaGen |
428 | A_OneMinusVertex :: AlphaGen | 428 | A_OneMinusVertex :: AlphaGen |
429 | 'AlphaGenCase | 429 | case'AlphaGen |
430 | :: forall (a :: AlphaGen -> Type) | 430 | :: forall (a :: AlphaGen -> Type) |
431 | -> (forall (b :: Wave) -> a ('A_Wave b)) | 431 | -> (forall (b :: Wave) -> a ('A_Wave b)) |
432 | -> (forall (c :: Float) -> a ('A_Const c)) | 432 | -> (forall (c :: Float) -> a ('A_Const c)) |
@@ -444,7 +444,7 @@ TG_Lightmap :: TCGen | |||
444 | TG_Environment :: TCGen | 444 | TG_Environment :: TCGen |
445 | TG_Vector :: Vec 3 Float -> Vec 3 Float -> TCGen | 445 | TG_Vector :: Vec 3 Float -> Vec 3 Float -> TCGen |
446 | TG_Undefined :: TCGen | 446 | TG_Undefined :: TCGen |
447 | 'TCGenCase | 447 | case'TCGen |
448 | :: forall (a :: TCGen -> Type) | 448 | :: forall (a :: TCGen -> Type) |
449 | -> a 'TG_Base | 449 | -> a 'TG_Base |
450 | -> a 'TG_Lightmap | 450 | -> a 'TG_Lightmap |
@@ -460,7 +460,7 @@ TM_Scale :: Float -> Float -> TCMod | |||
460 | TM_Stretch :: Wave -> TCMod | 460 | TM_Stretch :: Wave -> TCMod |
461 | TM_Transform :: Float -> Float -> Float -> Float -> Float -> Float -> TCMod | 461 | TM_Transform :: Float -> Float -> Float -> Float -> Float -> Float -> TCMod |
462 | TM_Turb :: Float -> Float -> Float -> Float -> TCMod | 462 | TM_Turb :: Float -> Float -> Float -> Float -> TCMod |
463 | 'TCModCase | 463 | case'TCMod |
464 | :: forall (a :: TCMod -> Type) | 464 | :: forall (a :: TCMod -> Type) |
465 | -> a 'TM_EntityTranslate | 465 | -> a 'TM_EntityTranslate |
466 | -> (forall (b :: Float) -> a ('TM_Rotate b)) | 466 | -> (forall (b :: Float) -> a ('TM_Rotate b)) |
@@ -480,7 +480,7 @@ ST_ClampMap :: String -> StageTexture | |||
480 | ST_AnimMap :: Float -> [String] -> StageTexture | 480 | ST_AnimMap :: Float -> [String] -> StageTexture |
481 | ST_Lightmap :: StageTexture | 481 | ST_Lightmap :: StageTexture |
482 | ST_WhiteImage :: StageTexture | 482 | ST_WhiteImage :: StageTexture |
483 | 'StageTextureCase | 483 | case'StageTexture |
484 | :: forall (a :: StageTexture -> Type) | 484 | :: forall (a :: StageTexture -> Type) |
485 | -> (forall (b :: String) -> a ('ST_Map b)) | 485 | -> (forall (b :: String) -> a ('ST_Map b)) |
486 | -> (forall (c :: String) -> a ('ST_ClampMap c)) | 486 | -> (forall (c :: String) -> a ('ST_ClampMap c)) |
@@ -492,7 +492,7 @@ match'StageTexture | |||
492 | A_Gt0 :: AlphaFunction | 492 | A_Gt0 :: AlphaFunction |
493 | A_Lt128 :: AlphaFunction | 493 | A_Lt128 :: AlphaFunction |
494 | A_Ge128 :: AlphaFunction | 494 | A_Ge128 :: AlphaFunction |
495 | 'AlphaFunctionCase | 495 | case'AlphaFunction |
496 | :: forall (a :: AlphaFunction -> Type) | 496 | :: forall (a :: AlphaFunction -> Type) |
497 | -> a 'A_Gt0 -> a 'A_Lt128 -> a 'A_Ge128 -> forall (b :: AlphaFunction) -> a b | 497 | -> a 'A_Gt0 -> a 'A_Lt128 -> a 'A_Ge128 -> forall (b :: AlphaFunction) -> a b |
498 | match'AlphaFunction | 498 | match'AlphaFunction |
@@ -500,7 +500,7 @@ match'AlphaFunction | |||
500 | 'DepthFunction :: Type | 500 | 'DepthFunction :: Type |
501 | D_Equal :: DepthFunction | 501 | D_Equal :: DepthFunction |
502 | D_Lequal :: DepthFunction | 502 | D_Lequal :: DepthFunction |
503 | 'DepthFunctionCase | 503 | case'DepthFunction |
504 | :: forall (a :: DepthFunction -> Type) | 504 | :: forall (a :: DepthFunction -> Type) |
505 | -> a 'D_Equal -> a 'D_Lequal -> forall (b :: DepthFunction) -> a b | 505 | -> a 'D_Equal -> a 'D_Lequal -> forall (b :: DepthFunction) -> a b |
506 | match'DepthFunction | 506 | match'DepthFunction |
@@ -514,7 +514,7 @@ StageAttrs | |||
514 | -> [TCMod] | 514 | -> [TCMod] |
515 | -> StageTexture | 515 | -> StageTexture |
516 | -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs | 516 | -> Bool -> DepthFunction -> Maybe AlphaFunction -> Bool -> String -> StageAttrs |
517 | 'StageAttrsCase | 517 | case'StageAttrs |
518 | :: forall (a :: StageAttrs -> Type) | 518 | :: forall (a :: StageAttrs -> Type) |
519 | -> (forall (b :: Maybe (Blending', Blending')) | 519 | -> (forall (b :: Maybe (Blending', Blending')) |
520 | (c :: RGBGen) | 520 | (c :: RGBGen) |
@@ -549,7 +549,7 @@ CommonAttrs | |||
549 | -> Bool | 549 | -> Bool |
550 | -> Bool | 550 | -> Bool |
551 | -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs | 551 | -> CullType -> [Deform] -> Bool -> Bool -> [StageAttrs] -> Bool -> CommonAttrs |
552 | 'CommonAttrsCase | 552 | case'CommonAttrs |
553 | :: forall (a :: CommonAttrs -> Type) | 553 | :: forall (a :: CommonAttrs -> Type) |
554 | -> (forall (b :: ()) | 554 | -> (forall (b :: ()) |
555 | (c :: ()) | 555 | (c :: ()) |
diff --git a/testdata/traceTest.out b/testdata/traceTest.out index fe085529..be79b652 100644 --- a/testdata/traceTest.out +++ b/testdata/traceTest.out | |||
@@ -7,7 +7,7 @@ main is not found | |||
7 | ------------ trace | 7 | ------------ trace |
8 | id :: forall a . a -> a | 8 | id :: forall a . a -> a |
9 | 'X :: forall a . a -> Type | 9 | 'X :: forall a . a -> Type |
10 | 'XCase :: forall a (b :: a) . forall (c :: X a b -> Type) (d :: X a b) -> c d | 10 | case'X :: forall a (b :: a) . forall (c :: X a b -> Type) (d :: X a b) -> c d |
11 | match'X | 11 | match'X |
12 | :: forall (a :: Type -> Type) | 12 | :: forall (a :: Type -> Type) |
13 | -> (forall b . forall (c :: b) -> a (X b c)) -> forall d -> a d -> a d | 13 | -> (forall b . forall (c :: b) -> a (X b c)) -> forall d -> a d -> a d |
diff --git a/testdata/typeclass.out b/testdata/typeclass.out index cb227dbc..10d209d5 100644 --- a/testdata/typeclass.out +++ b/testdata/typeclass.out | |||
@@ -4,9 +4,9 @@ infix 4 /= | |||
4 | infix 4 < | 4 | infix 4 < |
5 | infixr 3 && | 5 | infixr 3 && |
6 | infixr 2 || | 6 | infixr 2 || |
7 | not = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) a | 7 | not = \(a :: _) -> case'Bool \_ -> _ :: _ (_rhs True) (_rhs False) a |
8 | && = \(a :: _) (b :: _) -> 'BoolCase \_ -> _ :: _ (_rhs False) (_rhs b) a | 8 | && = \(a :: _) (b :: _) -> case'Bool \_ -> _ :: _ (_rhs False) (_rhs b) a |
9 | || = \(a :: _) (b :: _) -> 'BoolCase \_ -> _ :: _ (_rhs b) (_rhs True) a | 9 | || = \(a :: _) (b :: _) -> case'Bool \_ -> _ :: _ (_rhs b) (_rhs True) a |
10 | 'Eq | 10 | 'Eq |
11 | = (\(a :: _) -> match'Bool | 11 | = (\(a :: _) -> match'Bool |
12 | \_ -> _ | 12 | \_ -> _ |
@@ -19,7 +19,7 @@ not = \(a :: _) -> 'BoolCase \_ -> _ :: _ (_rhs True) (_rhs False) a | |||
19 | \_ -> _ | 19 | \_ -> _ |
20 | (_rhs | 20 | (_rhs |
21 | \(b | 21 | \(b |
22 | := \(c :: _) (d :: _) -> 'BoolCase \_ -> _ :: _ (_rhs (not d)) (_rhs d) c) -> b) | 22 | := \(c :: _) (d :: _) -> case'Bool \_ -> _ :: _ (_rhs (not d)) (_rhs d) c) -> b) |
23 | a | 23 | a |
24 | (_rhs undefined)) | 24 | (_rhs undefined)) |
25 | :: forall e . Eq e => e -> e -> Bool | 25 | :: forall e . Eq e => e -> e -> Bool |
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 90566f2c..15258640 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
@@ -4,7 +4,7 @@ focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) | |||
4 | ------------ trace | 4 | ------------ trace |
5 | 'X :: Type | 5 | 'X :: Type |
6 | X :: X | 6 | X :: X |
7 | 'XCase :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | 7 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b |
8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b | 8 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b |
9 | !focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) | 9 | !focus checkMetas: \(a :: Type) -> (\(b :: Type) -> primFix a b) |
10 | \(a := Type) -> \(c :: Type) -> <<HERE>> | 10 | \(a := Type) -> \(c :: Type) -> <<HERE>> |
diff --git a/testdata/typesigctx.reject.out b/testdata/typesigctx.reject.out index ff06cec2..631b9a16 100644 --- a/testdata/typesigctx.reject.out +++ b/testdata/typesigctx.reject.out | |||
@@ -3,7 +3,7 @@ in Wildcard2 builtin 'Type | |||
3 | ------------ trace | 3 | ------------ trace |
4 | 'X :: Type | 4 | 'X :: Type |
5 | X :: X | 5 | X :: X |
6 | 'XCase :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b | 6 | case'X :: forall (a :: X -> Type) -> a 'X -> forall (b :: X) -> a b |
7 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b | 7 | match'X :: forall (a :: Type -> Type) -> a X -> forall b -> a b -> a b |
8 | 'Show' :: Type -> Type | 8 | 'Show' :: Type -> Type |
9 | show' :: forall a . Show' a => a -> X | 9 | show' :: forall a . Show' a => a -> X |
diff --git a/testdata/zip01.out b/testdata/zip01.out index 1f7d4c25..6393822e 100644 --- a/testdata/zip01.out +++ b/testdata/zip01.out | |||
@@ -1,9 +1,9 @@ | |||
1 | ------------ desugared source code | 1 | ------------ desugared source code |
2 | zip2 | 2 | zip2 |
3 | = (\(a :: _) (b :: _) -> 'ListCase | 3 | = (\(a :: _) (b :: _) -> case'List |
4 | \_ -> _ :: _ | 4 | \_ -> _ :: _ |
5 | (_rhs []) | 5 | (_rhs []) |
6 | \(c :: _) (d :: _) -> 'ListCase | 6 | \(c :: _) (d :: _) -> case'List |
7 | \_ -> _ :: _ | 7 | \_ -> _ :: _ |
8 | (_rhs []) | 8 | (_rhs []) |
9 | \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f) | 9 | \(e :: _) (f :: _) -> _rhs (HCons c (HCons e HNil) : zip2 d f) |