@@ -1675,6 +1675,10 @@ pprintPTerm ppo bnd docArgs infixes = prettySe (ppopt_depth ppo) startPrec bnd
16751675 prettySe d p bnd (PQuasiquote t (Just g)) = text "`(" <> prettySe (decD d) p [] t <+> colon <+> prettySe (decD d) p [] g <> text ")"
16761676 prettySe d p bnd (PUnquote t) = text "~" <> prettySe (decD d) p bnd t
16771677 prettySe d p bnd (PQuoteName n) = text "`{" <> prettyName True (ppopt_impl ppo) bnd n <> text "}"
1678+ prettySe d p bnd (PRunElab _ tm _) =
1679+ bracket p funcAppPrec . group . align . hang 2 $
1680+ text "%runElab" <$>
1681+ prettySe (decD d) funcAppPrec bnd tm
16781682
16791683 prettySe d p bnd _ = text "missing pretty-printer for term"
16801684