Commit 99b85ea1 authored by simonpj's avatar simonpj
Browse files

[project @ 2002-09-13 16:06:28 by simonpj]

wibbles
parent fa9c9782
...@@ -703,6 +703,7 @@ repVal (MkC p) (MkC b) (MkC ds) = rep2 valName [p, b, ds] ...@@ -703,6 +703,7 @@ repVal (MkC p) (MkC b) (MkC ds) = rep2 valName [p, b, ds]
repFun :: Core String -> Core [M.Clse] -> DsM (Core M.Decl) repFun :: Core String -> Core [M.Clse] -> DsM (Core M.Decl)
repFun (MkC nm) (MkC b) = rep2 funName [nm, b] repFun (MkC nm) (MkC b) = rep2 funName [nm, b]
{-
repData :: Core String -> Core [String] -> Core [M.Cons] -> Core [String] -> DsM (Core M.Decl) 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] repData (MkC nm) (MkC tvs) (MkC cons) (MkC derivs) = rep2 dataDName [nm, tvs, cons, derivs]
...@@ -740,6 +741,7 @@ repArrowTyCon = rep2 arrowTyConName [] ...@@ -740,6 +741,7 @@ repArrowTyCon = rep2 arrowTyConName []
repListTyCon :: DsM (Core M.Tag) repListTyCon :: DsM (Core M.Tag)
repListTyCon = rep2 listTyConName [] repListTyCon = rep2 listTyConName []
-}
--------------- Miscellaneous ------------------- --------------- Miscellaneous -------------------
......
...@@ -16,7 +16,7 @@ import HsSyn as Hs ...@@ -16,7 +16,7 @@ import HsSyn as Hs
( HsExpr(..), HsLit(..), ArithSeqInfo(..), ( HsExpr(..), HsLit(..), ArithSeqInfo(..),
HsDoContext(..), HsDoContext(..),
Match(..), GRHSs(..), GRHS(..), HsPred(..), Match(..), GRHSs(..), GRHS(..), HsPred(..),
HsDecl(..), TyClDecl(..), InstDecl(..), HsDecl(..), TyClDecl(..), InstDecl(..), ConDecl(..),
Stmt(..), HsBinds(..), MonoBinds(..), Sig(..), Stmt(..), HsBinds(..), MonoBinds(..), Sig(..),
Pat(..), HsConDetails(..), HsOverLit, BangType(..), Pat(..), HsConDetails(..), HsOverLit, BangType(..),
placeHolderType, HsType(..), HsTupCon(..), placeHolderType, HsType(..), HsTupCon(..),
...@@ -26,7 +26,7 @@ import HsSyn as Hs ...@@ -26,7 +26,7 @@ import HsSyn as Hs
import RdrName ( RdrName, mkRdrUnqual, mkRdrQual, mkOrig ) import RdrName ( RdrName, mkRdrUnqual, mkRdrQual, mkOrig )
import Module ( mkModuleName ) import Module ( mkModuleName )
import RdrHsSyn ( mkHsIntegral, mkClassDecl, mkTyData, mkConDecl ) import RdrHsSyn ( mkHsIntegral, mkClassDecl, mkTyData )
import OccName import OccName
import SrcLoc ( SrcLoc, generatedSrcLoc ) import SrcLoc ( SrcLoc, generatedSrcLoc )
import TyCon ( DataConDetails(..) ) import TyCon ( DataConDetails(..) )
...@@ -53,7 +53,7 @@ cvt_top (Data tc tvs constrs derivs) ...@@ -53,7 +53,7 @@ cvt_top (Data tc tvs constrs derivs)
(mk_derivs derivs) loc0) (mk_derivs derivs) loc0)
where where
mk_con (Constr c tys) mk_con (Constr c tys)
= mkConDecl (cName c) noExistentials noContext = ConDecl (cName c) noExistentials noContext
(PrefixCon (map mk_arg tys)) loc0 (PrefixCon (map mk_arg tys)) loc0
mk_arg ty = BangType NotMarkedStrict (cvtType ty) mk_arg ty = BangType NotMarkedStrict (cvtType ty)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment