diff options
author | Martin Odersky <odersky@gmail.com> | 2006-05-23 12:44:49 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-05-23 12:44:49 +0000 |
commit | 90bed7c3b6dfe56f7475267e4b590df089030af5 (patch) | |
tree | 3112f65a64122f09af82dbc1ed9c815b2e6bc947 /test | |
parent | 911ce1e4a590ac40282857d7889aa297a211b588 (diff) | |
download | scala-90bed7c3b6dfe56f7475267e4b590df089030af5.tar.gz scala-90bed7c3b6dfe56f7475267e4b590df089030af5.tar.bz2 scala-90bed7c3b6dfe56f7475267e4b590df089030af5.zip |
Clean ups fro bugs 605, 508
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/bug608.check | 6 | ||||
-rw-r--r-- | test/files/neg/bug608.scala (renamed from test/files/pos/bug608.scala) | 0 | ||||
-rw-r--r-- | test/files/pos/bug611.scala | 25 |
3 files changed, 31 insertions, 0 deletions
diff --git a/test/files/neg/bug608.check b/test/files/neg/bug608.check new file mode 100644 index 0000000000..a4b2664b58 --- /dev/null +++ b/test/files/neg/bug608.check @@ -0,0 +1,6 @@ +bug608.scala:16 error: no type parameters for method bimap: ((ha) => c)hs{override type a = c} exist so that it can be applied to arguments ((ha) => ha) + --- because --- +result type hs{override type a = c} is incompatible with expected type hs{override type s = hs; override type a = ha} + = g(f(x).bimap(id)) + ^ +one error found diff --git a/test/files/pos/bug608.scala b/test/files/neg/bug608.scala index 24f515651a..24f515651a 100644 --- a/test/files/pos/bug608.scala +++ b/test/files/neg/bug608.scala diff --git a/test/files/pos/bug611.scala b/test/files/pos/bug611.scala new file mode 100644 index 0000000000..eb1a5c19c2 --- /dev/null +++ b/test/files/pos/bug611.scala @@ -0,0 +1,25 @@ +package bug.contrib_60; + +abstract class Field { + type FieldType; + + var internalValue: FieldType; +} + +case class IntField(value: int) extends Field { + type FieldType = int; + + var internalValue: FieldType = value; +} + +case class StringField(value: String) extends Field { + type FieldType = String; + + var internalValue: FieldType = value; +} + +object Test { + def main (ars:scala.Array[String]): unit = { + Console.println(List(new StringField ("bar"), new IntField(8))) + } +} |