summaryrefslogtreecommitdiff
path: root/test/files/neg/anyval-anyref-parent.check
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2012-02-06 13:11:30 -0800
committerPaul Phillips <paulp@improving.org>2012-02-06 15:12:45 -0800
commit7f9c2636cf560b066783e0745a08393ce17531cd (patch)
tree225407c8dc22bab25301f9916c6c70eaba00d0ae /test/files/neg/anyval-anyref-parent.check
parent7539c4ee51c25a684399cd5400bf0285e6508fe2 (diff)
downloadscala-7f9c2636cf560b066783e0745a08393ce17531cd.tar.gz
scala-7f9c2636cf560b066783e0745a08393ce17531cd.tar.bz2
scala-7f9c2636cf560b066783e0745a08393ce17531cd.zip
Removing unnecessary AnyVal code.
...since it works from source. The parser must be forcibly restrained from adding a bogus constructor, but other than that it's pretty much smooth sailing. To give an idea how smooth, if I change scala.Short like so: trait Bippy extends Any final class Short extends AnyVal with Bippy Then it just works, at least until the fiction is revealed. scala> def f(x: Bippy) = x f: (x: Bippy)Bippy scala> f(5) <console>:9: error: type mismatch; found : Int(5) required: Bippy f(5) ^ scala> f(5: Short) java.lang.ClassCastException: java.lang.Short cannot be cast to scala.Bippy at .<init>(<console>:9) at .<clinit>(<console>) at .<init>(<console>:11)
Diffstat (limited to 'test/files/neg/anyval-anyref-parent.check')
-rw-r--r--test/files/neg/anyval-anyref-parent.check12
1 files changed, 11 insertions, 1 deletions
diff --git a/test/files/neg/anyval-anyref-parent.check b/test/files/neg/anyval-anyref-parent.check
index b40a0f2710..be895867ff 100644
--- a/test/files/neg/anyval-anyref-parent.check
+++ b/test/files/neg/anyval-anyref-parent.check
@@ -1,4 +1,14 @@
anyval-anyref-parent.scala:5: error: Any does not have a constructor
class Bar1 extends Any // fail
^
-one error found
+anyval-anyref-parent.scala:9: error: illegal inheritance; superclass Any
+ is not a subclass of the superclass Object
+ of the mixin trait Immutable
+trait Foo4 extends Any with Immutable // fail
+ ^
+anyval-anyref-parent.scala:10: error: illegal inheritance; superclass AnyVal
+ is not a subclass of the superclass Object
+ of the mixin trait Immutable
+trait Foo5 extends AnyVal with Immutable // fail
+ ^
+three errors found