From 729d39b8d4589e632c3783c390b055261dc2abb5 Mon Sep 17 00:00:00 2001
From: lewie <unknown>
Date: Mon, 9 Apr 2001 23:22:42 +0000
Subject: [PATCH] [project @ 2001-04-09 23:22:42 by lewie] Tag id of implicit
 param has having a PredType.

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

diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs
index ba81958..4d258ee 100644
--- a/ghc/compiler/typecheck/Inst.lhs
+++ b/ghc/compiler/typecheck/Inst.lhs
@@ -314,7 +314,8 @@ newDictsAtLoc inst_loc@(_,loc,_) theta
 
 newIPDict orig name ty
   = tcGetInstLoc orig			`thenNF_Tc` \ inst_loc ->
-    returnNF_Tc (Dict (mkLocalId name ty) (IParam name ty) inst_loc)
+    returnNF_Tc (Dict (mkLocalId name (mkPredTy pred)) pred inst_loc)
+  where pred = IParam name ty
 \end{code}
 
 
-- 
1.7.10.4