X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FMkId.lhs;h=229d39047350cec9327d872e62da4c9a0dd8bbb6;hb=fe7bff18c56a8adb6f7044bf4926402b8fc747e2;hp=403d309b9c306950d8298b5ce98b1da221b3e8c8;hpb=4ae1e17253f4417303e46d59f5a737cc1d7fd78e;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index 403d309..229d390 100644
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -21,6 +21,7 @@ module MkId (
 	mkPrimOpId, mkFCallId, mkTickBoxOpId, mkBreakPointOpId,
 
 	mkReboxingAlt, wrapNewTypeBody, unwrapNewTypeBody,
+        wrapFamInstBody, unwrapFamInstScrut,
         mkUnpackCase, mkProductBox,
 
 	-- And some particular Ids; see below for why they are wired in
@@ -72,7 +73,7 @@ import Outputable
 import FastString
 import ListSetOps
 import Module
-\end{code}		
+\end{code}
 
 %************************************************************************
 %*									*
@@ -211,7 +212,6 @@ Now we want
 mkDataConIds :: Name -> Name -> DataCon -> DataConIds
 mkDataConIds wrap_name wkr_name data_con
   | isNewTyCon tycon			-- Newtype, only has a worker
-  , not (isFamInstTyCon tycon)		-- unless it's a family instancex
   = DCIds Nothing nt_work_id                 
 
   | any isMarkedStrict all_strict_marks	     -- Algebraic, needs wrapper