[project @ 2000-02-10 18:39:51 by lewie]

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

diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs
index 9f8e343..d3ede0e 100644 (file)
--- 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