[commit: ghc] wip/orf-reboot: Get rid of dead code (f8581f1)

git at git.haskell.org git at git.haskell.org
Mon Jun 29 08:30:31 UTC 2015


Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/orf-reboot
Link       : http://ghc.haskell.org/trac/ghc/changeset/f8581f11af3b7707f9a81758d33fda56b167e833/ghc

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

commit f8581f11af3b7707f9a81758d33fda56b167e833
Author: Adam Gundry <adam at well-typed.com>
Date:   Sun Jun 21 16:13:29 2015 +0100

    Get rid of dead code


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

f8581f11af3b7707f9a81758d33fda56b167e833
 compiler/typecheck/TcEnv.hs | 15 ++-------------
 1 file changed, 2 insertions(+), 13 deletions(-)

diff --git a/compiler/typecheck/TcEnv.hs b/compiler/typecheck/TcEnv.hs
index cd4efca..901488d 100644
--- a/compiler/typecheck/TcEnv.hs
+++ b/compiler/typecheck/TcEnv.hs
@@ -54,8 +54,8 @@ module TcEnv(
 
         -- New Ids
         newLocalName, newDFunName, newDFunName',
-        newFamInstTyConName, newFamInstTyConName',
-        newFamInstAxiomName, newFamInstAxiomName',
+        newFamInstTyConName,
+        newFamInstAxiomName,
         mkStableIdFromString, mkStableIdFromName,
         mkWrapperName
   ) where
@@ -733,21 +733,10 @@ newGlobalBinder.
 newFamInstTyConName :: Located Name -> [Type] -> TcM Name
 newFamInstTyConName (L loc name) tys = mk_fam_inst_name id loc name [tys]
 
-newFamInstTyConName' :: Located Name -> [LHsType RdrName] -> TcM Name
-newFamInstTyConName' (L loc name) tys
-  = mk_fam_inst_name' id loc info_string
-  where
-    info_string = occNameString (getOccName name)
-                      ++ concatMap (getDFunHsTypeKey . unLoc) tys
-
 newFamInstAxiomName :: SrcSpan -> Name -> [CoAxBranch] -> TcM Name
 newFamInstAxiomName loc name branches
   = mk_fam_inst_name mkInstTyCoOcc loc name (map coAxBranchLHS branches)
 
-newFamInstAxiomName' :: SrcSpan -> String -> TcM Name
-newFamInstAxiomName' loc info_string
-  = mk_fam_inst_name' mkInstTyCoOcc loc info_string
-
 mk_fam_inst_name :: (OccName -> OccName) -> SrcSpan -> Name -> [[Type]] -> TcM Name
 mk_fam_inst_name adaptOcc loc tc_name tyss
   = mk_fam_inst_name' adaptOcc loc info_string



More information about the ghc-commits mailing list