repFun :: Core String -> Core [M.Clse] -> DsM (Core M.Decl)
repFun (MkC nm) (MkC b) = rep2 funName [nm, b]
+{-
repData :: Core String -> Core [String] -> Core [M.Cons] -> Core [String] -> DsM (Core M.Decl)
repData (MkC nm) (MkC tvs) (MkC cons) (MkC derivs) = rep2 dataDName [nm, tvs, cons, derivs]
repListTyCon :: DsM (Core M.Tag)
repListTyCon = rep2 listTyConName []
+-}
--------------- Miscellaneous -------------------
( HsExpr(..), HsLit(..), ArithSeqInfo(..),
HsDoContext(..),
Match(..), GRHSs(..), GRHS(..), HsPred(..),
- HsDecl(..), TyClDecl(..), InstDecl(..),
+ HsDecl(..), TyClDecl(..), InstDecl(..), ConDecl(..),
Stmt(..), HsBinds(..), MonoBinds(..), Sig(..),
Pat(..), HsConDetails(..), HsOverLit, BangType(..),
placeHolderType, HsType(..), HsTupCon(..),
import RdrName ( RdrName, mkRdrUnqual, mkRdrQual, mkOrig )
import Module ( mkModuleName )
-import RdrHsSyn ( mkHsIntegral, mkClassDecl, mkTyData, mkConDecl )
+import RdrHsSyn ( mkHsIntegral, mkClassDecl, mkTyData )
import OccName
import SrcLoc ( SrcLoc, generatedSrcLoc )
import TyCon ( DataConDetails(..) )
(mk_derivs derivs) loc0)
where
mk_con (Constr c tys)
- = mkConDecl (cName c) noExistentials noContext
+ = ConDecl (cName c) noExistentials noContext
(PrefixCon (map mk_arg tys)) loc0
mk_arg ty = BangType NotMarkedStrict (cvtType ty)