diff options
author | Martin Odersky <odersky@gmail.com> | 2007-11-01 17:35:15 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-11-01 17:35:15 +0000 |
commit | 3a4750825e3b3992adcddd4666f264d508e21f7a (patch) | |
tree | 1ed1eae169a180c46ceb23a3ab93a00d0e5deed0 /test/files/pos/typerep-stephane.scala | |
parent | b14c210baba254900b2b999b4c648526a5a7846e (diff) | |
download | scala-3a4750825e3b3992adcddd4666f264d508e21f7a.tar.gz scala-3a4750825e3b3992adcddd4666f264d508e21f7a.tar.bz2 scala-3a4750825e3b3992adcddd4666f264d508e21f7a.zip |
fixed ticket 91
Diffstat (limited to 'test/files/pos/typerep-stephane.scala')
-rw-r--r-- | test/files/pos/typerep-stephane.scala | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/test/files/pos/typerep-stephane.scala b/test/files/pos/typerep-stephane.scala new file mode 100644 index 0000000000..1061212369 --- /dev/null +++ b/test/files/pos/typerep-stephane.scala @@ -0,0 +1,48 @@ +object typerep { + + class TypeRep[T] { + def getType: TypeRep[T] = this + } + + object BooleanRep extends TypeRep[Boolean] { + override def toString = "Boolean" + } + object CharRep extends TypeRep[Char] { + override def toString = "Char" + } + object IntRep extends TypeRep[Int] { + override def toString = "Int" + } + object LongRep extends TypeRep[Long] { + override def toString = "Long" + } + object FloatRep extends TypeRep[Float] { + override def toString = "Float" + } + object DoubleRep extends TypeRep[Double] { + override def toString = "Double" + } + class ListRep[U, T <: List[U]](val elemRep: TypeRep[U]) extends TypeRep[T] { + override def toString = "List[" + elemRep + "]" + } + + implicit def typeRep(x: Boolean): TypeRep[Boolean] = BooleanRep + implicit def typeRep(x: Char ): TypeRep[Char ] = CharRep + implicit def typeRep(x: Long ): TypeRep[Long ] = LongRep + implicit def typeRep(x: Float ): TypeRep[Float ] = FloatRep + implicit def typeRep(x: Double ): TypeRep[Double ] = DoubleRep + implicit def typeRep(x: Int ): TypeRep[Int ] = IntRep +/* + implicit def typeRep[T](xs: List[T])(implicit rep: T => TypeRep[T]): TypeRep[List[T]] = + new ListRep(rep(xs.head)) +*/ + implicit def typeRep[T <% TypeRep[T]](xs: List[T]): TypeRep[List[T]] = + new ListRep(xs.head) + +} + +object test extends Application { + import typerep._ + println(3.getType) + println(List(3).getType) +} |