diff options
Diffstat (limited to 'test/files')
| -rw-r--r-- | test/files/neg/vincent1.check | 2 | ||||
| -rw-r--r-- | test/files/pos/test5.scala | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/files/neg/vincent1.check b/test/files/neg/vincent1.check index 576386a839..82408b8a49 100644 --- a/test/files/neg/vincent1.check +++ b/test/files/neg/vincent1.check @@ -1,4 +1,4 @@ vincent1.scala:7: type x.type escapes its defining scope as part of test.B with {type T = x.T} - def functor(x: A): B with { type T = x.T } = + def functor(x: A): B { type T = x.T } = ^ one error found diff --git a/test/files/pos/test5.scala b/test/files/pos/test5.scala index 850fb49a31..08f91650da 100644 --- a/test/files/pos/test5.scala +++ b/test/files/pos/test5.scala @@ -11,7 +11,7 @@ module test { def g[Jg](h: Jg):G[Jg] = g[Jg](h); class M[P]() { - class I[X]() { + abstract class I[X]() { // Methods to check the type X and P as seen from instances of I def chk_ix(x: X): Unit = (); def chk_ip(p: P): Unit {} @@ -30,7 +30,7 @@ module test { class N[Q]() extends M[F[Q]]() { val j:J[G[Q]] = null; - class J[Y]() extends I[G[Y]]() { + abstract class J[Y]() extends I[G[Y]]() { // Values with types Y and X as seen from instances of J def val_jy: Y = val_jy; def val_jx: G[Y] = g[Y](val_jy); @@ -65,4 +65,4 @@ module test { j.chk_ix(j.val_jx); j.chk_ix(val_njx); } -}
\ No newline at end of file +} |