diff options
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r-- | testdata/Prelude.out | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testdata/Prelude.out b/testdata/Prelude.out index 0e590604..16ec34d3 100644 --- a/testdata/Prelude.out +++ b/testdata/Prelude.out | |||
@@ -4464,22 +4464,22 @@ zip | |||
4464 | 389:28-389:29 | 4464 | 389:28-389:29 |
4465 | _b | 4465 | _b |
4466 | ------------ warnings | 4466 | ------------ warnings |
4467 | Uncovered pattern(s) at ./testdata/Prelude.lc:50:1: | 4467 | Uncovered pattern(s) at testdata/Prelude.lc:50:1: |
4468 | tail (_: xs) = xs | 4468 | tail (_: xs) = xs |
4469 | ^^^^ | 4469 | ^^^^ |
4470 | Missing case(s): | 4470 | Missing case(s): |
4471 | tail [] | 4471 | tail [] |
4472 | Uncovered pattern(s) at ./testdata/Prelude.lc:58:1: | 4472 | Uncovered pattern(s) at testdata/Prelude.lc:58:1: |
4473 | foldr1 f (x: xs) = foldr f x xs | 4473 | foldr1 f (x: xs) = foldr f x xs |
4474 | ^^^^^^ | 4474 | ^^^^^^ |
4475 | Missing case(s): | 4475 | Missing case(s): |
4476 | foldr1 _ [] | 4476 | foldr1 _ [] |
4477 | Uncovered pattern(s) at ./testdata/Prelude.lc:137:1: | 4477 | Uncovered pattern(s) at testdata/Prelude.lc:137:1: |
4478 | project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) | 4478 | project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) |
4479 | project @a @('RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(CW (isKeyC s a xs))) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts))) | 4479 | project @a @('RecItem s' a': xs) s @_ (RecordCons ts) = project @a @xs s @(undefined @(CW (isKeyC s a xs))) (RecordCons (sndTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts))) |
4480 | Missing case(s): | 4480 | Missing case(s): |
4481 | project _ [] _ _ _ | 4481 | project _ [] _ _ _ |
4482 | Uncovered pattern(s) at ./testdata/Prelude.lc:388:10: | 4482 | Uncovered pattern(s) at testdata/Prelude.lc:388:10: |
4483 | (x : _) !! 0 = x | 4483 | (x : _) !! 0 = x |
4484 | (_ : xs) !! n = xs !! (n-1) | 4484 | (_ : xs) !! n = xs !! (n-1) |
4485 | Missing case(s): | 4485 | Missing case(s): |