X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Frename%2FRnSource.lhs;h=27de40f66289b6fbd4b010ae946f41305855203f;hb=9ecd4031627be89cfe92d80b8a96e6b44a06aeec;hp=c86b626495dd9913deaab43730cc46259bfecc30;hpb=432b38b66700d243369df5b76e5c5c01b5e197ff;p=ghc-hetmet.git

diff --git a/compiler/rename/RnSource.lhs b/compiler/rename/RnSource.lhs
index c86b626..27de40f 100644
--- a/compiler/rename/RnSource.lhs
+++ b/compiler/rename/RnSource.lhs
@@ -500,17 +500,18 @@ rnSrcDerivDecl (DerivDecl ty)
 rnHsRuleDecl :: RuleDecl RdrName -> RnM (RuleDecl Name, FreeVars)
 rnHsRuleDecl (HsRule rule_name act vars lhs _fv_lhs rhs _fv_rhs)
   = bindPatSigTyVarsFV (collectRuleBndrSigTys vars)	$
-
     bindLocatedLocalsFV doc (map get_var vars)		$ \ ids ->
-    mapFvRn rn_var (vars `zip` ids)		`thenM` \ (vars', fv_vars) ->
+    do	{ (vars', fv_vars) <- mapFvRn rn_var (vars `zip` ids)
+		-- NB: The binders in a rule are always Ids
+		--     We don't (yet) support type variables
 
-    rnLExpr lhs					`thenM` \ (lhs', fv_lhs') ->
-    rnLExpr rhs					`thenM` \ (rhs', fv_rhs') ->
+	; (lhs', fv_lhs') <- rnLExpr lhs
+	; (rhs', fv_rhs') <- rnLExpr rhs
 
-    checkValidRule rule_name ids lhs' fv_lhs'	`thenM_`
+	; checkValidRule rule_name ids lhs' fv_lhs'
 
-    returnM (HsRule rule_name act vars' lhs' fv_lhs' rhs' fv_rhs',
-	     fv_vars `plusFV` fv_lhs' `plusFV` fv_rhs')
+	; return (HsRule rule_name act vars' lhs' fv_lhs' rhs' fv_rhs',
+		  fv_vars `plusFV` fv_lhs' `plusFV` fv_rhs') }
   where
     doc = text "In the transformation rule" <+> ftext rule_name