fixed bug 556

3 files changed, 28 insertions, 0 deletions

diff --git a/pending/files/neg/bug555.scala b/pending/files/neg/bug555.scala
new file mode 100644
index 0000000000..26dbe6cc0d
--- /dev/null
+++ b/pending/files/neg/bug555.scala
@@ -0,0 +1,5 @@
+object Main extends Application {
+  def tata = {
+    def titi = {}
+  }
+}
diff --git a/pending/files/neg/bug556.scala b/pending/files/neg/bug556.scala
new file mode 100644
index 0000000000..4f4e905fbb
--- /dev/null
+++ b/pending/files/neg/bug556.scala
@@ -0,0 +1,4 @@
+object Main extends Application {
+  def f(a:Int=>Int):Int = a(4)
+  def g:Int = f((x,y)=>x)
+}
diff --git a/pending/files/neg/bug558.scala b/pending/files/neg/bug558.scala
new file mode 100644
index 0000000000..f88471f776
--- /dev/null
+++ b/pending/files/neg/bug558.scala
@@ -0,0 +1,19 @@
+package scala.tools.nsc.models;
+import scala.tools.util._;
+
+abstract class NewModel {
+  abstract class SymbolURL {
+    val top   : RootURL;
+    val name  : String;
+    val source  : AbstractFile;
+  }
+  abstract class NodeURL extends SymbolURL {
+    val parent : SymbolURL;
+    final val top = parent.top;
+    final val source = top.file;
+
+  }
+  abstract class RootURL extends SymbolURL {
+    final val top   : RootURL = this;
+  }
+}