From: simonpj@microsoft.com <unknown>
Date: Thu, 3 May 2007 12:46:06 +0000 (+0000)
Subject: Remove "__" prefix for forall when printing a RULE
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=0a960884b377903e41735bb2d36bec495bf5d890

Remove "__" prefix for forall when printing a RULE
---

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)
 	    ])