From 675bfa1175449297ecc235dcb31081a7ae726f4d Mon Sep 17 00:00:00 2001
From: Thomas Schilling <nominolo@googlemail.com>
Date: Sun, 20 Jul 2008 17:11:13 +0000
Subject: [PATCH] Fix Haddock errors.

---
 compiler/coreSyn/CoreLint.lhs  |    2 +-
 compiler/coreSyn/CoreSubst.lhs |   10 +++++-----
 compiler/coreSyn/CoreUtils.lhs |    7 +++----
 3 files changed, 9 insertions(+), 10 deletions(-)

diff --git a/compiler/coreSyn/CoreLint.lhs b/compiler/coreSyn/CoreLint.lhs
index 8f5538c..5ee89cc 100644
--- a/compiler/coreSyn/CoreLint.lhs
+++ b/compiler/coreSyn/CoreLint.lhs
@@ -626,7 +626,7 @@ data LintLocInfo
   | LambdaBodyOf Id	-- The lambda-binder
   | BodyOfLetRec [Id]	-- One of the binders
   | CaseAlt CoreAlt	-- Case alternative
-  | CasePat CoreAlt	-- *Pattern* of the case alternative
+  | CasePat CoreAlt	-- The *pattern* of the case alternative
   | AnExpr CoreExpr	-- Some expression
   | ImportedUnfolding SrcLoc -- Some imported unfolding (ToDo: say which)
   | TopLevelBindings
diff --git a/compiler/coreSyn/CoreSubst.lhs b/compiler/coreSyn/CoreSubst.lhs
index e63b036..ac95987 100644
--- a/compiler/coreSyn/CoreSubst.lhs
+++ b/compiler/coreSyn/CoreSubst.lhs
@@ -57,10 +57,10 @@ import Data.List
 
 \begin{code}
 data Subst 
-  = Subst InScopeSet	-- Variables in in scope (both Ids and TyVars)
-			-- *after* applying the substitution
-	  IdSubstEnv	-- Substitution for Ids
-	  TvSubstEnv	-- Substitution for TyVars
+  = Subst InScopeSet  -- Variables in in scope (both Ids and TyVars) /after/
+                      -- applying the substitution
+          IdSubstEnv  -- Substitution for Ids
+          TvSubstEnv  -- Substitution for TyVars
 
 	-- INVARIANT 1: The (domain of the) in-scope set is a superset
 	-- 	        of the free vars of the range of the substitution
@@ -337,7 +337,7 @@ substIdBndr rec_subst subst@(Subst in_scope env tvs) old_id
 
     no_change = id1 == old_id
 	-- See Note [Extending the Subst]
-	-- *not* necessary to check mb_new_info and no_type_change
+	-- it's /not/ necessary to check mb_new_info and no_type_change
 \end{code}
 
 Now a variant that unconditionally allocates a new unique.
diff --git a/compiler/coreSyn/CoreUtils.lhs b/compiler/coreSyn/CoreUtils.lhs
index e41623c..ec808d4 100644
--- a/compiler/coreSyn/CoreUtils.lhs
+++ b/compiler/coreSyn/CoreUtils.lhs
@@ -997,8 +997,8 @@ arityType :: DynFlags -> CoreExpr -> ArityType
 
 arityType dflags (Note _ e) = arityType dflags e
 --	Not needed any more: etaExpand is cleverer
---  | ok_note n = arityType dflags e
---  | otherwise = ATop
+-- removed: | ok_note n = arityType dflags e
+-- removed: | otherwise = ATop
 
 arityType dflags (Cast e _) = arityType dflags e
 
@@ -1118,7 +1118,6 @@ etaExpand n us expr ty
   | manifestArity expr >= n = expr		-- The no-op case
   | otherwise 		    
   = eta_expand n us expr ty
-  where
 
 -- manifestArity sees how many leading value lambdas there are
 manifestArity :: CoreExpr -> Arity
@@ -1439,7 +1438,7 @@ hashExpr :: CoreExpr -> Int
 hashExpr e = fromIntegral (hash_expr (1,emptyVarEnv) e .&. 0x7fffffff)
              -- UniqFM doesn't like negative Ints
 
-type HashEnv = (Int, VarEnv Int)	-- Hash code for bound variables
+type HashEnv = (Int, VarEnv Int)  -- ^ Hash code for bound variables
 
 hash_expr :: HashEnv -> CoreExpr -> Word32
 -- Word32, because we're expecting overflows here, and overflowing
-- 
1.7.10.4