summaryrefslogtreecommitdiff
path: root/testdata/Prelude.out
diff options
context:
space:
mode:
Diffstat (limited to 'testdata/Prelude.out')
-rw-r--r--testdata/Prelude.out8
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
4464389:28-389:29 4464389:28-389:29
4465 _b 4465 _b
4466------------ warnings 4466------------ warnings
4467Uncovered pattern(s) at ./testdata/Prelude.lc:50:1: 4467Uncovered pattern(s) at testdata/Prelude.lc:50:1:
4468tail (_: xs) = xs 4468tail (_: xs) = xs
4469^^^^ 4469^^^^
4470Missing case(s): 4470Missing case(s):
4471 tail [] 4471 tail []
4472Uncovered pattern(s) at ./testdata/Prelude.lc:58:1: 4472Uncovered pattern(s) at testdata/Prelude.lc:58:1:
4473foldr1 f (x: xs) = foldr f x xs 4473foldr1 f (x: xs) = foldr f x xs
4474^^^^^^ 4474^^^^^^
4475Missing case(s): 4475Missing case(s):
4476 foldr1 _ [] 4476 foldr1 _ []
4477Uncovered pattern(s) at ./testdata/Prelude.lc:137:1: 4477Uncovered pattern(s) at testdata/Prelude.lc:137:1:
4478project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts) 4478project @a @('RecItem s' a': xs) s @_ (RecordCons ts) | s == s' = fstTup (unsafeCoerce @_ @(HList '(a : map recItemType xs)) ts)
4479project @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))) 4479project @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)))
4480Missing case(s): 4480Missing case(s):
4481 project _ [] _ _ _ 4481 project _ [] _ _ _
4482Uncovered pattern(s) at ./testdata/Prelude.lc:388:10: 4482Uncovered 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)
4485Missing case(s): 4485Missing case(s):