Repository : ssh://darcs.haskell.org//srv/darcs/ghc

On branch  : type-nats

http://hackage.haskell.org/trac/ghc/changeset/90a27e7a2e35be4ba66545ad8e2a1f0f99fccaf2

>---------------------------------------------------------------

commit 90a27e7a2e35be4ba66545ad8e2a1f0f99fccaf2
Author: Iavor S. Diatchki <iavor.diatc...@gmail.com>
Date:   Sun Nov 11 12:25:52 2012 -0800

    Remove unused special case-ing.

>---------------------------------------------------------------

 compiler/types/Type.lhs |   10 ----------
 1 files changed, 0 insertions(+), 10 deletions(-)

diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs
index ce9d953..bf5167a 100644
--- a/compiler/types/Type.lhs
+++ b/compiler/types/Type.lhs
@@ -46,7 +46,6 @@ module Type (
         mkNumLitTy, isNumLitTy,
         mkStrLitTy, isStrLitTy,
         isTyLit,
-        isTypeNatSpecialFunTyCon,
        
        -- (Newtypes)
        newTyConInstRhs, carefullySplitNewType_maybe,
@@ -436,15 +435,6 @@ isTyLit :: Type -> Maybe TyLit
 isTyLit (LitTy x) = Just x
 isTyLit _         = Nothing
 
-isTypeNatSpecialFunTyCon :: TyCon -> Bool
-isTypeNatSpecialFunTyCon tc =
-  n == typeNatAddTyFamName ||
-  n == typeNatMulTyFamName ||
-  n == typeNatExpTyFamName ||
-  n == typeNatLeqTyFamName
-  where n = tyConName tc
-
-
 \end{code}
 
 



_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc

Reply via email to