X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FhsSyn%2FHsBinds.lhs;h=300f683c1cca51b1b7ebdab66724c8d113cd0e56;hb=8053aac536c96dabdc06e9f068852f5481474a29;hp=adf234dccc4fb2a911e775b636dbab87aec5a568;hpb=58d200ac9cb51faa5c94e7919217f170b35b8441;p=ghc-hetmet.git

diff --git a/compiler/hsSyn/HsBinds.lhs b/compiler/hsSyn/HsBinds.lhs
index adf234d..300f683 100644
--- a/compiler/hsSyn/HsBinds.lhs
+++ b/compiler/hsSyn/HsBinds.lhs
@@ -84,9 +84,7 @@ data HsBind id
 				-- (with a free type variable a').  The coercion will take
 				-- a CoreExpr of this type and convert it to a CoreExpr of
 				-- type 	Int -> forall a'. a' -> a'
-				-- Notice that the coercion captures the free a'.  That's
-				-- why coercions are (CoreExpr -> CoreExpr), rather than
-				-- just CoreExpr (with a functional type)
+				-- Notice that the coercion captures the free a'.
 
 	bind_fvs :: NameSet	-- After the renamer, this contains a superset of the 
 				-- Names of the other binders in this binding group that 
@@ -318,7 +316,7 @@ data ExprCoFn
 	-- Non-empty bindings, so that the identity coercion
 	-- is always exactly CoHole
   | CoLet (LHsBinds Id)		-- let binds in []
-				-- (ould be nicer to be core bindings)
+				-- (would be nicer to be core bindings)
 
 instance Outputable ExprCoFn where 
   ppr co_fn = pprCoFn (ptext SLIT("<>")) co_fn