diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-08-06 00:08:15 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-08-08 10:42:49 +0200 |
commit | 8ebe8e3e885f23d2a4c21a87e4dfcc07a7b3583a (patch) | |
tree | 14b5ef2939fff63e956ce64042f5a3191f8042ac /test/files/neg/t4425.check | |
parent | 4185f7fb7a0a8ad4bc05b4ac8317a535ee644b28 (diff) | |
download | scala-8ebe8e3e885f23d2a4c21a87e4dfcc07a7b3583a.tar.gz scala-8ebe8e3e885f23d2a4c21a87e4dfcc07a7b3583a.tar.bz2 scala-8ebe8e3e885f23d2a4c21a87e4dfcc07a7b3583a.zip |
SI-5739 (bis) vals for subpatterns unless -optimize
To facilitate debugging pattern matches, we store the values for
sub-patterns of extractor (synthetic or user-defined) patterns in local variables.
When performing an optimized build, and when possible, we don't do store but inline them directly.
For soundness, SI-5158, SI-6070, we must always store the values of mutable case class fields.
(Specifying -optimize is the only way to suppress emitting these local variables.
An unoptimized build will always generate them, which was deemed the right default during the meeting.)
(updated flags for t4425 to get consistent runs on optimized and non-optimized partest runs
by always passing -optimize)
Diffstat (limited to 'test/files/neg/t4425.check')
-rw-r--r-- | test/files/neg/t4425.check | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/test/files/neg/t4425.check b/test/files/neg/t4425.check index a6a1a1fad4..0f2fe6f2d1 100644 --- a/test/files/neg/t4425.check +++ b/test/files/neg/t4425.check @@ -1,5 +1,4 @@ -t4425.scala:3: error: error during expansion of this match (this is a scalac bug). -The underlying error was: value _1 is not a member of object Foo.X +t4425.scala:3: error: isInstanceOf cannot test if value types are references. 42 match { case _ X _ => () } - ^ + ^ one error found |