diff options
author | Martin Odersky <odersky@gmail.com> | 2008-06-18 15:39:36 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2008-06-18 15:39:36 +0000 |
commit | 72da305329d3a8889e4e5f8d81a0ecad04b097ad (patch) | |
tree | 6b79b4d0d37b73444a712279fc4b08c5009fe45f /test/files/pos/gadt-gilles.scala | |
parent | 707e55c2271a6b35fb4a173106c2a36aa07cfe9a (diff) | |
download | scala-72da305329d3a8889e4e5f8d81a0ecad04b097ad.tar.gz scala-72da305329d3a8889e4e5f8d81a0ecad04b097ad.tar.bz2 scala-72da305329d3a8889e4e5f8d81a0ecad04b097ad.zip |
gixed gilles' gadt problems. Added some tests
Diffstat (limited to 'test/files/pos/gadt-gilles.scala')
-rw-r--r-- | test/files/pos/gadt-gilles.scala | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/test/files/pos/gadt-gilles.scala b/test/files/pos/gadt-gilles.scala new file mode 100644 index 0000000000..662be9017d --- /dev/null +++ b/test/files/pos/gadt-gilles.scala @@ -0,0 +1,37 @@ +object Test { + trait A[T] + trait B[U, V] extends A[U with V] // indirect constraint + trait C + trait D + + val x: A[C with D] = new B[C, D] {} + val y: A[C with D] = x match { case b: B[u, v] => (new B[u, v] {}): A[u with v] } // OK + + + def f[T, U](p: A[T with U]): A[T with U] = p match { case b: B[u, v] => new A[u with v] {} } // Not OK +} + +object Test1 { + + trait T[U, V <: U] + + def f(r: Any) = r match { + + case t: T[u, v] => new T[u, v]{} + + } + +} +object Test2 { + + trait T[U, V <: U] + + val x: T[Int, Int] = new T[Int, Int]{} + + x match { + + case t: T[u, v] => new T[u, v]{} + + } + +} |