#1256: GHC warns about omitting type signatures; would be more helpful if it
supplied inferred type signature
--------------------------------+-------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: closed
Priority: low | Milestone: 6.8
Component: Compiler | Version: 6.6
Severity: minor | Resolution: fixed
Keywords: | Difficulty: Unknown
Os: Unknown | Testcase:
Architecture: Unknown |
--------------------------------+-------------------------------------------
Changes (by simonpj):
* resolution: => fixed
* status: new => closed
Comment:
I've committed a patch that implements this idea:
{{{
Foo1.hs:4:0:
Warning: Definition but no type signature for `f'
Inferred type: f :: forall t. [t] -> t
}}}
Thanks for the suggestion.
Simon
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1256>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
