diff options
author | Martin Odersky <odersky@gmail.com> | 2006-05-22 10:59:44 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-05-22 10:59:44 +0000 |
commit | ffffaf4910710fec7d77d45ee232e8a6fb0d6a9f (patch) | |
tree | 406923023b9dda4d4e44f8d91d9514262bc85e3b /test | |
parent | 06ab9264e8136bcf0da1bce6842e02371569049a (diff) | |
download | scala-ffffaf4910710fec7d77d45ee232e8a6fb0d6a9f.tar.gz scala-ffffaf4910710fec7d77d45ee232e8a6fb0d6a9f.tar.bz2 scala-ffffaf4910710fec7d77d45ee232e8a6fb0d6a9f.zip |
Fixed bug 604,605, 606, 607, 608, 611
Diffstat (limited to 'test')
-rw-r--r-- | test/files/pos/bug604.scala | 8 | ||||
-rw-r--r-- | test/files/pos/bug608.scala | 17 |
2 files changed, 25 insertions, 0 deletions
diff --git a/test/files/pos/bug604.scala b/test/files/pos/bug604.scala new file mode 100644 index 0000000000..fb90d5ae31 --- /dev/null +++ b/test/files/pos/bug604.scala @@ -0,0 +1,8 @@ +object Test +{ + type T = Foo.type + object Foo + + def main(argv : Array[String]) : Unit = { + } +} diff --git a/test/files/pos/bug608.scala b/test/files/pos/bug608.scala new file mode 100644 index 0000000000..24f515651a --- /dev/null +++ b/test/files/pos/bug608.scala @@ -0,0 +1,17 @@ +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)) +} |