diff options
| author | Jason Zaugg <jzaugg@gmail.com> | 2012-11-25 11:51:34 +0100 |
|---|---|---|
| committer | Jason Zaugg <jzaugg@gmail.com> | 2012-11-26 16:13:42 +0100 |
| commit | 26038aebf1555b582dba35e8bfc3698f126705c5 (patch) | |
| tree | 89517670afcf4ff41648bddecf41603661a111dc /src/main/scala/scala/async/AsyncAnalysis.scala | |
| parent | a5cab2959067bc7f9d3884064fbf7bf7ec0b7285 (diff) | |
| download | scala-async-26038aebf1555b582dba35e8bfc3698f126705c5.tar.gz scala-async-26038aebf1555b582dba35e8bfc3698f126705c5.tar.bz2 scala-async-26038aebf1555b582dba35e8bfc3698f126705c5.zip | |
Fix await in if condition / match scrutinee.
The type-checking performed in ANF transform is
precarious, and needed to use the original condition/
scrutinee in a throwaway tree to get things to work.
Diffstat (limited to 'src/main/scala/scala/async/AsyncAnalysis.scala')
| -rw-r--r-- | src/main/scala/scala/async/AsyncAnalysis.scala | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/main/scala/scala/async/AsyncAnalysis.scala b/src/main/scala/scala/async/AsyncAnalysis.scala index f0d4511..ecd5054 100644 --- a/src/main/scala/scala/async/AsyncAnalysis.scala +++ b/src/main/scala/scala/async/AsyncAnalysis.scala @@ -71,9 +71,6 @@ private[async] final case class AsyncAnalysis[C <: Context](c: C) { case Try(_, _, _) if containsAwait => reportUnsupportedAwait(tree, "try/catch") super.traverse(tree) - case If(cond, _, _) if containsAwait => - reportUnsupportedAwait(cond, "condition") - super.traverse(tree) case Return(_) => c.abort(tree.pos, "return is illegal within a async block") case _ => |