aboutsummaryrefslogtreecommitdiff
path: root/tests/pos
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2014-04-21 18:13:38 +0200
committerDmitry Petrashko <dmitry.petrashko@gmail.com>2014-05-08 21:51:46 +0200
commit3ae84523f96d36afa922c9655d88b60417d0d42d (patch)
treec79de2dfb3f4146b0f58055147ddfb29a45de606 /tests/pos
parent782c24ff51865e43e34a2485dc585a757ada2c3b (diff)
downloaddotty-3ae84523f96d36afa922c9655d88b60417d0d42d.tar.gz
dotty-3ae84523f96d36afa922c9655d88b60417d0d42d.tar.bz2
dotty-3ae84523f96d36afa922c9655d88b60417d0d42d.zip
Moved tests to pending because they fail -Ycheck:front
Diffstat (limited to 'tests/pos')
-rw-r--r--tests/pos/t0786.scala29
-rw-r--r--tests/pos/t1164.scala29
2 files changed, 0 insertions, 58 deletions
diff --git a/tests/pos/t0786.scala b/tests/pos/t0786.scala
deleted file mode 100644
index b320de0ed..000000000
--- a/tests/pos/t0786.scala
+++ /dev/null
@@ -1,29 +0,0 @@
-object ImplicitProblem {
- class M[T]
-
- def nullval[T] = null.asInstanceOf[T];
-
- trait Rep[T] {
- def eval: Int
- }
-
- implicit def toRep0(n: Int): Rep[Int] = new Rep[Int] {
- def eval = 0
- }
-
- implicit def toRepN[T](n: M[T])(implicit f: T => Rep[T]): Rep[M[T]] = new Rep[M[T]] {
- def eval = f(nullval[T]).eval + 1
- }
-
- def depth[T](n: T)(implicit ev: T => Rep[T]) = n.eval
-
- def main(args: Array[String]): Unit = {
- println(depth(nullval[M[Int]])) // (1) this works
- println(nullval[M[Int]].eval) // (2) this works
-
- type m = M[Int]
- println(depth(nullval[m])) // (3) this doesn't compile on 2.7.RC1
- println(nullval[m].eval) // (4) this works
- }
-
-}
diff --git a/tests/pos/t1164.scala b/tests/pos/t1164.scala
deleted file mode 100644
index ab58c1d6b..000000000
--- a/tests/pos/t1164.scala
+++ /dev/null
@@ -1,29 +0,0 @@
-
-
-object test {
-
- class Foo[a](val arg : a)
-
- object Foo {
- def apply [a](arg : a, right :a) = new Foo[a](arg)
- def unapply [a](m : Foo[a]) = Some (m.arg)
- }
-
- def matchAndGetArgFromFoo[a]( e:Foo[a]):a = {e match { case Foo(x) => x }}
-
-
- // Try the same thing as above but use function as argument to Bar
- // constructor
-
- type FunIntToA [a] = (Int) => a
- class Bar[a] (var f: FunIntToA[a])
-
- object Bar {
- def apply[a](f: FunIntToA[a]) = new Bar[a](f)
- def unapply[a](m: Bar[a]) = Some (m.f)
- }
-
- def matchAndGetFunFromBar[a](b:Bar[a]) : FunIntToA[a] = { b match { case Bar(x) => x}}
-
-
-}