X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcPat.lhs;h=f8c98b5de307a55c283eb18c277cd34a5fb5791e;hb=162c7e780267c73495fb245a873f7e3b8431471b;hp=1e391de4ddc267cc22ca8fbb32e3be8bc6ea712a;hpb=edeee10702955ca3c53444f2f328b4cce0ab3e32;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs
index 1e391de..f8c98b5 100644
--- a/compiler/typecheck/TcPat.lhs
+++ b/compiler/typecheck/TcPat.lhs
@@ -294,7 +294,7 @@ bindInstsOfPatId id thing_inside
   | not (isOverloadedTy (idType id))
   = do { res <- thing_inside; return (res, emptyTcEvBinds) }
   | otherwise
-  = do	{ (res, lie) <- getConstraints thing_inside
+  = do	{ (res, lie) <- captureConstraints thing_inside
 	; binds <- bindLocalMethods lie [id]
 	; return (res, binds) }
 -}
@@ -410,11 +410,12 @@ tc_pat penv (BangPat pat) pat_ty thing_inside
 tc_pat penv lpat@(LazyPat pat) pat_ty thing_inside
   = do	{ (pat', (res, pat_ct)) 
 		<- tc_lpat pat pat_ty (makeLazy penv) $ 
-		   getConstraints thing_inside
+		   captureConstraints thing_inside
 		-- Ignore refined penv', revert to penv
 
 	; emitConstraints pat_ct
-	-- getConstraints/extendConstraintss: see Note [Hopping the LIE in lazy patterns]
+	-- captureConstraints/extendConstraints: 
+        --   see Note [Hopping the LIE in lazy patterns]
 
 	-- Check there are no unlifted types under the lazy pattern
 	; when (any (isUnLiftedType . idType) $ collectPatBinders pat') $
@@ -593,7 +594,7 @@ We can't discharge the Num constraint from dictionaries bound by
 the pattern C!  
 
 So we have to make the constraints from thing_inside "hop around" 
-the pattern.  Hence the getConstraints and emitConstraints.
+the pattern.  Hence the captureConstraints and emitConstraints.
 
 The same thing ensures that equality constraints in a lazy match
 are not made available in the RHS of the match. For example