X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FdeSugar%2FDesugar.lhs;h=45baa671258607e8d83b5348bd8c4667ca042d7e;hb=d7b36bbbcd56ee14656223d02e32f5a1f52ea17b;hp=ab9f8c7c26afe437a282d2c1f25ceac6ee0dfbda;hpb=3b2cd7b311da1e7056ef66b42efc2571add5a8aa;p=ghc-hetmet.git

diff --git a/compiler/deSugar/Desugar.lhs b/compiler/deSugar/Desugar.lhs
index ab9f8c7..45baa67 100644
--- a/compiler/deSugar/Desugar.lhs
+++ b/compiler/deSugar/Desugar.lhs
@@ -17,7 +17,6 @@ import MkIface
 import Id
 import Name
 import CoreSyn
-import OccurAnal
 import PprCore
 import DsMonad
 import DsExpr
@@ -255,16 +254,16 @@ ppr_ds_rules rules
 dsRule :: LRuleDecl Id -> DsM (Maybe CoreRule)
 dsRule (L loc (HsRule name act vars lhs _tv_lhs rhs _fv_rhs))
   = putSrcSpanDs loc $ 
-    do	{ let bndrs = [var | RuleBndr (L _ var) <- vars]
+    do	{ let bndrs' = [var | RuleBndr (L _ var) <- vars]
 	; lhs'  <- dsLExpr lhs
 	; rhs'  <- dsLExpr rhs
 
-	; case decomposeRuleLhs (occurAnalyseExpr lhs') of {
-		Nothing -> do { warnDs msg; return Nothing } ;
-		Just (fn_id, args) -> do
-	
 	-- Substitute the dict bindings eagerly,
 	-- and take the body apart into a (f args) form
+	; case decomposeRuleLhs (mkLams bndrs' lhs') of {
+		Nothing -> do { warnDs msg; return Nothing } ;
+		Just (bndrs, fn_id, args) -> do
+	
 	{ let local_rule = isLocalId fn_id
 		-- NB: isLocalId is False of implicit Ids.  This is good becuase
 		-- we don't want to attach rules to the bindings of implicit Ids,