Kill trailing whitespace
authorJan Stolarek <jan.stolarek@p.lodz.pl>
Thu, 20 Nov 2014 16:41:10 +0000 (17:41 +0100)
committerJan Stolarek <jan.stolarek@p.lodz.pl>
Thu, 20 Nov 2014 17:56:53 +0000 (18:56 +0100)
compiler/iface/MkIface.lhs
compiler/typecheck/TcTyClsDecls.lhs
compiler/types/TyCon.lhs

index ece0644..a242875 100644 (file)
@@ -1098,7 +1098,7 @@ mk_mod_usage_info pit hsc_env this_mod direct_imports used_names
 
 \begin{code}
 mkIfaceAnnotation :: Annotation -> IfaceAnnotation
-mkIfaceAnnotation (Annotation { ann_target = target, ann_value = payload }) 
+mkIfaceAnnotation (Annotation { ann_target = target, ann_value = payload })
   = IfaceAnnotation {
         ifAnnotatedTarget = fmap nameOccName target,
         ifAnnotatedValue = payload
@@ -2001,8 +2001,8 @@ toIfaceExpr (Case s x ty as)
   | otherwise               = IfaceCase (toIfaceExpr s) (getFS x) (map toIfaceAlt as)
 toIfaceExpr (Let b e)       = IfaceLet (toIfaceBind b) (toIfaceExpr e)
 toIfaceExpr (Cast e co)     = IfaceCast (toIfaceExpr e) (toIfaceCoercion co)
-toIfaceExpr (Tick t e) 
-  | Just t' <- toIfaceTickish t = IfaceTick t' (toIfaceExpr e) 
+toIfaceExpr (Tick t e)
+  | Just t' <- toIfaceTickish t = IfaceTick t' (toIfaceExpr e)
   | otherwise                   = toIfaceExpr e
 
 toIfaceOneShot :: Id -> IfaceOneShot
@@ -2016,8 +2016,8 @@ toIfaceOneShot id | isId id
 toIfaceTickish :: Tickish Id -> Maybe IfaceTickish
 toIfaceTickish (ProfNote cc tick push) = Just (IfaceSCC cc tick push)
 toIfaceTickish (HpcTick modl ix)       = Just (IfaceHpcTick modl ix)
-toIfaceTickish (Breakpoint {})         = Nothing 
-   -- Ignore breakpoints, since they are relevant only to GHCi, and 
+toIfaceTickish (Breakpoint {})         = Nothing
+   -- Ignore breakpoints, since they are relevant only to GHCi, and
    -- should not be serialised (Trac #8333)
 
 ---------------------
index d5bc8b1..f5f19bd 100644 (file)
@@ -392,10 +392,10 @@ getInitialKind decl@(DataDecl { tcdLName = L _ name
                          | L _ con <- cons ]
        ; return (main_pr : inner_prs) }
 
-getInitialKind (FamDecl { tcdFam = decl }) 
+getInitialKind (FamDecl { tcdFam = decl })
   = getFamDeclInitialKind decl
 
-getInitialKind decl@(SynDecl {}) 
+getInitialKind decl@(SynDecl {})
   = pprPanic "getInitialKind" (ppr decl)
 
 ---------------------------------
@@ -690,8 +690,8 @@ tcFamDecl1 parent
 
          -- Process the equations, creating CoAxBranches
        ; tc_kind <- kcLookupKind tc_name
-       ; let fam_tc_shape = (tc_name, length (hsQTvBndrs tvs), tc_kind) 
-     
+       ; let fam_tc_shape = (tc_name, length (hsQTvBndrs tvs), tc_kind)
+
        ; branches <- mapM (tcTyFamInstEqn fam_tc_shape) eqns
 
          -- we need the tycon that we will be creating, but it's in scope.
@@ -860,7 +860,7 @@ tcDefaultAssocDecl _ []
   = return Nothing  -- No default declaration
 
 tcDefaultAssocDecl _ (d1:_:_)
-  = failWithTc (ptext (sLit "More than one default declaration for") 
+  = failWithTc (ptext (sLit "More than one default declaration for")
                 <+> ppr (tfe_tycon (unLoc d1)))
 
 tcDefaultAssocDecl fam_tc [L loc (TyFamEqn { tfe_tycon = L _ tc_name
@@ -901,7 +901,7 @@ tcTyFamInstEqn fam_tc_shape@(fam_tc_name,_,_)
   = setSrcSpan loc $
     tcFamTyPats fam_tc_shape pats (discardResult . (tcCheckLHsType hs_ty)) $
        \tvs' pats' res_kind ->
-    do { checkTc (fam_tc_name == eqn_tc_name) 
+    do { checkTc (fam_tc_name == eqn_tc_name)
                  (wrongTyFamName fam_tc_name eqn_tc_name)
        ; rhs_ty <- tcCheckLHsType hs_ty res_kind
        ; rhs_ty <- zonkTcTypeToType emptyZonkEnv rhs_ty
@@ -1585,7 +1585,7 @@ checkNewDataCon con
     }
   where
     (_univ_tvs, ex_tvs, eq_spec, theta, arg_tys, _res_ty) = dataConFullSig con
-    check_con what msg 
+    check_con what msg
        = checkTc what (msg $$ ppr con <+> dcolon <+> ppr (dataConUserType con))
 
 -------------------------------
@@ -1666,7 +1666,7 @@ checkValidClass cls
 
     check_at_defs (ATI fam_tc _)
       = do { traceTc "check-at" (ppr fam_tc $$ ppr (tyConTyVars fam_tc) $$ ppr tyvars)
-           ; checkTc (any (`elem` tyvars) (tyConTyVars fam_tc)) 
+           ; checkTc (any (`elem` tyvars) (tyConTyVars fam_tc))
                      (noClassTyVarErr cls (ptext (sLit "associated type") <+> quotes (ppr fam_tc))) }
 
 checkFamFlag :: Name -> TcM ()
@@ -1739,7 +1739,7 @@ checkValidRoleAnnots role_annots thing
                           || (not $ isClassTyCon tc)
                           || (all (== Nominal) type_roles))
                           incoherentRoles
-                  
+
                 ; lint <- goptM Opt_DoCoreLinting
                 ; when lint $ checkValidRoles tc }
 
@@ -2249,5 +2249,5 @@ addRoleAnnotCtxt :: Name -> TcM a -> TcM a
 addRoleAnnotCtxt name
   = addErrCtxt $
     text "while checking a role annotation for" <+> quotes (ppr name)
-    
+
 \end{code}
index 4e399db..e878059 100644 (file)
@@ -60,7 +60,7 @@ module TyCon(
         tyConUnique,
         tyConTyVars,
         tyConCType, tyConCType_maybe,
-        tyConDataCons, tyConDataCons_maybe, 
+        tyConDataCons, tyConDataCons_maybe,
         tyConSingleDataCon_maybe, tyConSingleAlgDataCon_maybe,
         tyConFamilySize,
         tyConStupidTheta,
@@ -71,7 +71,7 @@ module TyCon(
         tyConFamInst_maybe, tyConFamInstSig_maybe, tyConFamilyCoercion_maybe,
         synTyConDefn_maybe, synTyConRhs_maybe, famTyConFlav_maybe,
         algTyConRhs,
-        newTyConRhs, newTyConEtadArity, newTyConEtadRhs, 
+        newTyConRhs, newTyConEtadArity, newTyConEtadRhs,
         unwrapNewTyCon_maybe, unwrapNewTyConEtad_maybe,
         tupleTyConBoxity, tupleTyConSort, tupleTyConArity,
 
@@ -726,8 +726,8 @@ data FamTyConFlav
 
 Note [Closed type families]
 ~~~~~~~~~~~~~~~~~~~~~~~~~
-* In an open type family you can add new instances later.  This is the 
-  usual case.  
+* In an open type family you can add new instances later.  This is the
+  usual case.
 
 * In a closed type family you can only put equations where the family
   is defined.
@@ -738,7 +738,7 @@ Note [Promoted data constructors]
 A data constructor can be promoted to become a type constructor,
 via the PromotedTyCon alternative in TyCon.
 
-* Only data constructors with  
+* Only data constructors with
      (a) no kind polymorphism
      (b) no constraints in its type (eg GADTs)
   are promoted.  Existentials are ok; see Trac #7347.
@@ -882,7 +882,7 @@ Roughly in order of "includes more information":
    other value.
 
     data CmmType = CmmType CmmCat Width
-    
+
     data CmmCat     -- "Category" (not exported)
        = GcPtrCat   -- GC pointer
        | BitsCat    -- Non-pointer
@@ -1043,8 +1043,8 @@ mkAlgTyCon name kind tyvars roles cType stupid rhs parent is_rec gadt_syn prom_t
 -- | Simpler specialization of 'mkAlgTyCon' for classes
 mkClassTyCon :: Name -> Kind -> [TyVar] -> [Role] -> AlgTyConRhs -> Class -> RecFlag -> TyCon
 mkClassTyCon name kind tyvars roles rhs clas is_rec
-  = mkAlgTyCon name kind tyvars roles Nothing [] rhs (ClassTyCon clas) 
-               is_rec False 
+  = mkAlgTyCon name kind tyvars roles Nothing [] rhs (ClassTyCon clas)
+               is_rec False
                Nothing    -- Class TyCons are not pormoted
 
 mkTupleTyCon :: Name
@@ -1264,7 +1264,7 @@ isProductTyCon _                = False
 
 
 isDataProductTyCon_maybe :: TyCon -> Maybe DataCon
--- True of datatypes (not newtypes) with 
+-- True of datatypes (not newtypes) with
 --   one, vanilla, data constructor
 isDataProductTyCon_maybe (AlgTyCon { algTcRhs = DataTyCon { data_cons = cons } })
   | [con] <- cons         -- Singleton
@@ -1729,7 +1729,7 @@ instance Outputable TyCon where
 
 pprPromotionQuote :: TyCon -> SDoc
 pprPromotionQuote (PromotedDataCon {}) = char '\''   -- Quote promoted DataCons in types
-pprPromotionQuote (PromotedTyCon {})   = ifPprDebug (char '\'') 
+pprPromotionQuote (PromotedTyCon {})   = ifPprDebug (char '\'')
 pprPromotionQuote _                    = empty       -- However, we don't quote TyCons in kinds
                                                      -- e.g.   type family T a :: Bool -> *
                                                      -- cf Trac #5952.  Except with -dppr-debug
@@ -1775,7 +1775,7 @@ twice at the outer level.
 So, when expanding, we keep track of when we've seen a recursive
 newtype at outermost level; and bale out if we see it again.
 
-We sometimes want to do the same for product types, so that the 
+We sometimes want to do the same for product types, so that the
 strictness analyser doesn't unbox infinitely deeply.
 
 The function that manages this is checkRecTc.
@@ -1783,7 +1783,7 @@ The function that manages this is checkRecTc.
 \begin{code}
 newtype RecTcChecker = RC NameSet
 
-initRecTc :: RecTcChecker 
+initRecTc :: RecTcChecker
 initRecTc = RC emptyNameSet
 
 checkRecTc :: RecTcChecker -> TyCon -> Maybe RecTcChecker