crucible: Distinguish recursive and intrinsic types in pretty-printer

GaloisInc · Feb 7, 2025 · 1c3c37c · 1c3c37c
1 parent 1bff180
commit 1c3c37c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/crucible/src/Lang/Crucible/Types.hs b/crucible/src/Lang/Crucible/Types.hs
@@ -479,7 +479,7 @@ instance Pretty (TypeRepr tp) where
       IntrinsicRepr name tys ->
         parens (pretty (symbolRepr name) <+> prettyCtx tys)
       RecursiveRepr name tys ->
-        parens (pretty (symbolRepr name) <+> prettyCtx tys)
+        parens ("Rec" <+> pretty (symbolRepr name) <+> prettyCtx tys)
       FloatRepr f -> parens ("Float" <+> pretty f)
       IEEEFloatRepr f -> parens ("IEEEFloat" <+> pretty f)
       CharRepr -> "Char"