diff options
author | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-04-30 13:35:06 +0200 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2012-05-02 12:30:30 +0200 |
commit | 1b8dc120dd156e34e43132134dfa1f228cd1f497 (patch) | |
tree | df4d7470be30a64af9ed073fd8fc411dc9f8d98f /test/files/neg/t5589neg.check | |
parent | bc860f3a31db8b6f37c9931f2bf4712fed06d486 (diff) | |
download | scala-1b8dc120dd156e34e43132134dfa1f228cd1f497.tar.gz scala-1b8dc120dd156e34e43132134dfa1f228cd1f497.tar.bz2 scala-1b8dc120dd156e34e43132134dfa1f228cd1f497.zip |
moving patmat to its own phase
sort field accessors, necessary after typers -- apparently...
don't throw TypeError, use issueTypeError
don't run patmat phase when -Xoldpatmat
only virtualize matches when -Xexperimental
recycle cps type of match for re-typechecking:
when one of the internal cps-type-state annotations is present, strip all CPS annotations
a cps-type-state-annotated type makes no sense as an expected type (matchX.tpe is used as pt in translateMatch)
don't synth FunctionN impls during typer, only do this for PartialFunction
updated check now function synth for match is deferred until uncurry
patmat-transform try/catch with match in cps
cleanup in selective anf
remove TODO: can there be cases that are not CaseDefs -- nope
Diffstat (limited to 'test/files/neg/t5589neg.check')
-rw-r--r-- | test/files/neg/t5589neg.check | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/test/files/neg/t5589neg.check b/test/files/neg/t5589neg.check index fb6858a397..b3ff16d7e4 100644 --- a/test/files/neg/t5589neg.check +++ b/test/files/neg/t5589neg.check @@ -22,9 +22,6 @@ t5589neg.scala:4: error: constructor cannot be instantiated to expected type; t5589neg.scala:4: error: not found: value y2 def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) ^ -t5589neg.scala:4: error: Could not typecheck extractor call: case class Tuple1 with arguments List((y2 @ _)) - def f7(x: Either[Int, (String, Int)]) = for (y1 @ Tuple1(y2) <- x.right) yield ((y1, y2)) - ^ t5589neg.scala:5: error: constructor cannot be instantiated to expected type; found : (T1, T2, T3) required: (String, Int) @@ -37,4 +34,4 @@ t5589neg.scala:5: error: not found: value y2 def f8(x: Either[Int, (String, Int)]) = for ((y1, y2, y3) <- x.right) yield ((y1, y2)) ^ two warnings found -8 errors found +7 errors found |