From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Sun, 6 Aug 2006 21:27:11 +0000 (+0000)
Subject: Add a missing prime, to fix desugaring of CoPats
X-Git-Tag: After_FC_branch_merge~143
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=55923428a9077c20b85ad2ea7c47197045831336;hp=1c64864faf17b32ecaefa37fe8aa8fac5304f830

Add a missing prime, to fix desugaring of CoPats
Wed Jul 26 08:23:11 EDT 2006  simonpj@microsoft.com
---

diff --git a/compiler/deSugar/Match.lhs b/compiler/deSugar/Match.lhs
index 641c2ca..2d64633 100644
--- a/compiler/deSugar/Match.lhs
+++ b/compiler/deSugar/Match.lhs
@@ -305,7 +305,7 @@ matchCoercion :: [Id] -> Type -> [EquationInfo] -> DsM MatchResult
 matchCoercion (var:vars) ty (eqn1:eqns)
   = do	{ let CoPat co pat _ = firstPat eqn1
 	; var' <- newUniqueId (idName var) (hsPatType pat)
-	; match_result <- match (var:vars) ty (map shift (eqn1:eqns))
+	; match_result <- match (var':vars) ty (map shift (eqn1:eqns))
 	; rhs <- dsCoercion co (return (Var var))
 	; return (mkCoLetMatchResult (NonRec var' rhs) match_result) }
   where