From 0a960884b377903e41735bb2d36bec495bf5d890 Mon Sep 17 00:00:00 2001 From: "simonpj@microsoft.com" Date: Thu, 3 May 2007 12:46:06 +0000 Subject: [PATCH] Remove "__" prefix for forall when printing a RULE --- compiler/coreSyn/PprCore.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compiler/coreSyn/PprCore.lhs b/compiler/coreSyn/PprCore.lhs index 13c8fb7..992171c 100644 --- a/compiler/coreSyn/PprCore.lhs +++ b/compiler/coreSyn/PprCore.lhs @@ -356,7 +356,7 @@ pprRule (Rule { ru_name = name, ru_act = act, ru_fn = fn, 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) ]) -- 1.7.10.4