[project @ 2001-04-09 23:22:42 by lewie]

Tag id of implicit param has having a PredType.

diff --git a/ghc/compiler/typecheck/Inst.lhs b/ghc/compiler/typecheck/Inst.lhs
index ba81958..4d258ee 100644 (file)
--- 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}