diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-02-04 13:02:17 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-02-08 15:08:42 +0000 |
| commit | ee11a84c7b980b3485d52d5a5d0190b827660fb0 (patch) | |
| tree | 925c64debf78e648f1502b5dd2a0f50ead83a302 /compiler | |
| parent | a96c4e7ca391ff3003d5debf187e7d177131f2fe (diff) | |
| download | haskell-ee11a84c7b980b3485d52d5a5d0190b827660fb0.tar.gz | |
White space and comments only
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/main/TidyPgm.hs | 13 | ||||
| -rw-r--r-- | 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 59cb201e8a..c524bdf4c3 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 143a392f0d..adb4e5ad28 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 |