Commit ee11a84c authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

White space and comments only

parent a96c4e7c
...@@ -1275,7 +1275,7 @@ tidyTopIdInfo dflags rhs_tidy_env name orig_rhs tidy_rhs idinfo show_unfold caf_ ...@@ -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 ...@@ -1332,7 +1332,7 @@ cafRefsE p (Lit lit) = cafRefsL p lit
cafRefsE p (App f a) = cafRefsE p f || cafRefsE p a cafRefsE p (App f a) = cafRefsE p f || cafRefsE p a
cafRefsE p (Lam _ e) = cafRefsE p e cafRefsE p (Lam _ e) = cafRefsE p e
cafRefsE p (Let b e) = cafRefsEs p (rhssOfBind b) || 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 (Tick _n e) = cafRefsE p e
cafRefsE p (Cast e _co) = cafRefsE p e cafRefsE p (Cast e _co) = cafRefsE p e
cafRefsE _ (Type _) = False cafRefsE _ (Type _) = False
...@@ -1355,10 +1355,13 @@ cafRefsV (subst, _) id ...@@ -1355,10 +1355,13 @@ cafRefsV (subst, _) id
| Just id' <- lookupVarEnv subst id = mayHaveCafRefs (idCafInfo id') | Just id' <- lookupVarEnv subst id = mayHaveCafRefs (idCafInfo id')
| otherwise = False | 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 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 not exported, to reduce the size of interface files, at least without
......
...@@ -152,8 +152,8 @@ newEvVar :: TcPredType -> TcRnIf gbl lcl EvVar ...@@ -152,8 +152,8 @@ newEvVar :: TcPredType -> TcRnIf gbl lcl EvVar
newEvVar ty = do { name <- newSysName (predTypeOccName ty) newEvVar ty = do { name <- newSysName (predTypeOccName ty)
; return (mkLocalIdOrCoVar name ty) } ; return (mkLocalIdOrCoVar name ty) }
-- deals with both equality and non-equality predicates
newWanted :: CtOrigin -> Maybe TypeOrKind -> PredType -> TcM CtEvidence newWanted :: CtOrigin -> Maybe TypeOrKind -> PredType -> TcM CtEvidence
-- Deals with both equality and non-equality predicates
newWanted orig t_or_k pty newWanted orig t_or_k pty
= do loc <- getCtLocM orig t_or_k = do loc <- getCtLocM orig t_or_k
d <- if isEqPred pty then HoleDest <$> newCoercionHole d <- if isEqPred pty then HoleDest <$> newCoercionHole
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment