blob: 9f6717ca9e7bf5cb9359b6a64227875d280d0951 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
bug414.scala:5: error: stable identifier required, but Empty found.
case Empty =>
^
bug414.scala:7: error: type mismatch;
found : scala.Unit
required: a
case _ =>
^
two errors found
|