#1308: Type signature in warning is wrong
-----------------------+----------------------------------------------------
Reporter: guest | Owner:
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 6.7
Severity: normal | Keywords:
Difficulty: Unknown | Os: Windows
Testcase: | Architecture: Unknown
-----------------------+----------------------------------------------------
Here's some source:
{{{
autoChart = do
xchart Nothing Nothing Nothing Nothing Nothing Nothing
xchart lbl lgd xmin xmax ymin ymax = do
...
}}}
And the warnings related to these:
{{{
Warning: Definition but no type signature for `autoChart'
Inferred type: autoChart :: t View
Warning: Definition but no type signature for `autoChart'
Inferred type: autoChart :: t View
Inferred type: xchart :: forall (m :: * -> *).
(Monad m) =>
Maybe EString
-> Maybe Position
-> Maybe (E Double)
-> Maybe (E Double)
-> Maybe (E Double)
-> Maybe (E Double)
-> m View
}}}
The warning for autoChart is clearly wrong since there should be a context
'Monad t'.
-- Lennart
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/1308>
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
