From e40f735f6a49eb7df045df0aea20f4383a1e12cc Mon Sep 17 00:00:00 2001 From: Eugene Vigdorchik Date: Mon, 23 Jan 2012 17:42:50 +0400 Subject: [PATCH] Display sourcepos info when at least 1 pos known. --- main/Project.scala | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/main/Project.scala b/main/Project.scala index 3205a41c2..13063de78 100755 --- a/main/Project.scala +++ b/main/Project.scala @@ -274,11 +274,12 @@ object Project extends Init[Scope] with ProjectExtra } val comp = compiled(structure.settings, actual)(structure.delegates, structure.scopeLocal, display) val definedAt = comp get scoped map { c => - if (c.settings forall (_.pos ne NoPosition)) { + if (c.settings exists (_.pos ne NoPosition)) { + val header = if (c.settings forall (_.pos ne NoPosition)) "Defined at:" else "Some of the definition places:" def fmt(s: Setting[_]) = s.pos match { case SourceCoord(fileName, line) => fileName + ":" + line } - "Defined at:" + (c.settings map fmt mkString ("\n\t", "\n\t", "\n")) + header + (c.settings filter (_.pos ne NoPosition) map fmt mkString ("\n\t", "\n\t", "\n")) } else "" } getOrElse ""