#1256: GHC warns about omitting type signatures; would be more helpful if it
supplied inferred type signature
-----------------------------+----------------------------------------------
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: low | Milestone: 6.8
Component: Compiler | Version: 6.6
Severity: minor | Resolution:
Keywords: | Difficulty: Unknown
Testcase: | Architecture: Unknown
Os: Unknown |
-----------------------------+----------------------------------------------
Changes (by igloo):
* milestone: => 6.8
Comment:
It's not entirely trivial as I don't think we have infered a type at the
point where we give the message, and if we have an error like a use of an
unbound variable then we never will have the type.
We might be able to do something if we don't get an error before
typechecking is finished, though, or perhaps a flag like `-ddump-minimal-
imports` but for types.
--
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
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
