import Util
import Outputable
import FastString
-import Module
\end{code}
%************************************************************************
ppr_expr add_par (Note InlineMe expr)
= add_par $ ptext SLIT("__inline_me") <+> pprParendExpr expr
-ppr_expr add_par (Note (TickBox mod n) expr)
- = add_par $
- sep [sep [ptext SLIT("__tick_box"),
- pprModule mod,
- text (show n)],
- pprParendExpr expr]
-
-ppr_expr add_par (Note (BinaryTickBox mod t e) expr)
- = add_par $
- sep [sep [ptext SLIT("__binary_tick_box"),
- pprModule mod,
- text (show t),
- text (show e)],
- pprParendExpr expr]
-
ppr_expr add_par (Note (CoreNote s) expr)
= add_par $
sep [sep [ptext SLIT("__core_note"), pprHsString (mkFastString s)],
ru_bndrs = tpl_vars, ru_args = tpl_args,
ru_rhs = rhs })
= hang (doubleQuotes (ftext name) <+> ppr act)
- 4 (sep [ptext SLIT("__forall") <+> braces (sep (map pprTypedBinder tpl_vars)),
+ 4 (sep [ptext SLIT("forall") <+> braces (sep (map pprTypedBinder tpl_vars)),
nest 2 (ppr fn <+> sep (map pprArg tpl_args)),
nest 2 (ptext SLIT("=") <+> pprCoreExpr rhs)
])