From 4297c94eed6d8610549b6d4375e88ed942dc3234 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 3 May 2001 08:09:52 +0000
Subject: [PATCH] [project @ 2001-05-03 08:09:52 by simonpj] More to allow
 infix exprssions on LHS of rule

---
 ghc/compiler/rename/RnSource.lhs |    3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/rename/RnSource.lhs b/ghc/compiler/rename/RnSource.lhs
index 50a9dcd..0023a13 100644
--- a/ghc/compiler/rename/RnSource.lhs
+++ b/ghc/compiler/rename/RnSource.lhs
@@ -838,6 +838,7 @@ not one of the @forall@'d variables.
 validRuleLhs foralls lhs
   = check lhs
   where
+    check (OpApp _ op _ _)		  = check op
     check (HsApp e1 e2) 		  = check e1
     check (HsVar v) | v `notElem` foralls = True
     check other				  = False
@@ -882,7 +883,7 @@ badRuleLhsErr name lhs
     ptext SLIT("LHS must be of form (f e1 .. en) where f is not forall'd")
 
 badRuleVar name var
-  = sep [ptext SLIT("Rule") <+> ptext name <> colon,
+  = sep [ptext SLIT("Rule") <+> doubleQuotes (ptext name) <> colon,
 	 ptext SLIT("Forall'd variable") <+> quotes (ppr var) <+> 
 		ptext SLIT("does not appear on left hand side")]
 
-- 
1.7.10.4