[project @ 2003-11-17 14:41:32 by simonmar]

[ghc-hetmet.git] / ghc / compiler / rename / RnBinds.lhs

diff --git a/ghc/compiler/rename/RnBinds.lhs b/ghc/compiler/rename/RnBinds.lhs
index 3a72f3f..c5ba50e 100644 (file)
--- a/ghc/compiler/rename/RnBinds.lhs
+++ b/ghc/compiler/rename/RnBinds.lhs
@@ -11,7 +11,7 @@ they may be affected by renaming (which isn't fully worked out yet).
 \begin{code}
 module RnBinds (
        rnTopMonoBinds, rnMonoBinds, rnMonoBindsAndThen,
-       rnMethodBinds, renameSigs, checkSigs, unknownSigErr
+       rnMethodBinds, renameSigs, checkSigs
    ) where
 
 #include "HsVersions.h"
@@ -205,10 +205,10 @@ rnMonoBindsAndThen mbinds sigs thing_inside -- Non-empty monobinds
     warnUnusedLocalBinds unused_bndrs  `thenM_`
 
     returnM (result, all_uses `minusNameSet` bndrs)
-       -- It's important to return all the uses, not the 'real uses' used for
+       -- duUses: It's important to return all the uses, not the 'real uses' used for
        -- warning about unused bindings.  Otherwise consider:
        --      x = 3
-       --      y = let p = x in 'x'
+       --      y = let p = x in 'x'    -- NB: p not used
        -- If we don't "see" the dependency of 'y' on 'x', we may put the
        -- bindings in the wrong order, and the type checker will complain
        -- that x isn't in scope