Add pretty-printing for context stacks

penelopeysm · penelopeysm · commit f3603ff0e4ae · 2025-05-04T00:12:09.000+01:00
diff --git a/src/contexts.jl b/src/contexts.jl
@@ -817,3 +817,8 @@ function prefix_cond_and_fixed_variables(
         context, prefix_cond_and_fixed_variables(childcontext(context), prefix)
     )
 end
+
+_pretty(ctx::AbstractContext) = split(string(ctx), "Context")[1]
+pretty_context(ctx::AbstractContext) = pretty_context(NodeTrait(ctx), ctx)
+pretty_context(::IsLeaf, ctx) = _pretty(ctx)
+pretty_context(::IsParent, ctx) = _pretty(ctx) * "->" * pretty_context(childcontext(ctx))

Original file line number	Diff line number	Diff line change
`@@ -817,3 +817,8 @@ function prefix_cond_and_fixed_variables(`
`817`	`817`	`context, prefix_cond_and_fixed_variables(childcontext(context), prefix)`
`818`	`818`	`)`
`819`	`819`	`end`
	`820`	`+`
	`821`	`+_pretty(ctx::AbstractContext) = split(string(ctx), "Context")[1]`
	`822`	`+pretty_context(ctx::AbstractContext) = pretty_context(NodeTrait(ctx), ctx)`
	`823`	`+pretty_context(::IsLeaf, ctx) = _pretty(ctx)`
	`824`	`+pretty_context(::IsParent, ctx) = _pretty(ctx) * "->" * pretty_context(childcontext(ctx))`