[project @ 2000-11-24 09:51:38 by simonpj]

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

diff --git a/ghc/compiler/rename/RnBinds.lhs b/ghc/compiler/rename/RnBinds.lhs
index 7079112..1da2f9c 100644 (file)
--- a/ghc/compiler/rename/RnBinds.lhs
+++ b/ghc/compiler/rename/RnBinds.lhs
@@ -32,7 +32,7 @@ import RnEnv          ( bindLocatedLocalsRn, lookupBndrRn,
                        )
 import CmdLineOpts     ( DynFlag(..) )
 import Digraph         ( stronglyConnComp, SCC(..) )
-import Name            ( OccName, Name, nameOccName )
+import Name            ( OccName, Name, nameOccName, nameSrcLoc )
 import NameSet
 import RdrName         ( RdrName, rdrNameOcc )
 import BasicTypes      ( RecFlag(..) )
@@ -69,8 +69,6 @@ within one @MonoBinds@, so that unique-Int plumbing is done explicitly
 
 \begin{code}
 type VertexTag = Int
-type Cycle     = [VertexTag]
-type Edge      = (VertexTag, VertexTag)
 \end{code}
 
 %************************************************************************
@@ -176,7 +174,7 @@ rnTopMonoBinds mbinds sigs
                                                           bndr_name_set type_sig_vars)
                        | otherwise   = []
     in
-    mapRn_ (addWarnRn.missingSigWarn) un_sigd_binders  `thenRn_`
+    mapRn_ missingSigWarn un_sigd_binders      `thenRn_`
 
     rn_mono_binds siglist mbinds                  `thenRn` \ (final_binds, bind_fvs) ->
     returnRn (final_binds, bind_fvs `plusFV` sig_fvs)
@@ -594,7 +592,8 @@ unknownSigErr sig
     (what_it_is, loc) = hsSigDoc sig
 
 missingSigWarn var
-  = sep [ptext SLIT("definition but no type signature for"), quotes (ppr var)]
+  = pushSrcLocRn (nameSrcLoc var) $
+    addWarnRn (sep [ptext SLIT("Definition but no type signature for"), quotes (ppr var)])
 
 methodBindErr mbind
  =  hang (ptext SLIT("Can't handle multiple methods defined by one pattern binding"))