__interface DataCon 1 0 where
-__export DataCon DataCon dataConRepType isExistentialDataCon ;
+__export DataCon DataCon isExistentialDataCon ;
1 data DataCon ;
-1 dataConRepType :: DataCon -> TypeRep.Type ;
1 isExistentialDataCon :: DataCon -> PrelBase.Bool ;
import CmdLineOpts ( opt_UnboxStrictFields )
import Maybes ( orElse )
import ListSetOps ( assoc )
-import Util ( zipEqual, zipWithEqual, equalLength, notNull )
+import Util ( zipEqual, zipWithEqual, notNull )
\end{code}
import DsMeta ( dsBracket, dsReify )
#endif
-import HsSyn ( HsExpr(..), Pat(..), HsLit(..), ArithSeqInfo(..),
+import HsSyn ( HsExpr(..), Pat(..), ArithSeqInfo(..),
Stmt(..), HsMatchContext(..), HsStmtContext(..),
Match(..), HsBinds(..), MonoBinds(..), HsConDetails(..),
mkSimpleMatch, isDoExpr
mkAppTy )
import Type ( splitFunTys )
import CoreSyn
-import Literal ( Literal(..) )
import CoreUtils ( exprType, mkIfThenElse, bindNonRec )
import FieldLabel ( FieldLabel, fieldLabelTyCon )
)
import TypeRep ( Type(..), TyNote(..) ) -- toHsType sees the representation
import TyCon ( isTupleTyCon, tupleTyConBoxity, tyConArity, isNewTyCon, getSynTyConDefn )
-import RdrName ( RdrName, mkUnqual )
+import RdrName ( mkUnqual )
import Name ( Name, getName, mkInternalName )
import OccName ( NameSpace, mkVarOcc, tvName )
import Var ( TyVar, tyVarKind )