Scala Programming Language
  1. Scala Programming Language
  2. SI-7082

Wrong reification of type parameter in reify_newimpl_30 scala test

    Details

    • Type: Bug Bug
    • Status: Open
    • Priority: Major Major
    • Resolution: Unresolved
    • Affects Version/s: Scala 2.10.0, Scala 2.10.1-RC1, Scala 2.10.1
    • Fix Version/s: None
    • Component/s: Macros
    • Labels:
      None

      Description

      test/files/run/reify_newimpl_30.scala
      import scala.reflect.runtime.universe._
      import scala.tools.reflect.ToolBox
      import scala.tools.reflect.Eval
      
      object Test extends App {
        {
          class C {
            type T = Int
            val code = reify {
              List[C#T](2)
            }
            println(code.eval)
          }
      
          new C
        }
      }
      

      In the scala test above, type of List[C#T] is substituted with Int and reified as staticClass(Int), but should be SelectFromTypeTree(C, T)

        Activity

        There are no comments yet on this issue.

          People

          • Assignee:
            Eugene Burmako
            Reporter:
            Dmitry Bushev
          • Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

            Dates

            • Created:
              Updated:

              Development