projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
1c64864
)
Add a missing prime, to fix desugaring of CoPats
author
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
Sun, 6 Aug 2006 21:27:11 +0000
(21:27 +0000)
committer
Manuel M T Chakravarty
<chak@cse.unsw.edu.au>
Sun, 6 Aug 2006 21:27:11 +0000
(21:27 +0000)
Wed Jul 26 08:23:11 EDT 2006 simonpj@microsoft.com
compiler/deSugar/Match.lhs
patch
|
blob
|
history
diff --git
a/compiler/deSugar/Match.lhs
b/compiler/deSugar/Match.lhs
index
641c2ca
..
2d64633
100644
(file)
--- 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