diff options
| author | Martin Odersky <odersky@gmail.com> | 2003-03-18 11:29:41 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2003-03-18 11:29:41 +0000 |
| commit | 3307717e4e7dc1faf45accd775e5947db3652cd7 (patch) | |
| tree | c03b053315c0b62aeb32d1f1a01c638e306905ff /test/files/pos/test4refine.scala | |
| parent | 31b5dceeb144c7aa99aa153e4184cbb3b45110e0 (diff) | |
| download | scala-3307717e4e7dc1faf45accd775e5947db3652cd7.tar.gz scala-3307717e4e7dc1faf45accd775e5947db3652cd7.tar.bz2 scala-3307717e4e7dc1faf45accd775e5947db3652cd7.zip | |
*** empty log message ***
Diffstat (limited to 'test/files/pos/test4refine.scala')
| -rw-r--r-- | test/files/pos/test4refine.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/files/pos/test4refine.scala b/test/files/pos/test4refine.scala index 8e3fee70cc..ad68bc891a 100644 --- a/test/files/pos/test4refine.scala +++ b/test/files/pos/test4refine.scala @@ -21,8 +21,8 @@ abstract class O() { type Y; def foo(x: X, y: Y): E = e; } - val i:I with { type Y = E } = null; - val j:I with { type Y = X } = null; + val i:I { type Y = E } = null; + val j:I { type Y = X } = null; } module o extends O() { |