oh God, in-place typechecking!!!

xeno-by · xeno-by · commit 18bea769fa77 · 2014-02-15T13:05:58.000+01:00
diff --git a/src/main/scala/scala/async/internal/AsyncTransform.scala b/src/main/scala/scala/async/internal/AsyncTransform.scala
@@ -57,7 +57,7 @@ trait AsyncTransform {
       val template = Template(List(tryToUnit, typeOf[() => Unit]).map(TypeTree(_)), emptyValDef, body)
 
       val t = ClassDef(NoMods, name.stateMachineT, Nil, template)
-      callSiteTyper.typedPos(macroPos)(Block(t :: Nil, Literal(Constant(()))))
+      typingTransform(atPos(macroPos)(Block(t :: Nil, Literal(Constant(())))))((tree, api) => api.typecheck(tree))
       t
     }
 

Original file line number	Diff line number	Diff line change
`@@ -57,7 +57,7 @@ trait AsyncTransform {`
`57`	`57`	`val template = Template(List(tryToUnit, typeOf[() => Unit]).map(TypeTree(_)), emptyValDef, body)`
`58`	`58`
`59`	`59`	`val t = ClassDef(NoMods, name.stateMachineT, Nil, template)`
`60`		`- callSiteTyper.typedPos(macroPos)(Block(t :: Nil, Literal(Constant(()))))`
	`60`	`+ typingTransform(atPos(macroPos)(Block(t :: Nil, Literal(Constant(())))))((tree, api) => api.typecheck(tree))`
`61`	`61`	`t`
`62`	`62`	`}`
`63`	`63`