From d673a348ba1a8c41e9eaeb255e0c43156d883526 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Tue, 21 Dec 2004 12:21:16 +0000
Subject: [PATCH] [project @ 2004-12-21 12:21:16 by simonpj] Comments

---
 ghc/compiler/coreSyn/CoreLint.lhs |    5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/ghc/compiler/coreSyn/CoreLint.lhs b/ghc/compiler/coreSyn/CoreLint.lhs
index 5783a7f..df2f323 100644
--- a/ghc/compiler/coreSyn/CoreLint.lhs
+++ b/ghc/compiler/coreSyn/CoreLint.lhs
@@ -200,7 +200,7 @@ lintSingleBinding rec_flag (binder,rhs)
 lintCoreExpr :: CoreExpr -> LintM Type
 -- The returned type has the substitution from the monad 
 -- already applied to it:
---	lintCoreExpr e subst = exprTpye (subst e)
+--	lintCoreExpr e subst = exprType (subst e)
 
 lintCoreExpr (Var var)
   = do	{ checkIdInScope var 
@@ -413,7 +413,8 @@ checkAltExpr expr ty
        ; ty' <- applySubst ty
        ; checkTys actual_ty ty' (mkCaseAltMsg expr actual_ty ty') }
 
-lintCoreAlt :: Type  			-- Type of scrutinee
+lintCoreAlt :: Type  			-- Type of scrutinee; a fixed point of 
+					--		      the substitution
             -> Type                     -- Type of the alternative
 	    -> CoreAlt
 	    -> LintM ()
-- 
1.7.10.4