From 3ca33229d4b9c1ed2829318631e73e748154f3ff Mon Sep 17 00:00:00 2001
From: lewie <unknown>
Date: Thu, 10 Feb 2000 18:39:51 +0000
Subject: [PATCH] [project @ 2000-02-10 18:39:51 by lewie] Fix a couple of
 Implicit Param wibbles.

---
 ghc/compiler/typecheck/Inst.lhs   |    2 ++
 ghc/compiler/typecheck/TcExpr.lhs |    2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs
index 9f8e343..d3ede0e 100644
--- a/ghc/compiler/typecheck/Inst.lhs
+++ b/ghc/compiler/typecheck/Inst.lhs
@@ -288,6 +288,8 @@ partMethod pred (ips, lie) m@(Method u id tys theta tau loc)
 	-- newMethodWith id_m1 tys ips_ tau loc	    `thenTc` \ new_m1 ->
 	returnTc (consLIE new_m1 ips, consLIE new_m2 lie)
   where (ips_, theta_) = partition pred theta
+partMethod pred (ips, lie) inst@(LitInst u lit ty loc)
+  = returnTc (ips, consLIE inst lie)
 
 tyVarsOfInst :: Inst -> TcTyVarSet
 tyVarsOfInst (Dict _ pred _)         = tyVarsOfPred pred
diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index b125752..7aecdaa 100644
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -738,7 +738,7 @@ tcMonoExpr (HsWith expr binds) res_ty
 		 then expr'
 		 else HsLet (MonoBind dict_binds [] NonRecursive) expr' in
     tcCheckIPBinds binds' types ips'	`thenTc_`
-    returnTc (HsWith expr'' binds', lie')
+    returnTc (HsWith expr'' binds', lie' `plusLIE` lie2)
   where isBound p
 	  = case ipName_maybe p of
 	    Just n -> n `elem` names
-- 
1.7.10.4