Remove dead code “mkHsConApp”
authorJoachim Breitner <mail@joachim-breitner.de>
Wed, 5 Oct 2016 20:14:59 +0000 (16:14 -0400)
committerJoachim Breitner <mail@joachim-breitner.de>
Thu, 6 Oct 2016 21:48:30 +0000 (17:48 -0400)
Differential Revision: https://phabricator.haskell.org/D2574

compiler/hsSyn/HsUtils.hs
compiler/typecheck/TcHsSyn.hs

index 07edf0d..903ff38 100644 (file)
@@ -20,7 +20,7 @@ which deal with the instantiated versions are located elsewhere:
 
 module HsUtils(
   -- Terms
-  mkHsPar, mkHsApp, mkHsAppType, mkHsAppTypeOut, mkHsConApp, mkHsCaseAlt,
+  mkHsPar, mkHsApp, mkHsAppType, mkHsAppTypeOut, mkHsCaseAlt,
   mkSimpleMatch, unguardedGRHSs, unguardedRHS,
   mkMatchGroup, mkMatch, mkHsLam, mkHsIf,
   mkHsWrap, mkLHsWrap, mkHsWrapCo, mkHsWrapCoR, mkLHsWrapCo,
@@ -183,13 +183,6 @@ mkHsLams :: [TyVar] -> [EvVar] -> LHsExpr Id -> LHsExpr Id
 mkHsLams tyvars dicts expr = mkLHsWrap (mkWpTyLams tyvars
                                        <.> mkWpLams dicts) expr
 
-mkHsConApp :: DataCon -> [Type] -> [HsExpr Id] -> LHsExpr Id
--- Used for constructing dictionary terms etc, so no locations
-mkHsConApp data_con tys args
-  = foldl mk_app (nlHsTyApp (dataConWrapId data_con) tys) args
-  where
-    mk_app f a = noLoc (HsApp f (noLoc a))
-
 -- |A simple case alternative with a single pattern, no binds, no guards;
 -- pre-typechecking
 mkHsCaseAlt :: LPat id -> (Located (body id)) -> LMatch id (Located (body id))
index 458f965..b444385 100644 (file)
@@ -12,7 +12,7 @@ checker.
 {-# LANGUAGE CPP, TupleSections #-}
 
 module TcHsSyn (
-        mkHsConApp, mkHsDictLet, mkHsApp,
+        mkHsDictLet, mkHsApp,
         hsLitType, hsLPatType, hsPatType,
         mkHsAppTy, mkHsCaseAlt,
         nlHsIntLit,