test/disabled/pos/code.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

import reflect.runtime.Mirror.ToolBox
import scala.tools.nsc.reporters._

object Test extends App {
  def foo[T](ys: List[T]) = {
    val fun: reflect.Code[Int => Int] = x => x + ys.length
    fun
  }
  val code = foo(List(2))
  val tree = code.tree.asInstanceOf[scala.reflect.runtime.Mirror.Tree]
  val targetType = code.manifest.tpe.asInstanceOf[scala.reflect.runtime.Mirror.Type]
  val reporter = new StoreReporter
  val toolbox = new ToolBox(reporter, args mkString " ")
  val ttree = toolbox.typeCheck(tree, targetType)
  if (reporter.infos.nonEmpty) {
    reporter.infos foreach println
    println("compilaton failed")
  } else {
    println("result = "+ttree)
  }
}