import HscTypes
import DynFlags
+import VarEnv
+import Var
import Name
import NameEnv
import NameSet
deliberatelyOmitted x = panic ("Deliberately omitted: " ++ x)
ifFamInstTcName = ifaceTyConName . ifFamInstTyCon
- flattenVectInfo (VectInfo ccVar) = IfaceVectInfo (nameSetToList ccVar)
+ flattenVectInfo (VectInfo ccVar) =
+ IfaceVectInfo [Var.varName v | (v, _) <- varEnvElts ccVar]
-----------------------------
writeIfaceFile :: DynFlags -> ModLocation -> ModIface -> IO ()
IfNewTyCon (ifaceConDecl con)
ifaceConDecls (DataTyCon { data_cons = cons }) =
IfDataTyCon (map ifaceConDecl cons)
- ifaceConDecls OpenTyCon { otIsNewtype = False } = IfOpenDataTyCon
- ifaceConDecls OpenTyCon { otIsNewtype = True } = IfOpenNewTyCon
+ ifaceConDecls OpenTyCon {} = IfOpenDataTyCon
ifaceConDecls AbstractTyCon = IfAbstractTyCon
-- The last case happens when a TyCon has been trimmed during tidying
-- Furthermore, tyThingToIfaceDecl is also used