diff options
| author | mihaylov <mihaylov@epfl.ch> | 2005-11-03 08:28:21 +0000 |
|---|---|---|
| committer | mihaylov <mihaylov@epfl.ch> | 2005-11-03 08:28:21 +0000 |
| commit | c3244c0d696e21c3d2a5c2fd5d6594594bfa048d (patch) | |
| tree | 765728448dbb4084eb6217115a330e6bdc354c25 /test | |
| parent | 7836c40fcd51bb51a61a78fe4e8282231e99398f (diff) | |
| download | scala-c3244c0d696e21c3d2a5c2fd5d6594594bfa048d.tar.gz scala-c3244c0d696e21c3d2a5c2fd5d6594594bfa048d.tar.bz2 scala-c3244c0d696e21c3d2a5c2fd5d6594594bfa048d.zip | |
*** empty log message ***
Diffstat (limited to 'test')
| -rw-r--r-- | test/files/dis/List.check | 2 | ||||
| -rw-r--r-- | test/files/neg/bug97.check | 2 | ||||
| -rw-r--r-- | test/files/neg/negSeq.check | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/test/files/dis/List.check b/test/files/dis/List.check index fd9e49834e..d3535f6b56 100644 --- a/test/files/dis/List.check +++ b/test/files/dis/List.check @@ -1,4 +1,4 @@ -sealed trait List[+a]() extends scala.Seq[a] with scala.ScalaObject { +abstract sealed class List[+a]() extends scala.Seq[a] with scala.ScalaObject { def isEmpty: scala.Boolean; def head: a; def tail: scala.List[a]; diff --git a/test/files/neg/bug97.check b/test/files/neg/bug97.check index a7c52ff78e..760c8fda75 100644 --- a/test/files/neg/bug97.check +++ b/test/files/neg/bug97.check @@ -1,4 +1,4 @@ -bug97.scala:3: expected pattern type scala.Any does not conform to sequence trait List +bug97.scala:3: expected pattern type scala.Any does not conform to sequence class List case List(y) => "zero" ^ one error found diff --git a/test/files/neg/negSeq.check b/test/files/neg/negSeq.check index aefb0a5fdb..33ca5e4993 100644 --- a/test/files/neg/negSeq.check +++ b/test/files/neg/negSeq.check @@ -1,4 +1,4 @@ -negSeq.scala:6: expected pattern type scala.Seq[scala.Int] does not conform to sequence trait List +negSeq.scala:6: expected pattern type scala.Seq[scala.Int] does not conform to sequence class List case List(1,2,3) => true // type error: type Seq will not work ^ one error found |