Commit d673a348 authored by simonpj's avatar simonpj
Browse files

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

Comments
parent d2655be3
...@@ -200,7 +200,7 @@ lintSingleBinding rec_flag (binder,rhs) ...@@ -200,7 +200,7 @@ lintSingleBinding rec_flag (binder,rhs)
lintCoreExpr :: CoreExpr -> LintM Type lintCoreExpr :: CoreExpr -> LintM Type
-- The returned type has the substitution from the monad -- The returned type has the substitution from the monad
-- already applied to it: -- already applied to it:
-- lintCoreExpr e subst = exprTpye (subst e) -- lintCoreExpr e subst = exprType (subst e)
lintCoreExpr (Var var) lintCoreExpr (Var var)
= do { checkIdInScope var = do { checkIdInScope var
...@@ -413,7 +413,8 @@ checkAltExpr expr ty ...@@ -413,7 +413,8 @@ checkAltExpr expr ty
; ty' <- applySubst ty ; ty' <- applySubst ty
; checkTys actual_ty ty' (mkCaseAltMsg expr actual_ty 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 -> Type -- Type of the alternative
-> CoreAlt -> CoreAlt
-> LintM () -> LintM ()
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment