diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-04 17:50:30 +0200 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-07-05 16:26:15 +0200 |
| commit | 8234ba3905b588ea40e9a6bc0b1f83c464ddf191 (patch) | |
| tree | 3292c7a6069bf9445e9cff664554fd06603217d7 /test/files/neg/t4691_exhaust_extractor.check | |
| parent | 54b26064d97d989047a21b4701fdaf2cbea60f36 (diff) | |
| download | scala-8234ba3905b588ea40e9a6bc0b1f83c464ddf191.tar.gz scala-8234ba3905b588ea40e9a6bc0b1f83c464ddf191.tar.bz2 scala-8234ba3905b588ea40e9a6bc0b1f83c464ddf191.zip | |
SI-4691 exhaustivity: `unapply: Some` = irrefutable
overhauls treeMakersToConds in the process -- was getting a bit unwieldy
Diffstat (limited to 'test/files/neg/t4691_exhaust_extractor.check')
| -rw-r--r-- | test/files/neg/t4691_exhaust_extractor.check | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/files/neg/t4691_exhaust_extractor.check b/test/files/neg/t4691_exhaust_extractor.check new file mode 100644 index 0000000000..cd12e56f86 --- /dev/null +++ b/test/files/neg/t4691_exhaust_extractor.check @@ -0,0 +1,13 @@ +t4691_exhaust_extractor.scala:17: error: match may not be exhaustive. +It would fail on the following input: Bar3() + def f1(x: Foo) = x match { + ^ +t4691_exhaust_extractor.scala:23: error: match may not be exhaustive. +It would fail on the following input: Bar3() + def f2(x: Foo) = x match { + ^ +t4691_exhaust_extractor.scala:29: error: match may not be exhaustive. +It would fail on the following input: Bar3() + def f3(x: Foo) = x match { + ^ +three errors found |