diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-04-25 15:51:46 +0200 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-25 15:51:46 +0200 |
commit | a738f28b1fe298566bc8979ab1aed0e23446172d (patch) | |
tree | 7aa6440e14b5466f4d4a50e7f24fdcc7237d1cee /testdata/language-features/pattern | |
parent | 9d53a4f86a37043d07cd7b288914eaecf4104e25 (diff) |
emit warnings on unreachable right hand sides
Diffstat (limited to 'testdata/language-features/pattern')
-rw-r--r-- | testdata/language-features/pattern/pattern01.out | 4 | ||||
-rw-r--r-- | testdata/language-features/pattern/unreachable.lc | 7 | ||||
-rw-r--r-- | testdata/language-features/pattern/unreachable.out | 10 |
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 | |||
19 | testdata/language-features/pattern/pattern01.lc 8:10-8:13 Char | 19 | testdata/language-features/pattern/pattern01.lc 8:10-8:13 Char |
20 | testdata/language-features/pattern/pattern01.lc 10:1-10:5 ()->Char | 20 | testdata/language-features/pattern/pattern01.lc 10:1-10:5 ()->Char |
21 | testdata/language-features/pattern/pattern01.lc 10:11-10:14 Char | 21 | testdata/language-features/pattern/pattern01.lc 10:11-10:14 Char |
22 | ------------ warnings | ||
23 | Source code is not reachable: testdata/language-features/pattern/pattern01.lc:11:10: | ||
24 | fun4 _ = '_' | ||
25 | ^^^ | ||
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 @@ | |||
1 | {-# LANGUAGE NoImplicitPrelude #-} | ||
2 | import Internals | ||
3 | |||
4 | f _ = "hello" | ||
5 | f _ = "world" | ||
6 | |||
7 | |||
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 @@ | |||
1 | main is not found | ||
2 | ------------ trace | ||
3 | f :: [32m{a} -> a->'String[39m[K | ||
4 | ------------ tooltips | ||
5 | testdata/language-features/pattern/unreachable.lc 4:1-4:2 {a} -> a->String | ||
6 | testdata/language-features/pattern/unreachable.lc 4:7-4:14 String | ||
7 | ------------ warnings | ||
8 | Source code is not reachable: testdata/language-features/pattern/unreachable.lc:5:7: | ||
9 | f _ = "world" | ||
10 | ^^^^^^^ | ||