diff options
author | Paul Phillips <paulp@improving.org> | 2010-10-26 06:00:20 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2010-10-26 06:00:20 +0000 |
commit | 6d22805793cd25427469cceb89258fdbca42630b (patch) | |
tree | 557d028059713104df1d15af87af17326d0943ab /test/files | |
parent | cab41b68581f32e56491b4bfdcbb931a4abe3689 (diff) | |
download | scala-6d22805793cd25427469cceb89258fdbca42630b.tar.gz scala-6d22805793cd25427469cceb89258fdbca42630b.tar.bz2 scala-6d22805793cd25427469cceb89258fdbca42630b.zip |
Case accessors are always public else the patte...
Case accessors are always public else the pattern matcher goes south. A
more discriminating fix may be possible at some point, but it looks to
be an involved endeavor. Closes #3714, review by odersky.
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/neg/bug3714-neg.check | 13 | ||||
-rw-r--r-- | test/files/neg/bug3714-neg.scala | 41 | ||||
-rw-r--r-- | test/files/run/bug3714.scala | 33 |
3 files changed, 87 insertions, 0 deletions
diff --git a/test/files/neg/bug3714-neg.check b/test/files/neg/bug3714-neg.check new file mode 100644 index 0000000000..fab6623001 --- /dev/null +++ b/test/files/neg/bug3714-neg.check @@ -0,0 +1,13 @@ +bug3714-neg.scala:17: error: value break in class BreakImpl cannot be accessed in BreakImpl + Access to protected value break not permitted because + enclosing class object Test is not a subclass of + class BreakImpl where target is defined + case b: BreakImpl => b.break + ^ +bug3714-neg.scala:25: error: value break in class BreakImpl cannot be accessed in BreakImpl + Access to protected value break not permitted because + enclosing class object Test is not a subclass of + class BreakImpl where target is defined + case b: BreakImpl => b.break + ^ +two errors found diff --git a/test/files/neg/bug3714-neg.scala b/test/files/neg/bug3714-neg.scala new file mode 100644 index 0000000000..19bdebbfa9 --- /dev/null +++ b/test/files/neg/bug3714-neg.scala @@ -0,0 +1,41 @@ +// this is a slight negative twist on run/bug3714.scala. +trait Break { + protected val break: Int; +} + +class BreakImpl(protected val break: Int) extends Break { } +object BreakImpl { + def apply(x: Int): Break = new BreakImpl(x) + def unapply(x: Any) = x match { + case x: BreakImpl => Some(x.break) + case _ => None + } +} + +object Test { + def f1(x: Break) = x match { + case b: BreakImpl => b.break + case b => -1 + } + def f2(x: Break) = x match { + case BreakImpl(x) => x + case _ => -1 + } + def f3(x: Any) = x match { + case b: BreakImpl => b.break + case b => -1 + } + def f4(x: Any) = x match { + case BreakImpl(x) => x + case _ => -1 + } + + def main(args: Array[String]) { + val break = BreakImpl(22) + assert(f1(break) == 22) + assert(f2(break) == 22) + assert(f3(break) == 22) + assert(f4(break) == 22) + } +} + diff --git a/test/files/run/bug3714.scala b/test/files/run/bug3714.scala new file mode 100644 index 0000000000..2d600f97f1 --- /dev/null +++ b/test/files/run/bug3714.scala @@ -0,0 +1,33 @@ +trait Break { + protected val break: Int; +} + +case class BreakImpl(protected val break: Int) extends Break { } + +object Test { + // def f1(x: Break) = x match { + // case b: BreakImpl => b.break + // case b => -1 + // } + def f2(x: Break) = x match { + case BreakImpl(x) => x + case _ => -1 + } + // def f3(x: Any) = x match { + // case b: BreakImpl => b.break + // case b => -1 + // } + def f4(x: Any) = x match { + case BreakImpl(x) => x + case _ => -1 + } + + def main(args: Array[String]) { + val break = BreakImpl(22) + // assert(f1(break) == 22) + assert(f2(break) == 22) + // assert(f3(break) == 22) + assert(f4(break) == 22) + } +} + |