Fahad/CodeSamples/PredefineClassOf.scala
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Thu, 29 Jan 2015 09:05:40 +0000
changeset 53 38cde0214ad5
parent 44 a751aa1ee4f7
permissions -rw-r--r--
added some lemmas, attempted others

package Main

object ClassReprTest {
  abstract class Bar {
    type T <: AnyRef
    def bar(x: T) {
      println("5: " + x.getClass())
    }
  }
  def main(args: Array[String]) {
    println("1: " + args.getClass())
    println("2: " + classOf[Array[String]])
    
    new Bar {
      type T = Array[String]
      val x: T = args
      println("3: " + x.getClass())
      println("4: " + classOf[T])
    }.bar(args)
  }
}