White space and comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Thu, 4 Feb 2016 13:02:17 +0000 (13:02 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Mon, 8 Feb 2016 15:08:42 +0000 (15:08 +0000)
compiler/main/TidyPgm.hs
compiler/typecheck/TcMType.hs

index 59cb201..c524bdf 100644 (file)
@@ -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
index 143a392..adb4e5a 100644 (file)
@@ -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