X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FGenerics.lhs;fp=ghc%2Fcompiler%2Ftypes%2FGenerics.lhs;h=4ea84dc98a16aafeb43eb3dbb154958c6716117f;hb=37863eec8d97fc12d2ccb47d5eaf531ed0dff9ab;hp=a0297ad7eefa4711c2144ada8dc019a3ffae71f5;hpb=ea7a05cd38ae85303e1b9efb2647c9658ea39c3c;p=ghc-hetmet.git diff --git a/ghc/compiler/types/Generics.lhs b/ghc/compiler/types/Generics.lhs index a0297ad..4ea84dc 100644 --- a/ghc/compiler/types/Generics.lhs +++ b/ghc/compiler/types/Generics.lhs @@ -1,5 +1,5 @@ \begin{code} -module Generics ( canDoGenerics, mkGenericBinds, +module Generics ( canDoGenerics, mkTyConGenericBinds, mkGenericRhs, validGenericInstanceType, validGenericMethodType ) where @@ -248,12 +248,8 @@ canDoGenerics data_cons type US = Int -- Local unique supply, just a plain Int type FromAlt = (Pat RdrName, HsExpr RdrName) -mkGenericBinds :: [TyCon] -> MonoBinds RdrName -mkGenericBinds tcs = andMonoBindList [ mkTyConGenBinds tc - | tc <- tcs, tyConHasGenerics tc] - -mkTyConGenBinds :: TyCon -> MonoBinds RdrName -mkTyConGenBinds tycon +mkTyConGenericBinds :: TyCon -> MonoBinds RdrName +mkTyConGenericBinds tycon = FunMonoBind from_RDR False {- Not infix -} [mkSimpleHsAlt pat rhs | (pat,rhs) <- from_alts] loc