[project @ 2001-11-29 12:20:08 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcPat.lhs

diff --git a/ghc/compiler/typecheck/TcPat.lhs b/ghc/compiler/typecheck/TcPat.lhs
index 3660c78..7d5e823 100644 (file)
--- a/ghc/compiler/typecheck/TcPat.lhs
+++ b/ghc/compiler/typecheck/TcPat.lhs
@@ -140,7 +140,7 @@ tcPat tc_bndr (LazyPatIn pat) pat_ty
 tcPat tc_bndr pat_in@(AsPatIn name pat) pat_ty
   = tc_bndr name pat_ty                        `thenTc` \ (co_fn, lie_req1, bndr_id) ->
     tcPat tc_bndr pat pat_ty           `thenTc` \ (pat', lie_req2, tvs, ids, lie_avail) ->
-    returnTc (co_fn <$> (AsPat bndr_id pat'), lie_req1 `plusLIE` lie_req1, 
+    returnTc (co_fn <$> (AsPat bndr_id pat'), lie_req1 `plusLIE` lie_req2, 
              tvs, (name, bndr_id) `consBag` ids, lie_avail)
 
 tcPat tc_bndr WildPatIn pat_ty