add spaces to infix display in BuiltInDiffMsg

tek · Oct 5, 2023 · b57adf6 · b57adf6
1 parent 525b919
commit b57adf6
Show file tree

Hide file tree

Showing 2 changed files with 13 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
@@ -482,7 +482,7 @@ trait SplainFormattingExtension extends typechecker.splain.SplainFormatting with
 
       lazy val infixText = infixOpt match {
         case None => "|"
-        case Some(ii) => showFormattedLImpl(ii, break).flat
+        case Some(ii) => " " + showFormattedLImpl(ii, break).flat + " "
       }
 
       val indented = msg

diff --git a/core/src/test/resources/splain/plugin/VTypeDiffsDetailSpec/__direct/check b/core/src/test/resources/splain/plugin/VTypeDiffsDetailSpec/__direct/check
@@ -38,6 +38,7 @@ newSource1.scala:27: error: implicit error;
 
         add2(x.head)
             ^
+
 newSource1.scala:6: error: type mismatch;
   Long(in method add)|scala.Long
   ――(comparing <found>|<required>)
@@ -55,14 +56,24 @@ newSource1.scala:6: error: type mismatch;
 newSource1.scala:16: error: implicit error;
 !I ev:
   Long(in method add) =:= scala.Long
-  ――(comparing <found>=:=<required>)
+  ――(comparing <found> =:= <required>)
      found   : Long(in method add)
      required: scala.Long
   Cannot prove that Long =:= Long.
 
         add2(x.head)
             ^
 newSource1.scala:27: error: implicit error;
+!I ev:
+  Long(in method add) <:< scala.Long
+  ――(comparing <found> <:< <required>)
+     found   : Long(in method add)
+     required: scala.Long
+  Cannot prove that Long <:< Long.
+
+        add2(x.head)
+            ^
+newSource1.scala:27: error: implicit error;
 !I ev:
   Long(in method add) <:< scala.Long
   ――(comparing <found><:<<required>)