Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
untyped macros ignore type annotations #6971
def foo(x: _, y: Int) = macro impl def impl(c: Context)(x: c.Tree, y: c.Tree) = ...
def bar(x: _) = macro impl def impl(c: Context)(x: c.Expr[Int]) = ...
In both of these cases, typer could do its best to provide better-than-nothing type-safety guarantees. This of course entails various type inference stuff, which would be too much of an effort now.
Imported From: https://issues.scala-lang.org/browse/SI-6971?orig=1
@xeno-by said (edited on Aug 5, 2013 2:10:05 PM UTC):