summaryrefslogtreecommitdiff
path: root/test/files/pos/variances_pos.scala
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2010-09-28 00:51:25 +0000
committerPaul Phillips <paulp@improving.org>2010-09-28 00:51:25 +0000
commit9c0e58c48da4cdbae7c96ef45fc15cd7aff4301f (patch)
tree857d48a844aa0479863f79c2a991984ac6a0104f /test/files/pos/variances_pos.scala
parenta56c33b6a470939a1396015972f09e19dc493245 (diff)
downloadscala-9c0e58c48da4cdbae7c96ef45fc15cd7aff4301f.tar.gz
scala-9c0e58c48da4cdbae7c96ef45fc15cd7aff4301f.tar.bz2
scala-9c0e58c48da4cdbae7c96ef45fc15cd7aff4301f.zip
Cleaning up the contents of test.
including "CheckEither", written against scalacheck 1.2 in the year 471 AD. Removed all the duplicates I could find, mostly between pending and files. Renamed a bunch of tests so they wouldn't look like likely duplicates next time around. Nominated somebody else to do this once in a while. No review.
Diffstat (limited to 'test/files/pos/variances_pos.scala')
-rw-r--r--test/files/pos/variances_pos.scala8
1 files changed, 8 insertions, 0 deletions
diff --git a/test/files/pos/variances_pos.scala b/test/files/pos/variances_pos.scala
new file mode 100644
index 0000000000..7dc56b0225
--- /dev/null
+++ b/test/files/pos/variances_pos.scala
@@ -0,0 +1,8 @@
+abstract class P[+a, +b] { // SLS, Example 4.4.2
+ def fst: a;
+ def snd: b
+}
+
+trait Vector[+a] { // SLS, Example 4.4.3 b)
+ def append[b >: a](x: Vector[b]): Vector[b]
+}