From 88b1e440d1e2b166998d007961045245543ba380 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Tue, 17 May 2016 12:39:00 +0200
Subject: [PATCH] Better messages here

---
 src/main/scala/leon/purescala/DefOps.scala | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/src/main/scala/leon/purescala/DefOps.scala b/src/main/scala/leon/purescala/DefOps.scala
index db8905963..33592c406 100644
--- a/src/main/scala/leon/purescala/DefOps.scala
+++ b/src/main/scala/leon/purescala/DefOps.scala
@@ -365,7 +365,7 @@ object DefOps {
                                  fiMapF: (FunctionInvocation, FunDef) => Option[Expr] = defaultFiMap)
                                  : (Program, Map[Identifier, Identifier], Map[FunDef, FunDef], Map[ClassDef, ClassDef]) = {
     replaceDefs(p)(fdMapF, cd => None, fiMapF)
-      }
+  }
 
   /** Replaces all function calls by an expression depending on the previous function invocation and the new mapped function */
   def replaceFunCalls(e: Expr, fdMapF: FunDef => FunDef, fiMapF: (FunctionInvocation, FunDef) => Option[Expr] = defaultFiMap): Expr = {
@@ -671,9 +671,11 @@ object DefOps {
       println(s"addDefs could not find anchor definition! Not found: $after")
       p.definedFunctions.filter(f => f.id.name == after.id.name).map(fd => fd.id.name + " : " + fd) match {
         case Nil => 
-        case e => println("Did you mean " + e)
+        case e =>
+          println("Did you mean one of:")
+          e foreach println
     }
-      println(Thread.currentThread().getStackTrace.map(_.toString).take(10).mkString("\n"))
+      (new Exception).printStackTrace()
     }
 
     res
-- 
GitLab