added/modified check files

git-svn-id: http://lampsvn.epfl.ch/svn-repos/scala/scala/trunk@13151 5e8d7ff9-d8ef-0310-90f0-a4852d11357a
This commit is contained in:
odersky 2007-10-26 17:29:12 +00:00
parent 18758f3876
commit fb6d96715a
4 changed files with 16 additions and 10 deletions

View File

@ -42,8 +42,8 @@ x = Map(42 -> FortyTwo)
y = Map(42 -> FortyTwo)
x equals y: true - y equals x: true
x = TreeSet(0, 2)
y = TreeSet(0, 2)
x = Set(0, 2)
y = Set(0, 2)
x equals y: true - y equals x: true
x = ArrayBuffer(one, two)
@ -58,8 +58,8 @@ x = Set(0, 8, 9)
y = Set(0, 8, 9)
x equals y: true - y equals x: true
x = HashSet(layers, buffers, title)
y = HashSet(layers, buffers, title)
x = Set(layers, buffers, title)
y = Set(layers, buffers, title)
x equals y: true - y equals x: true
x = LinkedList(2, 3)

View File

@ -1,16 +1,16 @@
bug987.scala:15: error: illegal inheritance;
class E inherits different type instances of trait B:
B[C] and B[D]
B[D] and B[C]
class E extends D
^
bug987.scala:20: error: illegal inheritance;
class F inherits different type instances of trait B:
B[C] and B[D]
B[D] and B[C]
class F extends D
^
bug987.scala:25: error: illegal inheritance;
class D inherits different type instances of trait B:
B[C] and B[D]
B[D] and B[C]
abstract class D extends C with B[D] {}
^
bug987.scala:25: error: type arguments [D] do not conform to trait B's type parameter bounds [T <: B[T]]

View File

@ -0,0 +1,6 @@
t0152.scala:10: error: illegal inheritance;
object boom inherits different type instances of class Value:
Value[Int] and Value[java.lang.String]
object boom extends Value[java.lang.String]("foo") with PlusOne
^
one error found

View File

@ -1,3 +1,3 @@
q0 = HashSet(kl, jk, fg, ef, gh, a, cd, de, hj, b, lm, mn)
q1 = HashSet() 0
q2 = HashSet() 0
q0 = Set(kl, jk, fg, ef, gh, a, cd, de, hj, b, lm, mn)
q1 = Set() 0
q2 = Set() 0