Do not output attribute information when unparsing TermLike

Author: geo2a

kore/src/Kore/Internal/TermLike/TermLike.hs

@@ -79,7 +79,6 @@ import Kore.Attribute.Pattern.FreeVariables qualified as Attribute.FreeVariables
 import Kore.Attribute.Pattern.FreeVariables qualified as FreeVariables
 import Kore.Attribute.Pattern.Function qualified as Attribute
 import Kore.Attribute.Pattern.Simplified qualified as Attribute
-import Kore.Attribute.Pattern.Simplified qualified as Attribute.Simplified
 import Kore.Attribute.Pattern.Total qualified as Attribute
 import Kore.Attribute.Synthetic
 import Kore.Builtin.Encoding qualified as Encoding
@@ -548,12 +547,6 @@ attributeSimplifiedAttribute ::
 attributeSimplifiedAttribute patt@TermAttributes{termSimplified} =
     assertSimplifiedConsistency patt termSimplified
 
-constructorLikeAttribute ::
-    TermAttributes variable ->
-    Attribute.ConstructorLike
-constructorLikeAttribute TermAttributes{termConstructorLike} =
-    termConstructorLike
-
 {- Checks whether the pattern is simplified relative to the given side
 condition.
 -}
@@ -710,54 +703,13 @@ instance (Unparse variable, Ord variable) => Unparse (TermLike variable) where
                 | Attribute.hasKnownCreator termCreated ->
                     Pretty.sep
                         [ Pretty.pretty termCreated
-                        , attributeRepresentation
                         , unparse termLikeF
                         ]
                 | otherwise ->
-                    Pretty.sep [attributeRepresentation, unparse termLikeF]
+                    unparse termLikeF
               where
                 TermAttributes{termCreated} = attrs
 
-                attributeRepresentation = case attrs of
-                    (TermAttributes _ _ _ _ _ _ _ _) ->
-                        Pretty.surround
-                            (Pretty.hsep $ map Pretty.pretty representation)
-                            "/* "
-                            " */"
-                  where
-                    representation =
-                        addTotalRepresentation $
-                            addFunctionRepresentation $
-                                addDefinedRepresentation $
-                                    addSimplifiedRepresentation $
-                                        addConstructorLikeRepresentation []
-                addTotalRepresentation
-                    | Attribute.isTotal $ termTotal attrs = ("T" :)
-                    | otherwise = id
-                addFunctionRepresentation
-                    | Attribute.isFunction $ termFunction attrs = ("Fn" :)
-                    | otherwise = id
-                addDefinedRepresentation
-                    | Attribute.isDefined $ termDefined attrs = ("D" :)
-                    | otherwise = id
-                addSimplifiedRepresentation =
-                    case simplifiedTag of
-                        Just result -> (result :)
-                        Nothing -> id
-                  where
-                    simplifiedTag =
-                        Attribute.Simplified.unparseTag
-                            (attributeSimplifiedAttribute attrs)
-                addConstructorLikeRepresentation =
-                    case constructorLike of
-                        Just Attribute.ConstructorLikeHead -> ("Cl" :)
-                        Just Attribute.SortInjectionHead -> ("Cli" :)
-                        Nothing -> id
-                  where
-                    constructorLike =
-                        Attribute.getConstructorLike
-                            (constructorLikeAttribute attrs)
-
     unparse2 term =
         case Recursive.project term of
             (_ :< pat) -> unparse2 pat