projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
[project @ 2001-03-13 12:50:29 by simonmar]
[ghc-hetmet.git]
/
ghc
/
compiler
/
stgSyn
/
StgLint.lhs
diff --git
a/ghc/compiler/stgSyn/StgLint.lhs
b/ghc/compiler/stgSyn/StgLint.lhs
index
bfae295
..
0eda05d
100644
(file)
--- a/
ghc/compiler/stgSyn/StgLint.lhs
+++ b/
ghc/compiler/stgSyn/StgLint.lhs
@@
-89,11
+89,11
@@
lintStgVar v = checkInScope v `thenL_`
\begin{code}
lintStgBinds :: StgBinding -> LintM [Id] -- Returns the binders
\begin{code}
lintStgBinds :: StgBinding -> LintM [Id] -- Returns the binders
-lintStgBinds (StgNonRec binder rhs)
+lintStgBinds (StgNonRec _srt binder rhs)
= lint_binds_help (binder,rhs) `thenL_`
returnL [binder]
= lint_binds_help (binder,rhs) `thenL_`
returnL [binder]
-lintStgBinds (StgRec pairs)
+lintStgBinds (StgRec _srt pairs)
= addInScopeVars binders (
mapL lint_binds_help pairs `thenL_`
returnL binders
= addInScopeVars binders (
mapL lint_binds_help pairs `thenL_`
returnL binders
@@
-127,10
+127,10
@@
lint_binds_help (binder, rhs)
\begin{code}
lintStgRhs :: StgRhs -> LintM (Maybe Type)
\begin{code}
lintStgRhs :: StgRhs -> LintM (Maybe Type)
-lintStgRhs (StgRhsClosure _ _ _ _ _ [] expr)
+lintStgRhs (StgRhsClosure _ _ _ _ [] expr)
= lintStgExpr expr
= lintStgExpr expr
-lintStgRhs (StgRhsClosure _ _ _ _ _ binders expr)
+lintStgRhs (StgRhsClosure _ _ _ _ binders expr)
= addLoc (LambdaBodyOf binders) (
addInScopeVars binders (
lintStgExpr expr `thenMaybeL` \ body_ty ->
= addLoc (LambdaBodyOf binders) (
addInScopeVars binders (
lintStgExpr expr `thenMaybeL` \ body_ty ->