Skip to content

Type signature in warning is wrong

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

Trac metadata
Trac field Value
Version 6.7
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system Windows
Architecture Unknown
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information