[Haddock] [haddock] #168: Errors in --hoogle output

haddock haddock at projects.haskell.org
Fri Apr 22 20:55:58 BST 2011


#168: Errors in --hoogle output
-------------------------+--------------------------------------------------
Reporter:  NeilMitchell  |        Owner:       
    Type:  defect        |       Status:  new  
Priority:  major         |    Milestone:  2.7.0
 Version:  2.8.1         |   Resolution:       
Keywords:                |  
-------------------------+--------------------------------------------------

Comment(by NeilMitchell):

 An additional bug, if you look at the output from mtl you see:

 newtype StateT s m :: (* -> *) a :: * -> (* -> *) -> * -> *
 StateT :: (s -> m (a, s)) -> StateT s a
 runStateT :: StateT s a -> s -> m (a, s)

 Note the wrong kind signatures, and the missing m in the StateT types of
 the second two functions. This StateT is defined in transformers as:

 newtype StateT s m a = StateT { runStateT :: s -> m (a,s) }

-- 
Ticket URL: <http://trac.haskell.org/haddock/ticket/168#comment:2>
haddock <http://www.haskell.org/haddock>
Haddock, The Haskell Documentation Tool


More information about the Haddock mailing list