warn in case of uncovered patterns (first version)

3 files changed, 27 insertions, 0 deletions

diff --git a/testdata/language-features/basic-values/case05.out b/testdata/language-features/basic-values/case05.out
index 21c1f5ee..10a9f633 100644
--- a/testdata/language-features/basic-values/case05.out
+++ b/testdata/language-features/basic-values/case05.out
@@ -6,3 +6,10 @@ testdata/language-features/basic-values/case05.lc 1:1-1:6  {a} -> {b : Eq a} ->
 testdata/language-features/basic-values/case05.lc 1:11-2:11  Char
 testdata/language-features/basic-values/case05.lc 1:16-1:17  V4
 testdata/language-features/basic-values/case05.lc 2:8-2:11  Char
+------------ warnings
+Uncovered pattern(s) at testdata/language-features/basic-values/case05.lc:1:16:
+value x = case x of
+               ^
+Missing case(s):
+  _ | False <- == (fromInt 1) V0
+
diff --git a/testdata/language-features/basic-values/def03.out b/testdata/language-features/basic-values/def03.out
index 48739e24..6e9324e7 100644
--- a/testdata/language-features/basic-values/def03.out
+++ b/testdata/language-features/basic-values/def03.out
@@ -6,3 +6,10 @@ testdata/language-features/basic-values/def03.lc 1:1-1:4  {a} -> {b : Eq a} -> {
 testdata/language-features/basic-values/def03.lc 1:9-1:12  Char
 testdata/language-features/basic-values/def03.lc 1:9-2:12  Bool->Char
 testdata/language-features/basic-values/def03.lc 2:9-2:12  Char
+------------ warnings
+Uncovered pattern(s) at testdata/language-features/basic-values/def03.lc:1:1:
+fun 1 = '1'
+fun 2 = '2'
+Missing case(s):
+  _ | False <- == (fromInt 1) V0, False <- == (fromInt 2) V0
+
diff --git a/testdata/language-features/basic-values/def07.reject.out b/testdata/language-features/basic-values/def07.reject.out
index 20b424fc..45707e79 100644
--- a/testdata/language-features/basic-values/def07.reject.out
+++ b/testdata/language-features/basic-values/def07.reject.out
@@ -23,3 +23,16 @@ testdata/language-features/basic-values/def07.reject.lc 3:1-3:5  {a} -> {b} -> {
 testdata/language-features/basic-values/def07.reject.lc 3:12-3:15  Char
 testdata/language-features/basic-values/def07.reject.lc 4:1-4:4  {a} -> a->Char
 testdata/language-features/basic-values/def07.reject.lc 4:9-4:12  Char
+------------ warnings
+Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:1:1:
+fun 1 = '1'
+fun 2 = '2'
+Missing case(s):
+  _ | False <- == (fromInt 1) V0, False <- == (fromInt 2) V0
+
+Uncovered pattern(s) at testdata/language-features/basic-values/def07.reject.lc:3:1:
+fun2 1 _ = '1'
+^^^^
+Missing case(s):
+  _ _ | False <- == (fromInt 1) V1
+