From: simonpj <unknown>
Date: Tue, 21 Dec 2004 12:21:16 +0000 (+0000)
Subject: [project @ 2004-12-21 12:21:16 by simonpj]
X-Git-Tag: Initial_conversion_from_CVS_complete~1324
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=d673a348ba1a8c41e9eaeb255e0c43156d883526;p=ghc-hetmet.git

[project @ 2004-12-21 12:21:16 by simonpj]
Comments
---

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 ()