add a debug option to show original message in foundReqMsg

tek · Sep 19, 2023 · 070b336 · 070b336
1 parent 8dffef5
commit 070b336
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 2 deletions.
diff --git a/core/src/main/scala-2.13.7+/latest/splain/SplainFormattingExtension.scala b/core/src/main/scala-2.13.7+/latest/splain/SplainFormattingExtension.scala
@@ -391,6 +391,13 @@ trait SplainFormattingExtension extends typechecker.splain.SplainFormatting with
 
     val extra = mutable.Buffer.empty[String]
 
+    if (pluginSettings.debug) {
+
+      extra += "===[ ORIGINAL ERROR ]===" +
+        builtinFoundReqMsg(found, req) +
+        "\n"
+    }
+
     val result = (Seq(body) ++ extra.toSeq).mkString("\n")
     result
   }

diff --git a/core/src/main/scala-2.13.7+/latest/splain/SplainPluginLike.scala b/core/src/main/scala-2.13.7+/latest/splain/SplainPluginLike.scala
@@ -11,5 +11,4 @@ trait SplainPluginLike extends plugins.Plugin {
   val components: List[PluginComponent] = Nil
 
   val opts: mutable.Map[String, String] = PluginSettings.defaults.to(mutable.Map)
-
 }
diff --git a/core/src/main/scala/splain/PluginSettings.scala b/core/src/main/scala/splain/PluginSettings.scala
@@ -32,6 +32,8 @@ case class PluginSettings(pluginOpts: mutable.Map[String, String]) {
   // <= 1 : short type name
   //    2 : long type name
   // >= 3 : long type name with existential context
+
+  def debug: Boolean = boolean(PluginSettings.Key.debug)
 }
 
 object PluginSettings {
@@ -48,7 +50,7 @@ object PluginSettings {
 
     val typeVerbosity = "Vtype-verbosity"
 
-    val debug = "debug"
+    val debug = "Vdebug"
   }
 
   val defaults: Map[String, String] = Map(