From: Ian Lynagh Date: Thu, 7 Aug 2008 13:15:06 +0000 (+0000) Subject: Fix errors with haddock 0.8 X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=2cd930397966d27a221998c8ac060151e2027e90 Fix errors with haddock 0.8 --- diff --git a/compiler/basicTypes/IdInfo.lhs b/compiler/basicTypes/IdInfo.lhs index aa989b9..969f186 100644 --- a/compiler/basicTypes/IdInfo.lhs +++ b/compiler/basicTypes/IdInfo.lhs @@ -573,11 +573,11 @@ this to". \begin{code} -- | If this Id has a worker then we store a reference to it. Worker --- functions are generated by the worker/wrapper pass, using information +-- functions are generated by the worker\/wrapper pass, using information -- information from strictness analysis. data WorkerInfo = NoWorker -- ^ No known worker function | HasWorker Id Arity -- ^ The 'Arity' is the arity of the /wrapper/ at the moment of the - -- worker/wrapper split, which may be different from the current 'Id' 'Aritiy' + -- worker\/wrapper split, which may be different from the current 'Id' 'Aritiy' seqWorker :: WorkerInfo -> () seqWorker (HasWorker id a) = id `seq` a `seq` () @@ -667,7 +667,7 @@ data CprInfo | ReturnsCPR -- ^ Yes, this function returns a constructed product -- Implicitly, this means "after the function has been applied - -- to all its arguments", so the worker/wrapper builder in + -- to all its arguments", so the worker\/wrapper builder in -- WwLib.mkWWcpr checks that that it is indeed saturated before -- making use of the CPR info diff --git a/compiler/basicTypes/OccName.lhs b/compiler/basicTypes/OccName.lhs index 1868c3f..a363c1c 100644 --- a/compiler/basicTypes/OccName.lhs +++ b/compiler/basicTypes/OccName.lhs @@ -597,8 +597,8 @@ mkLocalOcc uniq occ \end{code} \begin{code} --- | Derive a name for the representation type constructor of a @data@/@newtype@ --- instance. +-- | Derive a name for the representation type constructor of a +-- @data@\/@newtype@ instance. mkInstTyTcOcc :: Int -- ^ DFun Index -> OccName -- ^ Family name, e.g. @Map@ -> OccName -- ^ Nice unique version, e.g. @:R23Map@ diff --git a/compiler/coreSyn/CoreSyn.lhs b/compiler/coreSyn/CoreSyn.lhs index e259591..d9827af 100644 --- a/compiler/coreSyn/CoreSyn.lhs +++ b/compiler/coreSyn/CoreSyn.lhs @@ -199,7 +199,6 @@ data Expr b -- -- @ -- data Foo = Red | Green | Blue - -- -- ... case x of -- Red -> True -- other -> f (case x of @@ -738,7 +737,7 @@ rhssOfAlts :: [Alt b] -> [Expr b] rhssOfAlts alts = [e | (_,_,e) <- alts] -- | Collapse all the bindings in the supplied groups into a single --- list of lhs/rhs pairs suitable for binding in a 'Rec' binding group +-- list of lhs\/rhs pairs suitable for binding in a 'Rec' binding group flattenBinds :: [Bind b] -> [(b, Expr b)] flattenBinds (NonRec b r : binds) = (b,r) : flattenBinds binds flattenBinds (Rec prs1 : binds) = prs1 ++ flattenBinds binds diff --git a/compiler/main/HscTypes.lhs b/compiler/main/HscTypes.lhs index e4e6697..7909238 100644 --- a/compiler/main/HscTypes.lhs +++ b/compiler/main/HscTypes.lhs @@ -1195,7 +1195,7 @@ data GenAvailInfo name = Avail name -- ^ An ordinary identifier in scope -- 2) The available pieces of type or class. -- NB: If the type or class is itself -- to be in scope, it must be in this list. - -- Thus, typically: @AvailTC Eq [Eq, ==, /=]@ + -- Thus, typically: @AvailTC Eq [Eq, ==, \/=]@ deriving( Eq ) -- Equality used when deciding if the interface has changed diff --git a/compiler/main/Packages.lhs b/compiler/main/Packages.lhs index edeb9fe..3e2c3ef 100644 --- a/compiler/main/Packages.lhs +++ b/compiler/main/Packages.lhs @@ -90,7 +90,7 @@ import Data.List -- program depends on (the compiler knows this list by the -- time it gets to the link step). Also, we link in all packages -- which were mentioned with preload @-package@ flags on the command-line, --- or are a transitive dependency of same, or are \"base\"/\"rts\". +-- or are a transitive dependency of same, or are \"base\"\/\"rts\". -- The reason for this is that we might need packages which don't -- contain any Haskell modules, and therefore won't be discovered -- by the normal mechanism of dependency tracking. diff --git a/compiler/types/TyCon.lhs b/compiler/types/TyCon.lhs index 6693ca2..09caf8e 100644 --- a/compiler/types/TyCon.lhs +++ b/compiler/types/TyCon.lhs @@ -158,7 +158,7 @@ data TyCon algTcRec :: RecFlag, -- ^ Tells us whether the data type is part of a mutually-recursive group or not - hasGenerics :: Bool, -- ^ Whether generic (in the -XGenerics sense) to/from functions are + hasGenerics :: Bool, -- ^ Whether generic (in the -XGenerics sense) to\/from functions are -- available in the exports of the data type's source module. algTcParent :: TyConParent -- ^ Gives the class or family declaration 'TyCon' for derived 'TyCon's @@ -976,7 +976,7 @@ expand tvs rhs tys \end{code} \begin{code} --- | Does this 'TyCon' have any generic to/from functions available? See also 'hasGenerics' +-- | Does this 'TyCon' have any generic to\/from functions available? See also 'hasGenerics' tyConHasGenerics :: TyCon -> Bool tyConHasGenerics (AlgTyCon {hasGenerics = hg}) = hg tyConHasGenerics (TupleTyCon {hasGenerics = hg}) = hg diff --git a/compiler/types/Type.lhs b/compiler/types/Type.lhs index b0d647b..63633e9 100644 --- a/compiler/types/Type.lhs +++ b/compiler/types/Type.lhs @@ -1625,7 +1625,7 @@ Kinds -- ?? (\#) -- \/ \ -- \* \# --- +-- . -- Where: \* [LiftedTypeKind] means boxed type -- \# [UnliftedTypeKind] means unboxed type -- (\#) [UbxTupleKind] means unboxed tuple