New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Pattern matcher exhaustivity check incomplete and non-determistic #8430
Comments
Imported From: https://issues.scala-lang.org/browse/SI-8430?orig=1 |
@VladUreche said: |
@VladUreche said: > clean
[success] Total time: 0 s, completed Mar 20, 2014 12:25:59 AM
> compile
[info] Updating {file:/mnt/data-local/Work/Workspace/dev/test/}default-827862...
[info] Resolving org.scala-lang#scala-library;2.11.0-RC3 ...
[info] Done updating.
[info] Compiling 1 Scala source to /mnt/data-local/Work/Workspace/dev/test/target/scala-2.11.0-RC3/classes...
[warn] /mnt/data-local/Work/Workspace/dev/test/src/main/scala/test.scala:17: match may not be exhaustive.
[warn] It would fail on the following inputs: ??, LetC, LetF, LetL(BooleanLit), LetL(IntLit), LetP
[warn] def transform(tree: Tree) : Any = tree match {
[warn] ^
[warn] one warning found
[success] Total time: 2 s, completed Mar 20, 2014 12:26:01 AM
> clean
[success] Total time: 0 s, completed Mar 20, 2014 12:26:04 AM
> compile
[info] Updating {file:/mnt/data-local/Work/Workspace/dev/test/}default-827862...
[info] Resolving org.scala-lang#scala-library;2.11.0-RC3 ...
[info] Done updating.
[info] Compiling 1 Scala source to /mnt/data-local/Work/Workspace/dev/test/target/scala-2.11.0-RC3/classes...
[warn] /mnt/data-local/Work/Workspace/dev/test/src/main/scala/test.scala:17: match may not be exhaustive.
[warn] It would fail on the following inputs: ??, LetC, LetF, LetL(IntLit), LetP
[warn] def transform(tree: Tree) : Any = tree match {
[warn] ^
[warn] one warning found
[success] Total time: 1 s, completed Mar 20, 2014 12:26:06 AM |
@adriaanm said: |
@retronym said: % (f=test/files/neg/t8430.scala; (for i in {1..20}; do echo $f; done; printf "\n") | qbin/scalac -Xresident) 2>&1 | grep "fail" | sort | uniq | wc -l
2 |
@retronym said:
|
Running "scalac Test.scala" will output randomly one of the two warning messages above. One of them is more complete than the other, but is still missing the
LetL(UnitLit)
case.The text was updated successfully, but these errors were encountered: