From 55923428a9077c20b85ad2ea7c47197045831336 Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Sun, 6 Aug 2006 21:27:11 +0000 Subject: [PATCH] Add a missing prime, to fix desugaring of CoPats Wed Jul 26 08:23:11 EDT 2006 simonpj@microsoft.com --- compiler/deSugar/Match.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4