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/files/pos | |
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/files/pos')
-rw-r--r-- | test/files/pos/bug608.scala | 17 | ||||
-rw-r--r-- | test/files/pos/bug611.scala | 25 |
2 files changed, 25 insertions, 17 deletions
diff --git a/test/files/pos/bug608.scala b/test/files/pos/bug608.scala deleted file mode 100644 index 24f515651a..0000000000 --- a/test/files/pos/bug608.scala +++ /dev/null @@ -1,17 +0,0 @@ -trait CrashDueToTypeError { - def id[a](x :a) :a = x - - trait Bifunctor { - type a; // content - type s <: Bifunctor - - // uncomment this-vvvvvvvvvvvvvvvvvvvvvvvvvvvv, and it compiles - def bimap[c](f :a=>c) :s{/*type s=Bifunctor.this.s;*/type a=c; } - } - - def hylo[hs <: Bifunctor,ha,hb,hc] - (f :hb=>hs{type s=hs; type a=ha}, - g :hs{type s=hs; type a=ha}=>hc)(x :hb) - :hc - = g(f(x).bimap(id)) -} 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))) + } +} |