diff options
author | odersky <odersky@gmail.com> | 2014-12-16 17:24:02 +0100 |
---|---|---|
committer | odersky <odersky@gmail.com> | 2014-12-16 17:24:02 +0100 |
commit | ba74188596760a0826bc6921358eac22f99265d8 (patch) | |
tree | 7cafb3e295768e3e41572dcb505d3deb9571bfcf /tests/pending/pos/typerep-stephane.scala | |
parent | 63e1bc95d4f72331fabf2fd838bb4e8d5b94ad67 (diff) | |
parent | 42851ed2675015d42bb341b82a09bd0bef4a8ce4 (diff) | |
download | dotty-ba74188596760a0826bc6921358eac22f99265d8.tar.gz dotty-ba74188596760a0826bc6921358eac22f99265d8.tar.bz2 dotty-ba74188596760a0826bc6921358eac22f99265d8.zip |
Merge pull request #294 from samuelgruetter/tests-rewrite-2
Run rewrite tool on tests (2)
Diffstat (limited to 'tests/pending/pos/typerep-stephane.scala')
-rw-r--r-- | tests/pending/pos/typerep-stephane.scala | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/tests/pending/pos/typerep-stephane.scala b/tests/pending/pos/typerep-stephane.scala new file mode 100644 index 000000000..2cb899591 --- /dev/null +++ b/tests/pending/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 App { + import typerep._ + println(3.getType) + println(List(3).getType) +} |