diff options
author | Martin Odersky <odersky@gmail.com> | 2014-05-30 14:42:59 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-05-30 14:42:59 +0200 |
commit | e43c3aaa61e570de1cb80b1766fb3e3988c444a0 (patch) | |
tree | 8230b7d27a2525e10482e58678be4beb3eb06480 /tests/neg | |
parent | 315c097d3a72077512fa06d7c26e8ad09a8b3f66 (diff) | |
download | dotty-e43c3aaa61e570de1cb80b1766fb3e3988c444a0.tar.gz dotty-e43c3aaa61e570de1cb80b1766fb3e3988c444a0.tar.bz2 dotty-e43c3aaa61e570de1cb80b1766fb3e3988c444a0.zip |
Reclassifying tests
Diffstat (limited to 'tests/neg')
-rw-r--r-- | tests/neg/t2994.scala | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/tests/neg/t2994.scala b/tests/neg/t2994.scala new file mode 100644 index 000000000..f3009b12f --- /dev/null +++ b/tests/neg/t2994.scala @@ -0,0 +1,35 @@ +object Naturals { + trait NAT { + type a[s[_ <: NAT] <: NAT, z <: NAT] <: NAT + type v = a[SUCC, ZERO] + } + final class ZERO extends NAT { + type a[s[_ <: NAT] <: NAT, z <: NAT] = z + } + final class SUCC[n <: NAT] extends NAT { + type a[s[_ <: NAT] <: NAT, z <: NAT] = s[n#a[s, z]] + } + type _0 = ZERO + type _1 = SUCC[_0] + type _2 = SUCC[_1] + type _3 = SUCC[_2] + type _4 = SUCC[_3] + type _5 = SUCC[_4] + type _6 = SUCC[_5] + + + // crashes scala-2.8.0 beta1 + trait MUL[n <: NAT, m <: NAT] extends NAT { + trait curry[n[_[_], _], s[_]] { type f[z <: NAT] = n[s, z] } + type a[s[_ <: NAT] <: NAT, z <: NAT] = n#a[curry[m#a, s]#f, z] + } + +} + +object Test { + trait Bar[X[_]] + trait Baz[S[_] <: Bar[S]] { + type Apply[T] + } + trait Foo[V[_] <: Bar[V]] extends Bar[Baz[V]#Apply] +} |