[commit: ghc] master: White space and comments only (ee11a84)
git at git.haskell.org
git at git.haskell.org
Mon Feb 8 15:07:37 UTC 2016
Repository : ssh://git@git.haskell.org/ghc
On branch : master
Link : http://ghc.haskell.org/trac/ghc/changeset/ee11a84c7b980b3485d52d5a5d0190b827660fb0/ghc
>---------------------------------------------------------------
commit ee11a84c7b980b3485d52d5a5d0190b827660fb0
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Thu Feb 4 13:02:17 2016 +0000
White space and comments only
>---------------------------------------------------------------
ee11a84c7b980b3485d52d5a5d0190b827660fb0
compiler/main/TidyPgm.hs | 13 ++++++++-----
compiler/typecheck/TcMType.hs | 2 +-
2 files changed, 9 insertions(+), 6 deletions(-)
diff --git a/compiler/main/TidyPgm.hs b/compiler/main/TidyPgm.hs
index 59cb201..c524bdf 100644
--- a/compiler/main/TidyPgm.hs
+++ b/compiler/main/TidyPgm.hs
@@ -1275,7 +1275,7 @@ tidyTopIdInfo dflags rhs_tidy_env name orig_rhs tidy_rhs idinfo show_unfold caf_
{-
************************************************************************
* *
-\subsection{Figuring out CafInfo for an expression}
+ Figuring out CafInfo for an expression
* *
************************************************************************
@@ -1332,7 +1332,7 @@ cafRefsE p (Lit lit) = cafRefsL p lit
cafRefsE p (App f a) = cafRefsE p f || cafRefsE p a
cafRefsE p (Lam _ e) = cafRefsE p e
cafRefsE p (Let b e) = cafRefsEs p (rhssOfBind b) || cafRefsE p e
-cafRefsE p (Case e _bndr _ alts) = cafRefsE p e || cafRefsEs p (rhssOfAlts alts)
+cafRefsE p (Case e _ _ alts) = cafRefsE p e || cafRefsEs p (rhssOfAlts alts)
cafRefsE p (Tick _n e) = cafRefsE p e
cafRefsE p (Cast e _co) = cafRefsE p e
cafRefsE _ (Type _) = False
@@ -1355,10 +1355,13 @@ cafRefsV (subst, _) id
| Just id' <- lookupVarEnv subst id = mayHaveCafRefs (idCafInfo id')
| otherwise = False
+
{-
-------------------------------------------------------------------------------
--- Old, dead, type-trimming code
--------------------------------------------------------------------------------
+************************************************************************
+* *
+ Old, dead, type-trimming code
+* *
+************************************************************************
We used to try to "trim off" the constructors of data types that are
not exported, to reduce the size of interface files, at least without
diff --git a/compiler/typecheck/TcMType.hs b/compiler/typecheck/TcMType.hs
index 143a392..adb4e5a 100644
--- a/compiler/typecheck/TcMType.hs
+++ b/compiler/typecheck/TcMType.hs
@@ -152,8 +152,8 @@ newEvVar :: TcPredType -> TcRnIf gbl lcl EvVar
newEvVar ty = do { name <- newSysName (predTypeOccName ty)
; return (mkLocalIdOrCoVar name ty) }
--- deals with both equality and non-equality predicates
newWanted :: CtOrigin -> Maybe TypeOrKind -> PredType -> TcM CtEvidence
+-- Deals with both equality and non-equality predicates
newWanted orig t_or_k pty
= do loc <- getCtLocM orig t_or_k
d <- if isEqPred pty then HoleDest <$> newCoercionHole
More information about the ghc-commits
mailing list