Remove withoutHash stuff

utwente-fmt · Feb 26, 2024 · 29201bf · 29201bf
1 parent 74a71ec
commit 29201bf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 10 deletions.
diff --git a/src/col/vct/col/ast/node/NodeImpl.scala b/src/col/vct/col/ast/node/NodeImpl.scala
@@ -157,11 +157,6 @@ trait NodeImpl[G] extends Show { this: Node[G] =>
     Group(show).toStringWithContext
   }
 
-  def toInlineStringWithoutHash: String = {
-    implicit val ctx = Ctx(withoutHash=true).namesIn(this).copy(width = Int.MaxValue)
-    Group(show).toStringWithContext
-  }
-
   def highlight(node: Node[_]): HasContext =
     new HasContext {
       def contextText: String = {

diff --git a/src/col/vct/col/print/Ctx.scala b/src/col/vct/col/print/Ctx.scala
@@ -22,7 +22,6 @@ case class Ctx(
   tabWidth: Int = 4,
   names: Map[Declaration[_], String] = Map.empty,
   inSpec: Boolean = false,
-  withoutHash: Boolean = false,
 ) {
   def namesIn[G](node: Node[G]): Ctx =
     copy(names = {
@@ -31,10 +30,8 @@ case class Ctx(
       namer.finish.asInstanceOf[Map[Declaration[_], String]]
     })
 
-  def name(decl: Declaration[_]): String = {
-    val hash = if(withoutHash) "" else "_${decl.hashCode()}"
-    names.getOrElse(decl, s"${decl.o.getPreferredNameOrElse().ucamel}${hash}")
-  }
+  def name(decl: Declaration[_]): String =
+    names.getOrElse(decl, s"${decl.o.getPreferredNameOrElse().ucamel}_${decl.hashCode()}")
 
   def name(ref: Ref[_, _ <: Declaration[_]]): String =
     name(Try(ref.decl).getOrElse(return "?brokenref?"))