diff options
author | simonpj@microsoft.com <unknown> | 2007-04-25 07:47:19 +0000 |
---|---|---|
committer | simonpj@microsoft.com <unknown> | 2007-04-25 07:47:19 +0000 |
commit | bb7d80b3b8d1396d481d3b24302bee24a3d92f71 (patch) | |
tree | 8b8f51cc6a319d97e2834b241756b1d2dd95bbbc /compiler/rename | |
parent | a01188d12783adf93b1b6c5a08de1dfa0abf55f2 (diff) | |
download | haskell-bb7d80b3b8d1396d481d3b24302bee24a3d92f71.tar.gz |
Give the inferred type when warning of a missing type-signature (Trac #1256)
Diffstat (limited to 'compiler/rename')
-rw-r--r-- | compiler/rename/RnBinds.lhs | 21 |
1 files changed, 1 insertions, 20 deletions
diff --git a/compiler/rename/RnBinds.lhs b/compiler/rename/RnBinds.lhs index a96c63f639..d7a5952ee2 100644 --- a/compiler/rename/RnBinds.lhs +++ b/compiler/rename/RnBinds.lhs @@ -178,20 +178,7 @@ rnTopBindsBoot (ValBindsIn mbinds sigs) ; return (ValBindsOut [] sigs', usesOnly (hsSigsFVs sigs')) } rnTopBindsSrc :: HsValBinds RdrName -> RnM (HsValBinds Name, DefUses) -rnTopBindsSrc binds@(ValBindsIn mbinds _) - = do { (binds', dus) <- rnValBinds noTrim binds - - -- Warn about missing signatures, - ; let { ValBindsOut _ sigs' = binds' - ; ty_sig_vars = mkNameSet [ unLoc n | L _ (TypeSig n _) <- sigs'] - ; un_sigd_bndrs = duDefs dus `minusNameSet` ty_sig_vars } - - ; warn_missing_sigs <- doptM Opt_WarnMissingSigs - ; ifM (warn_missing_sigs) - (mappM_ missingSigWarn (nameSetToList un_sigd_bndrs)) - - ; return (binds', dus) - } +rnTopBindsSrc binds = rnValBinds noTrim binds \end{code} @@ -647,12 +634,6 @@ unknownSigErr (L loc sig) where what_it_is = hsSigDoc sig -missingSigWarn var - = addWarnAt (mkSrcSpan loc loc) $ - sep [ptext SLIT("Definition but no type signature for"), quotes (ppr var)] - where - loc = nameSrcLoc var -- TODO: make a proper span - methodBindErr mbind = hang (ptext SLIT("Pattern bindings (except simple variables) not allowed in instance declarations")) 2 (ppr mbind) |