diff options
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pending/pos/t1071.scala (renamed from tests/untried/pos/t1071.scala) | 2 | ||||
-rw-r--r-- | tests/pending/pos/t1208.scala | 7 | ||||
-rw-r--r-- | tests/pending/pos/t1236.scala (renamed from tests/untried/pos/t1236.scala) | 2 | ||||
-rw-r--r-- | tests/pending/pos/t1272.scala (renamed from tests/untried/pos/t1272.scala) | 0 | ||||
-rw-r--r-- | tests/pending/pos/t1279a.scala (renamed from tests/untried/pos/t1279a.scala) | 0 | ||||
-rw-r--r-- | tests/pending/pos/t1280.scala (renamed from tests/untried/pos/t1280.scala) | 0 | ||||
-rw-r--r-- | tests/pending/pos/t1292.scala (renamed from tests/untried/pos/t1292.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1000.scala (renamed from tests/untried/pos/t1000.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1001.scala (renamed from tests/untried/pos/t1001.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1006.scala (renamed from tests/untried/pos/t1006.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1014.scala (renamed from tests/untried/pos/t1014.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1027.scala (renamed from tests/untried/pos/t1027.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1034.scala (renamed from tests/untried/pos/t1034.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1035.scala (renamed from tests/untried/pos/t1035.scala) | 2 | ||||
-rw-r--r-- | tests/pos/t1048.scala | 14 | ||||
-rw-r--r-- | tests/pos/t1049.scala (renamed from tests/untried/pos/t1049.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1050.scala (renamed from tests/untried/pos/t1050.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1053.scala (renamed from tests/untried/pos/t1053.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1056.scala (renamed from tests/new/t1056.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1070.scala (renamed from tests/untried/pos/t1070.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1075.scala (renamed from tests/untried/pos/t1075.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1085.scala (renamed from tests/untried/pos/t1085.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1090.scala (renamed from tests/untried/pos/t1090.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1107a.scala (renamed from tests/untried/pos/t1107a.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1119.scala (renamed from tests/untried/pos/t1119.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1131.scala (renamed from tests/untried/pos/t1131.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1133.scala (renamed from tests/untried/pos/t1133.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1136.scala (renamed from tests/untried/pos/t1136.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1146.scala (renamed from tests/untried/pos/t1146.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1147.scala (renamed from tests/untried/pos/t1147.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t115.scala (renamed from tests/untried/pos/t115.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1159.scala (renamed from tests/untried/pos/t1159.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t116.scala (renamed from tests/untried/pos/t116.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1164.scala (renamed from tests/untried/pos/t1164.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1168.scala (renamed from tests/untried/pos/t1168.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1185.scala (renamed from tests/untried/pos/t1185.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t119.scala (renamed from tests/untried/pos/t119.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1203a.scala (renamed from tests/untried/pos/t1203a.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t121.scala (renamed from tests/untried/pos/t121.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1210a.scala (renamed from tests/untried/pos/t1210a.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t122.scala (renamed from tests/untried/pos/t122.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1226.scala (renamed from tests/untried/pos/t1226.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1237.scala (renamed from tests/untried/pos/t1237.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t124.scala (renamed from tests/untried/pos/t124.scala) | 0 | ||||
-rw-r--r-- | tests/pos/t1260.scala (renamed from tests/untried/pos/t1260.scala) | 0 | ||||
-rw-r--r-- | tests/untried/pos/t1048.scala | 14 | ||||
-rw-r--r-- | tests/untried/pos/t1208.scala | 4 |
47 files changed, 25 insertions, 20 deletions
diff --git a/tests/untried/pos/t1071.scala b/tests/pending/pos/t1071.scala index 59149a021..b241cd648 100644 --- a/tests/untried/pos/t1071.scala +++ b/tests/pending/pos/t1071.scala @@ -15,3 +15,5 @@ object Test { c.a // error } +// to fix this we'd need to check accessibility in the isMatchedBy of a SelectionProto, +// so that we can insert an implicit if this does not work. Need to check performance impact of this. diff --git a/tests/pending/pos/t1208.scala b/tests/pending/pos/t1208.scala new file mode 100644 index 000000000..7b14aadca --- /dev/null +++ b/tests/pending/pos/t1208.scala @@ -0,0 +1,7 @@ +object Test { + object Foo + val f: Option[Foo.type] = Some(Foo) +} + +// unsupported with current typing rules. +// on the other hand, we need a way to refer to a module class. diff --git a/tests/untried/pos/t1236.scala b/tests/pending/pos/t1236.scala index 75a1befd2..eee1cbf02 100644 --- a/tests/untried/pos/t1236.scala +++ b/tests/pending/pos/t1236.scala @@ -4,7 +4,7 @@ trait Empty[E[_]] { object T { val ListEmpty = new Empty[List] { - def e[A] = Nil + def e[A]/*: List*/ = Nil // uncomment to get crash } def foo[F[_]](q:(String,String)) = "hello" diff --git a/tests/untried/pos/t1272.scala b/tests/pending/pos/t1272.scala index 916b783bb..916b783bb 100644 --- a/tests/untried/pos/t1272.scala +++ b/tests/pending/pos/t1272.scala diff --git a/tests/untried/pos/t1279a.scala b/tests/pending/pos/t1279a.scala index 18b1e53f4..18b1e53f4 100644 --- a/tests/untried/pos/t1279a.scala +++ b/tests/pending/pos/t1279a.scala diff --git a/tests/untried/pos/t1280.scala b/tests/pending/pos/t1280.scala index 39406b2e3..39406b2e3 100644 --- a/tests/untried/pos/t1280.scala +++ b/tests/pending/pos/t1280.scala diff --git a/tests/untried/pos/t1292.scala b/tests/pending/pos/t1292.scala index 83a996d53..83a996d53 100644 --- a/tests/untried/pos/t1292.scala +++ b/tests/pending/pos/t1292.scala diff --git a/tests/untried/pos/t1000.scala b/tests/pos/t1000.scala index 613af76b9..613af76b9 100644 --- a/tests/untried/pos/t1000.scala +++ b/tests/pos/t1000.scala diff --git a/tests/untried/pos/t1001.scala b/tests/pos/t1001.scala index 7a06bfa0e..7a06bfa0e 100644 --- a/tests/untried/pos/t1001.scala +++ b/tests/pos/t1001.scala diff --git a/tests/untried/pos/t1006.scala b/tests/pos/t1006.scala index 2163b2b74..2163b2b74 100644 --- a/tests/untried/pos/t1006.scala +++ b/tests/pos/t1006.scala diff --git a/tests/untried/pos/t1014.scala b/tests/pos/t1014.scala index 6fb7f7ba4..6fb7f7ba4 100644 --- a/tests/untried/pos/t1014.scala +++ b/tests/pos/t1014.scala diff --git a/tests/untried/pos/t1027.scala b/tests/pos/t1027.scala index 02ba9a8a3..02ba9a8a3 100644 --- a/tests/untried/pos/t1027.scala +++ b/tests/pos/t1027.scala diff --git a/tests/untried/pos/t1034.scala b/tests/pos/t1034.scala index 9d966334a..9d966334a 100644 --- a/tests/untried/pos/t1034.scala +++ b/tests/pos/t1034.scala diff --git a/tests/untried/pos/t1035.scala b/tests/pos/t1035.scala index e0a9379c7..ef81cb0d9 100644 --- a/tests/untried/pos/t1035.scala +++ b/tests/pos/t1035.scala @@ -6,7 +6,7 @@ class A { var name:String = _ def getName() = name - def this(name:String, age:Int){this();this.name=name} + def this(name:String, age:Int) = {this(); this.name = name} } diff --git a/tests/pos/t1048.scala b/tests/pos/t1048.scala new file mode 100644 index 000000000..b8694b38e --- /dev/null +++ b/tests/pos/t1048.scala @@ -0,0 +1,14 @@ +trait T[U] { + def x: T[_ <: U] +} + +object T { + def unapply[U](t: T[U]): Option[T[_ <: U]] = Some(t.x) +} + +object Test { + def f[W](t: T[W]) = t match { + case T(T(_)) => () + } +} + diff --git a/tests/untried/pos/t1049.scala b/tests/pos/t1049.scala index 61d99f946..61d99f946 100644 --- a/tests/untried/pos/t1049.scala +++ b/tests/pos/t1049.scala diff --git a/tests/untried/pos/t1050.scala b/tests/pos/t1050.scala index d34b0cff1..d34b0cff1 100644 --- a/tests/untried/pos/t1050.scala +++ b/tests/pos/t1050.scala diff --git a/tests/untried/pos/t1053.scala b/tests/pos/t1053.scala index 1d4dfb637..1d4dfb637 100644 --- a/tests/untried/pos/t1053.scala +++ b/tests/pos/t1053.scala diff --git a/tests/new/t1056.scala b/tests/pos/t1056.scala index 68f1ff273..68f1ff273 100644 --- a/tests/new/t1056.scala +++ b/tests/pos/t1056.scala diff --git a/tests/untried/pos/t1070.scala b/tests/pos/t1070.scala index 1622043a8..1622043a8 100644 --- a/tests/untried/pos/t1070.scala +++ b/tests/pos/t1070.scala diff --git a/tests/untried/pos/t1075.scala b/tests/pos/t1075.scala index 5f72957da..5f72957da 100644 --- a/tests/untried/pos/t1075.scala +++ b/tests/pos/t1075.scala diff --git a/tests/untried/pos/t1085.scala b/tests/pos/t1085.scala index c59e657cb..c59e657cb 100644 --- a/tests/untried/pos/t1085.scala +++ b/tests/pos/t1085.scala diff --git a/tests/untried/pos/t1090.scala b/tests/pos/t1090.scala index a9bce90b0..a9bce90b0 100644 --- a/tests/untried/pos/t1090.scala +++ b/tests/pos/t1090.scala diff --git a/tests/untried/pos/t1107a.scala b/tests/pos/t1107a.scala index 0bf40bb4c..0bf40bb4c 100644 --- a/tests/untried/pos/t1107a.scala +++ b/tests/pos/t1107a.scala diff --git a/tests/untried/pos/t1119.scala b/tests/pos/t1119.scala index 8b36877c4..8b36877c4 100644 --- a/tests/untried/pos/t1119.scala +++ b/tests/pos/t1119.scala diff --git a/tests/untried/pos/t1131.scala b/tests/pos/t1131.scala index 1b2a90457..1b2a90457 100644 --- a/tests/untried/pos/t1131.scala +++ b/tests/pos/t1131.scala diff --git a/tests/untried/pos/t1133.scala b/tests/pos/t1133.scala index 562b528ea..562b528ea 100644 --- a/tests/untried/pos/t1133.scala +++ b/tests/pos/t1133.scala diff --git a/tests/untried/pos/t1136.scala b/tests/pos/t1136.scala index 92d603e69..92d603e69 100644 --- a/tests/untried/pos/t1136.scala +++ b/tests/pos/t1136.scala diff --git a/tests/untried/pos/t1146.scala b/tests/pos/t1146.scala index 7e5adc4f4..7e5adc4f4 100644 --- a/tests/untried/pos/t1146.scala +++ b/tests/pos/t1146.scala diff --git a/tests/untried/pos/t1147.scala b/tests/pos/t1147.scala index ff2e8bc52..ff2e8bc52 100644 --- a/tests/untried/pos/t1147.scala +++ b/tests/pos/t1147.scala diff --git a/tests/untried/pos/t115.scala b/tests/pos/t115.scala index 0e6a63c16..0e6a63c16 100644 --- a/tests/untried/pos/t115.scala +++ b/tests/pos/t115.scala diff --git a/tests/untried/pos/t1159.scala b/tests/pos/t1159.scala index 7e09418b2..7e09418b2 100644 --- a/tests/untried/pos/t1159.scala +++ b/tests/pos/t1159.scala diff --git a/tests/untried/pos/t116.scala b/tests/pos/t116.scala index 1e31b71bf..1e31b71bf 100644 --- a/tests/untried/pos/t116.scala +++ b/tests/pos/t116.scala diff --git a/tests/untried/pos/t1164.scala b/tests/pos/t1164.scala index ab58c1d6b..ab58c1d6b 100644 --- a/tests/untried/pos/t1164.scala +++ b/tests/pos/t1164.scala diff --git a/tests/untried/pos/t1168.scala b/tests/pos/t1168.scala index 75638e792..75638e792 100644 --- a/tests/untried/pos/t1168.scala +++ b/tests/pos/t1168.scala diff --git a/tests/untried/pos/t1185.scala b/tests/pos/t1185.scala index fa863d158..fa863d158 100644 --- a/tests/untried/pos/t1185.scala +++ b/tests/pos/t1185.scala diff --git a/tests/untried/pos/t119.scala b/tests/pos/t119.scala index 44a156675..44a156675 100644 --- a/tests/untried/pos/t119.scala +++ b/tests/pos/t119.scala diff --git a/tests/untried/pos/t1203a.scala b/tests/pos/t1203a.scala index cf5ab9fba..cf5ab9fba 100644 --- a/tests/untried/pos/t1203a.scala +++ b/tests/pos/t1203a.scala diff --git a/tests/untried/pos/t121.scala b/tests/pos/t121.scala index 78ddc41ee..78ddc41ee 100644 --- a/tests/untried/pos/t121.scala +++ b/tests/pos/t121.scala diff --git a/tests/untried/pos/t1210a.scala b/tests/pos/t1210a.scala index b3492f96e..b3492f96e 100644 --- a/tests/untried/pos/t1210a.scala +++ b/tests/pos/t1210a.scala diff --git a/tests/untried/pos/t122.scala b/tests/pos/t122.scala index 630e24ce4..630e24ce4 100644 --- a/tests/untried/pos/t122.scala +++ b/tests/pos/t122.scala diff --git a/tests/untried/pos/t1226.scala b/tests/pos/t1226.scala index 0af21cbb6..0af21cbb6 100644 --- a/tests/untried/pos/t1226.scala +++ b/tests/pos/t1226.scala diff --git a/tests/untried/pos/t1237.scala b/tests/pos/t1237.scala index 31ba2966a..31ba2966a 100644 --- a/tests/untried/pos/t1237.scala +++ b/tests/pos/t1237.scala diff --git a/tests/untried/pos/t124.scala b/tests/pos/t124.scala index 9aed6786f..9aed6786f 100644 --- a/tests/untried/pos/t124.scala +++ b/tests/pos/t124.scala diff --git a/tests/untried/pos/t1260.scala b/tests/pos/t1260.scala index 02f9e7e6b..02f9e7e6b 100644 --- a/tests/untried/pos/t1260.scala +++ b/tests/pos/t1260.scala diff --git a/tests/untried/pos/t1048.scala b/tests/untried/pos/t1048.scala deleted file mode 100644 index cd16db5b6..000000000 --- a/tests/untried/pos/t1048.scala +++ /dev/null @@ -1,14 +0,0 @@ -trait T[U] { - def x: T[V] forSome { type V <: U } -} - -object T { - def unapply[U](t: T[U]): Option[T[V] forSome { type V <: U }] = Some(t.x) -} - -object Test { - def f[W](t: T[W]) = t match { - case T(T(_)) => () - } -} - diff --git a/tests/untried/pos/t1208.scala b/tests/untried/pos/t1208.scala deleted file mode 100644 index 9ac783d39..000000000 --- a/tests/untried/pos/t1208.scala +++ /dev/null @@ -1,4 +0,0 @@ -object Test { - object Foo - val f: Option[Foo.type] = Some(Foo) -} |