From 35151a79934a5ca14338ef76bfa9cc2cd0e72d9b Mon Sep 17 00:00:00 2001
From: David Waern <david.waern@gmail.com>
Date: Thu, 13 May 2010 19:44:21 +0000
Subject: Newlines in Convert

---
 src/Haddock/Convert.hs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'src/Haddock/Convert.hs')

diff --git a/src/Haddock/Convert.hs b/src/Haddock/Convert.hs
index 3e339e82..f8720641 100644
--- a/src/Haddock/Convert.hs
+++ b/src/Haddock/Convert.hs
@@ -16,6 +16,7 @@ module Haddock.Convert where
 -- Some other functions turned out to be useful for converting
 -- instance heads, which aren't TyThings, so just export everything.
 
+
 import HsSyn
 import TcType ( tcSplitSigmaTy )
 import TypeRep
@@ -35,6 +36,7 @@ import TysWiredIn ( listTyConName )
 import Bag ( emptyBag )
 import SrcLoc ( Located, noLoc, unLoc )
 
+
 -- the main function here! yay!
 tyThingToLHsDecl :: TyThing -> LHsDecl Name
 tyThingToLHsDecl t = noLoc $ case t of
@@ -68,11 +70,13 @@ tyThingToLHsDecl t = noLoc $ case t of
       (map synifyClassAT (classATs cl))
       [] --we don't have any docs at this point
 
+
 -- class associated-types are a subset of TyCon
 -- (mainly only type/data-families)
 synifyClassAT :: TyCon -> LTyClDecl Name
 synifyClassAT = noLoc . synifyTyCon
 
+
 synifyTyCon :: TyCon -> TyClDecl Name
 synifyTyCon tc
   | isFunTyCon tc || isPrimTyCon tc =
@@ -148,6 +152,7 @@ synifyTyCon tc
   then TySynonym name tyvars typats syn_type
   else TyData alg_nd alg_ctx name tyvars typats alg_kindSig alg_cons alg_deriv
 
+
 -- User beware: it is your responsibility to pass True (use_gadt_syntax)
 -- for any constructor that would be misrepresented by omitting its
 -- result-type.
@@ -202,9 +207,11 @@ synifyDataCon use_gadt_syntax dc = noLoc $
       qvars ctx tys res_ty Nothing
       False --we don't want any "deprecated GADT syntax" warnings!
 
+
 synifyName :: NamedThing n => n -> Located Name
 synifyName = noLoc . getName
 
+
 synifyIdSig :: SynifyTypeState -> Id -> Sig Name
 synifyIdSig s i = TypeSig (synifyName i) (synifyType s (varType i))
 
@@ -212,6 +219,7 @@ synifyIdSig s i = TypeSig (synifyName i) (synifyType s (varType i))
 synifyCtx :: [PredType] -> LHsContext Name
 synifyCtx = noLoc . map synifyPred
 
+
 synifyPred :: PredType -> LHsPred Name
 synifyPred (ClassP cls tys) =
     let sTys = map (synifyType WithinType) tys
@@ -229,6 +237,7 @@ synifyPred (EqPred ty1 ty2) =
     in noLoc $
       HsEqualP s1 s2
 
+
 synifyTyVars :: [TyVar] -> [LHsTyVarBndr Name]
 synifyTyVars = map synifyTyVar
   where
@@ -243,6 +252,7 @@ synifyTyVars = map synifyTyVar
 #endif
         else KindedTyVar name kind
 
+
 --states of what to do with foralls:
 data SynifyTypeState
   = WithinType
@@ -258,6 +268,7 @@ data SynifyTypeState
   --   but we want to restore things to the source-syntax situation where
   --   the defining class gets to quantify all its functions for free!
 
+
 synifyType :: SynifyTypeState -> Type -> LHsType Name
 synifyType _ (PredTy{}) = --should never happen.
   error "synifyType: PredTys are not, in themselves, source-level types."
@@ -297,6 +308,7 @@ synifyType s forallty@(ForAllTy _tv _ty) =
      in noLoc $
            HsForAllTy forallPlicitness sTvs sCtx sTau
 
+
 synifyInstHead :: ([TyVar], [PredType], Class, [Type]) ->
                   ([HsPred Name], Name, [HsType Name])
 synifyInstHead (_, preds, cls, ts) =
-- 
cgit v1.2.3