From 62d7f4c35a302d65fb3b17c8b15f3f1c86601639 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Fri, 20 Jul 2007 09:22:00 +0000 Subject: 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. --- test/pending/neg/bug1210.scala | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test/pending/neg/bug1210.scala (limited to 'test') 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 -- cgit v1.2.3