From 7c8b6369aaaac1317a04baeba5df5c47f2d7a731 Mon Sep 17 00:00:00 2001 From: Paul Phillips Date: Thu, 29 Aug 2013 10:27:26 -0700 Subject: Limit bad advice given for erroneous pattern. Don't suggest "_: " as an alternative when the pattern type doesn't conform to the expected type. --- test/files/neg/bad-advice.check | 6 ++++++ test/files/neg/bad-advice.flags | 1 + test/files/neg/bad-advice.scala | 6 ++++++ 3 files changed, 13 insertions(+) create mode 100644 test/files/neg/bad-advice.check create mode 100644 test/files/neg/bad-advice.flags create mode 100644 test/files/neg/bad-advice.scala (limited to 'test/files') diff --git a/test/files/neg/bad-advice.check b/test/files/neg/bad-advice.check new file mode 100644 index 0000000000..03b3e4f616 --- /dev/null +++ b/test/files/neg/bad-advice.check @@ -0,0 +1,6 @@ +bad-advice.scala:4: error: pattern type is incompatible with expected type; + found : Bip.type + required: Int + case Bip => true + ^ +one error found diff --git a/test/files/neg/bad-advice.flags b/test/files/neg/bad-advice.flags new file mode 100644 index 0000000000..e8fb65d50c --- /dev/null +++ b/test/files/neg/bad-advice.flags @@ -0,0 +1 @@ +-Xfatal-warnings \ No newline at end of file diff --git a/test/files/neg/bad-advice.scala b/test/files/neg/bad-advice.scala new file mode 100644 index 0000000000..b1955330d7 --- /dev/null +++ b/test/files/neg/bad-advice.scala @@ -0,0 +1,6 @@ +object Bip +object Test { + def f(x: Int) = x match { + case Bip => true + } +} -- cgit v1.2.3