From 2effcbad428e9252fd9b58b95d892a15365815f0 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Mon, 14 Sep 2015 11:14:44 +0200
Subject: [PATCH] Hide this useless warning
---
.../scala/leon/frontends/scalac/SaveImports.scala | 14 ++++++++++----
1 file changed, 10 insertions(+), 4 deletions(-)
diff --git a/src/main/scala/leon/frontends/scalac/SaveImports.scala b/src/main/scala/leon/frontends/scalac/SaveImports.scala
index ff7b05240..b9e557ff7 100644
--- a/src/main/scala/leon/frontends/scalac/SaveImports.scala
+++ b/src/main/scala/leon/frontends/scalac/SaveImports.scala
@@ -4,7 +4,12 @@ package leon
package frontends.scalac
import scala.tools.nsc._
-import utils.{Position => LeonPosition, RangePosition => LeonRangePosition, OffsetPosition => LeonOffsetPosition}
+import leon.utils.{
+ Position => LeonPosition,
+ RangePosition => LeonRangePosition,
+ OffsetPosition => LeonOffsetPosition,
+ DebugSectionTrees
+}
trait SaveImports extends SubComponent {
import global._
@@ -14,7 +19,8 @@ trait SaveImports extends SubComponent {
val ctx: LeonContext
var imports : Map[RefTree,List[Import]] = Map()
-
+
+ implicit val debugSection = DebugSectionTrees
// FIXME : Copy pasting code is bad.
def scalaPosToLeonPos(p: global.Position): LeonPosition = {
@@ -47,9 +53,9 @@ trait SaveImports extends SubComponent {
for (tree <- lst if !tree.isInstanceOf[Import] ) {
tree.foreach {
case imp : Import =>
- ctx.reporter.warning(
+ ctx.reporter.debug(
scalaPosToLeonPos(imp.pos),
- "Imports will not be preserved in the AST unless they are at top-level"
+ "Note: Imports will not be preserved in the AST unless they are at top-level"
)
case _ =>
}
--
GitLab