3 files changed, 21 insertions, 0 deletions

diff --git a/testdata/language-features/pattern/pattern01.out b/testdata/language-features/pattern/pattern01.out
index 718d7d0f..2c60feba 100644
--- a/testdata/language-features/pattern/pattern01.out
+++ b/testdata/language-features/pattern/pattern01.out
@@ -19,3 +19,7 @@ testdata/language-features/pattern/pattern01.lc 7:12-8:13  Bool->Char
 testdata/language-features/pattern/pattern01.lc 8:10-8:13  Char
 testdata/language-features/pattern/pattern01.lc 10:1-10:5  ()->Char
 testdata/language-features/pattern/pattern01.lc 10:11-10:14  Char
+------------ warnings
+Source code is not reachable: testdata/language-features/pattern/pattern01.lc:11:10:
+fun4 _ = '_'
+         ^^^
diff --git a/testdata/language-features/pattern/unreachable.lc b/testdata/language-features/pattern/unreachable.lc
new file mode 100644
index 00000000..9b35a27e
--- /dev/null
+++ b/testdata/language-features/pattern/unreachable.lc
@@ -0,0 +1,7 @@
+{-# LANGUAGE NoImplicitPrelude #-}
+import Internals
+
+f _ = "hello"
+f _ = "world"
+
+
diff --git a/testdata/language-features/pattern/unreachable.out b/testdata/language-features/pattern/unreachable.out
new file mode 100644
index 00000000..c2090d56
--- /dev/null
+++ b/testdata/language-features/pattern/unreachable.out
@@ -0,0 +1,10 @@
+main is not found
+------------ trace
+f :: {a} -> a->'String
+------------ tooltips
+testdata/language-features/pattern/unreachable.lc 4:1-4:2  {a} -> a->String
+testdata/language-features/pattern/unreachable.lc 4:7-4:14  String
+------------ warnings
+Source code is not reachable: testdata/language-features/pattern/unreachable.lc:5:7:
+f _ = "world"
+      ^^^^^^^