Как получить тип в Scala AST для подчеркнутого параметра функции лямбда?

Question

не копаться в деталях DSL, я мог бы написать (based on that example):

def InputLine = rule { Number ~ zeroOrMore("+" ~ Number ~> ((x: Int, y: Int) => x + y)) ~ EOI } 

Мне нужно вызвать функцию лямбда из макроса. Scala AST представление состоит в следующем:

List(
    ValDef(Modifiers(PARAM), newTermName("x"), TypeTree().setOriginal(Select(Ident(scala), scala.Int)), EmptyTree), 
    ValDef(Modifiers(PARAM), newTermName("y"), TypeTree().setOriginal(Select(Ident(scala), scala.Int)), EmptyTree)) 

Важно отметить, что оба х и у имеет типы в AST. Это прекрасно работает.

Следующий шаг заключается в использовании логического вывода типа, а также упростить лямбда следующим образом:

def InputLine = rule { Number ~ zeroOrMore("+" ~ Number ~> ((_:Int) + _)) ~ EOI } 

Scala AST для этого лямбда:

List(
    ValDef(Modifiers(PARAM | SYNTHETIC), newTermName("x$1"), TypeTree().setOriginal(Select(Ident(scala), scala.Int)), EmptyTree), 
    ValDef(Modifiers(PARAM | SYNTHETIC), newTermName("x$2"), TypeTree(), EmptyTree)) 

Обратите внимание, что х $ 2 парам не имеет никакого явного типа. Мне нужно, чтобы вызвать функцию. Где я должен его получить? Решение «просто передать параметр типа Любое функции« не удовлетворяет scalac по мере необходимости Int.

Этот вопрос логически следует за that one.

Код доступен по адресу parboled2@gihub.

Answer 1

Number ~> ((_:Int) + _) 

превращается в что-то вроде этого

pimpActionOp[...](rule).~>.apply[...](function) 

классов типовых pimpActionOp и apply содержит всю информацию, необходимую для восстановления типов.