diff options
author | Paul Phillips <paulp@improving.org> | 2013-09-09 12:25:26 -0700 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2013-09-09 12:53:32 -0700 |
commit | 288b12e48af3222134f3985b65e40f202af81df2 (patch) | |
tree | 87dedc0c05be446bf8ad76f1aa760af13ed145bb /test/pending/pos/treecheckers/c4.scala | |
parent | f342445f68654c1606871b5d7372621558731f65 (diff) | |
download | scala-288b12e48af3222134f3985b65e40f202af81df2.tar.gz scala-288b12e48af3222134f3985b65e40f202af81df2.tar.bz2 scala-288b12e48af3222134f3985b65e40f202af81df2.zip |
Noise reduction + minor enhance in TreeCheckers.
Misc irrelevant work, which I can only offer as-is. It lowers
the noise in -Ycheck:* output and performs some common sense
chillaxes like not screaming ERROR IN INTERNAL CHECKING! WE'RE
ALL GOING TO DIE! when a tree doesn't hit all nine points at
the Jiffy Tree.
You can see some reasonably well reduced symbol flailing if
you run the included pending tests:
test/partest --show-diff test/pending/pos/treecheckers
Example output,
Out of scope symbol reference {
tree TypeTree Factory[Traversable]
position OffsetPosition test/pending/pos/treecheckers/c5.scala:3
with sym ClassSymbol Factory: Factory[CC]
and tpe ClassArgsTypeRef Factory[Traversable]
encl(1) ModuleSymbol object Test5
ref to AbstractTypeSymbol X (<deferred> <param>)
}
Diffstat (limited to 'test/pending/pos/treecheckers/c4.scala')
-rw-r--r-- | test/pending/pos/treecheckers/c4.scala | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/pending/pos/treecheckers/c4.scala b/test/pending/pos/treecheckers/c4.scala new file mode 100644 index 0000000000..2328131770 --- /dev/null +++ b/test/pending/pos/treecheckers/c4.scala @@ -0,0 +1,9 @@ +sealed trait Message[+A] +class Script[A] extends Message[A] { + def iterator: Iterator[Message[A]] = ??? +} + +trait Test4[A] { + def f(cmd: Message[A]): Iterator[A] = cmd match { case s: Script[t] => s.iterator flatMap f } + def g(cmd: Message[A]) = cmd match { case s: Script[t] => s } +} |