diff options
author | Lukas Rytz <lukas.rytz@epfl.ch> | 2009-06-20 08:19:40 +0000 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2009-06-20 08:19:40 +0000 |
commit | 0e170e4b695adafb3f3d5823026ccf8d10047be3 (patch) | |
tree | 58dd5a4ca9e73602222733720c5ead9612e0282e /test/files/neg/names-defaults-neg.scala | |
parent | 60810d5c03ef614497d3a8ba5ad23d44e48194a8 (diff) | |
download | scala-0e170e4b695adafb3f3d5823026ccf8d10047be3.tar.gz scala-0e170e4b695adafb3f3d5823026ccf8d10047be3.tar.bz2 scala-0e170e4b695adafb3f3d5823026ccf8d10047be3.zip |
improvements to names / defaults (implicits, ty...
improvements to names / defaults (implicits, type of defaults, #2064,
...)
Diffstat (limited to 'test/files/neg/names-defaults-neg.scala')
-rw-r--r-- | test/files/neg/names-defaults-neg.scala | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/test/files/neg/names-defaults-neg.scala b/test/files/neg/names-defaults-neg.scala index 68cdcf782f..2e9f755174 100644 --- a/test/files/neg/names-defaults-neg.scala +++ b/test/files/neg/names-defaults-neg.scala @@ -63,6 +63,21 @@ object Test extends Application { val fac = Fact(1)(2, 3) val facc = fac.copy(b = "dlkfj")() + // no defaults in patterns + A1() match { case A1(_) => () } + + + // return types of default getters + + // definition compiles, but default cannot be used, it doesn't conform + def test4[T[P]](x: T[T[List[T[X forSome { type X }]]]] = List(1,2)) = x + test4() + + // doesn't compile + def test6[T](x: List[List[T]] = List(1,2)) = x + + // correct error message + new A2[String]() // DEFINITIONS def test1(a: Int, b: String) = a +": "+ b @@ -90,6 +105,6 @@ class C extends B { case class Fact(a: Int, b: String)(c: Int*) -// overriding default must have same type -class A5 { def foo(a: Object = "dlkf") = 0 } -class B5 extends A5 { override def foo(a: Object = new Object) = 1 } +case class A1(x: Int = 1, y: String = "2") + +class A2[T](a: T = 1) |