diff options
| author | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-07-20 09:22:00 +0000 |
|---|---|---|
| committer | Adriaan Moors <adriaan.moors@epfl.ch> | 2007-07-20 09:22:00 +0000 |
| commit | 62d7f4c35a302d65fb3b17c8b15f3f1c86601639 (patch) | |
| tree | f73982c7a8d8314112db7227c24ced183f99928b /test/pending/neg | |
| parent | 475937a041159d49d03f3f6a199e7c8416d0ba8e (diff) | |
| download | scala-62d7f4c35a302d65fb3b17c8b15f3f1c86601639.tar.gz scala-62d7f4c35a302d65fb3b17c8b15f3f1c86601639.tar.bz2 scala-62d7f4c35a302d65fb3b17c8b15f3f1c86601639.zip | |
quick fix for the first part of bug1210 (compil...
quick fix for the first part of bug1210 (compiler loops in normalize), so that the other problem is revealed: escaping variable is not detected. For the first part, I added an ugly explicit if to `normalize` -- I haven't figured out why it's needed yet.
Diffstat (limited to 'test/pending/neg')
| -rw-r--r-- | test/pending/neg/bug1210.scala | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/pending/neg/bug1210.scala b/test/pending/neg/bug1210.scala new file mode 100644 index 0000000000..b4c9c703be --- /dev/null +++ b/test/pending/neg/bug1210.scala @@ -0,0 +1,10 @@ +object Test { + def id[T](f: T => T): T = error("bla") + + abstract class M { self => + type Settings + type selfType = M {type Settings = self.Settings} + + val v: selfType = id[M.this.selfType](_.v) + } +}
\ No newline at end of file |