Commit 0a960884 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com
Browse files

Remove "__" prefix for forall when printing a RULE

parent 4813940f
...@@ -356,7 +356,7 @@ pprRule (Rule { ru_name = name, ru_act = act, ru_fn = fn, ...@@ -356,7 +356,7 @@ pprRule (Rule { ru_name = name, ru_act = act, ru_fn = fn,
ru_bndrs = tpl_vars, ru_args = tpl_args, ru_bndrs = tpl_vars, ru_args = tpl_args,
ru_rhs = rhs }) ru_rhs = rhs })
= hang (doubleQuotes (ftext name) <+> ppr act) = 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 (ppr fn <+> sep (map pprArg tpl_args)),
nest 2 (ptext SLIT("=") <+> pprCoreExpr rhs) nest 2 (ptext SLIT("=") <+> pprCoreExpr rhs)
]) ])
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment